Next Article in Journal
Speed Control for PMSM with Fast Variable-Speed Sliding Mode Control via High-Gain Disturbance Observer
Previous Article in Journal
A (2 + 1)-Dimensional Integrable Breaking Soliton Equation and Its Algebro-Geometric Solutions
Previous Article in Special Issue
Lie Modules of Banach Space Nest Algebras
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Counterexample Concerning C0-Semigroups of Holomorphic Carathéodory Isometries

by
László L. Stachó
Bolyai Institute, University of Szeged, Aradi Vértanúk tere 1, 6720 Szeged, Hungary
Mathematics 2024, 12(13), 2035; https://doi.org/10.3390/math12132035
Submission received: 25 April 2024 / Revised: 3 June 2024 / Accepted: 27 June 2024 / Published: 29 June 2024
(This article belongs to the Special Issue Advances on Nonlinear Functional Analysis)

Abstract

:
We give an example for a C 0 -semigroup of non-linear 0-preserving holomorphic Carathéodory isometries of the unit ball.

1. Introduction

It is a well known consequence of Cartan’s classical Uniqueness Theorem [1] that given a bounded circular domain D in the N-dimensional complex space C N , any holomorphic mapping F : D D with F ( 0 ) = 0 and preserving the Carathéodory (or Kobayashi) distance associated with D is necessarily linear and surjective. In contrast, in 1994, E. Vesentini [2] (p. 508), [3] (Sec. 3) found various examples, even with holomorphic families, showing that the infinite dimensional version of this fact is no longer valid in general Banach space setting. Actually Cartan’s result ensured the linearity of the one-parameter semigroups of holomorphic automorphisms, fixing the origin and hence gave rise to a Lie theoretic approach by means of the infinitesimal generators to the precise algebraic description of the group of holomorphic automorphisms of a finite dimensional bounded homogeneous circular domain. However, Vesentini’s techniques seem unsuitable in constructing a C 0 -semigroup [ F t : t 0 ] of non-linear Carathéodory isometries F t Hol ( D , D ) on a bounded circular domain D contained in some complex Banach space E . Our aim in this short note is a C 0 -semigroup construction (Lemma 2) carried out with slight modifications to familiar methods used in the theory of C 0 -semigroups of linear operators [4] with respect to delay equations [5] in the fading memory space C 0 ( R + , E ) . Our examples involve bounded convex circular domains D but rely upon some auxiliary remarks with independent interest in holomorphic invariant distances associated with domains for the type D = x X : range ( f ) D in a function space X = C 0 ( Ω , E ) with some bounded convex domains D containing 0 E .
As for the background to our motivation, the approach by von Neumann to classical Quantum Mechanics proposed modeling the evolution of wave functions with one-parameter C 0 -groups of unitary operators in complex Hilbert spaces. Towards the beginning of the 1970s, exigences occurred to extend the related framework beyond the setting of linear operators and to regard this evolution as not necessarily reversible. To achieve this aim, natural candidates are one-parameter C 0 -semigroups of holomorphic self-mappings preserving some automorphism-invariant distance on a bounded Banach space domain. Physical symmetry properties can be provided by the circularity or more generally by the holomorphic symmetry of the underlying domain. According to Kaup’s celebrated Riemann Mapping Theorem [6], up to holomorphic equivalence, bounded symmetric domains are circular and convex.
At first sight, Theorem 2 seems to provide a negative result. However, the construction may reveal interesting geometric properties and links to delay equations for further investigation. Actually, our arguments require no deep knowledge of symmetric spaces and invariant distances: in Section 2, we recall the necessary ingredients fom Banach space holomorphy and, after Section 3, containing our results, we include Appendix A giving a generalization of a distance formula known thus far only in the setting of symmetric domains.

2. Preliminaries

To establish terminology, by a one-parameter C 0 -semigroup on a topological space X we mean an indexed family F t : t R + of mappings F t : X X with the semigroup properties F 0 = Id X = X x x , F t F s ( x ) = F t F s ( x ) = F t + s ( x ) ( s , t R + ) and the continuity of all orbits t F t ( x ) for any x X . Given two metric spaces ( X j , d j ) ( j = 1 , 2 ) , a mapping f : X 1 X 2 is a d 1 d 2 contraction if d 2 f ( x ) , f ( y ) d 1 ( x , y ) ( x , y X 1 ) .
A subset D in a complex topological vector space E is said to be circular if it is connected, contains the origin of E and if D = e i t D = { e i t x : x D } ( t R ) .
Throughout this work, let E denote an arbitrarily fixed complex Banach space with norm · and open unit ball B 1 ( E ) . As standard notation, we write C for the complex plane regarded as a 1-dimensional space normed with the absolute value and unit disc Δ = B 1 ( C ) = { ζ : | ζ | < 1 } equipped with the Poincaré metric  d Δ ( α , β ) = tanh 1 | ( β α ) / ( 1 α ¯ ) |   α , β Δ . Given any domain (connected open set) D E ,
d D p , q = sup d Δ f ( p ) , f ( q ) : f Hol ( D , Δ ) } p , q D
the associated Carathéodory distance where Hol ( D 1 , D 2 ) stands for the family of all holomorphic maps between two Banach space domains D 1 E 1 with respect to D 2 E 2 . In the cases of our interest, a function f : D 2 E 2 with bounded range is holomorphic if and only if for any point p D and any unit vector v E , it admits a uniformly convergent directional Taylor expansion ζ f ( p + ζ v ) = n = 0 ζ n a n a n E 1 , n = 0 a n ρ n < whenever the closed ball p + ρ B 1 ( E ) ¯ is contained in D . A fundamental feature of Carathéodory metrics [1] is that all holomorphic maps D 2 D 2 are d D 1 d D 2 contractions; furthermore, if the domain D E is bounded then D , d D is a complete metric space giving rise to the same topology as the distance by the norm on D .
For a locally compact Hausdorff space Ω , C 0 ( Ω , E ) will denote the Banach space of all continuous functions f : Ω E vanishing at infinity (i.e., f 1 { p E : p ε } is a compact subset for any ε > 0 ) equipped with the norm f = max ω Ω f . In particular, C 0 ( R + , E ) consists of functions with limit 0 at infinity. Given any domain D 0 in some Banach space E 0 , a mapping f : D 0 C 0 ( Ω , E ) with bounded range is immediately holomorphic if and only if all pointwise evaluations δ ω f : D 0 z f ( z ) ( ω ) ( ω Ω ) are holomorphic.
Given a bounded convex domain D E with 0 D , we also introduce the figure C 0 ( Ω , D ) = { f C 0 ( Ω , E ) : range ( f ) D } , which can easily be seen as a bounded convex domain in C 0 ( Ω , E ) . In the course of the verification of Carathéodory isometry properties of holomorphic self-maps of domains D of the type C 0 ( Ω , D ) , we shall use the following plausible but highly non-trivial relation.
Lemma 1.
For the Carathéodory distance of the domain D = C 0 ( Ω , D ) with 0 D E , we have
d D x , y = max ω Ω d D x ( ω ) , y ( ω ) x , y D
provided the underlying topological space Ω has a countable base and the target space E is separable.
Remark 1.
The special case of (1) with D = C 0 ( R + , Δ ) appears in [1] with a proof relying upon Möbius transformations. Similar arguments can be applied in the case when D is a (necessarily convex) holomorphically symmetric bounded circular domain, even without countability restrictions using Kaup’s JB*-triple calculus [6,7,8].
In its full generality, Lemma 1 can be deduced from a far-reaching theorem [9] due to Dineen-Timoney and Vigué (extending Lempert’s result [10] on the coincidence of the Carathéodory- and Kobayashi pseudometrics in finite dimensions) for convex domains in separable locally convex spaces. Since we do not have a reference, we give a detailed proof in Appendix A.

3. Results

Throughout this section, D denotes an arbitrarily fixed bounded convex domain in E containing the origin. For short, we can write
X = C 0 ( R + , E ) and D = C 0 ( R + , D ) = x X : range ( x ) D .
Lemma 2.
Let φ t : t R + be a C 0 -semigroup of (norm)-contractions D D . Then, the maps Φ t : D X ( t R + ) defined by
Φ t ( x ) : R + τ φ t τ x ( 0 ) i f 0 τ t , x ( τ t ) i f τ t
form a C 0 -semigroup of isometries D D .
Proof. 
Consider any function x D . Since, by definition, the function τ φ t x ( 0 ) is continuous and ranges in D , we have Φ t ( x ) D . Given another function y D ,
Φ t ( x ) Φ t ( y ) = max max 0 τ t φ t τ x ( 0 ) φ t τ y ( 0 ) , max σ t x ( σ t ) y ( σ t ) x ( 0 ) y ( 0 ) , max σ t x ( σ t ) y ( σ t ) } = max τ 0 x ( τ ) y ( τ ) ) = x y .
Since, trivially,
Φ t ( x ) Φ t ( y ) max σ t x ( σ t ) y ( σ t ) } = max τ 0 x ( τ ) y ( τ ) } = x y ,
we conclude that each map Φ t is a D -isometry.
Next, we check the semigroup property of [ Φ t : t R + ] . Let s , t 0 . Then, we have
Φ s Φ t ( x ) : τ φ s τ Φ t ( x ) ( 0 ) if τ s , φ t ( x ) ( τ s ) if τ s , Φ s + t ( x ) : τ φ ( s + t ) τ x ( 0 ) if τ s + t , x τ ( s + t ) if τ s + t .
Thus, if 0 τ s , then
Φ s Φ t ( x ) ( τ ) = φ s τ Φ t ( x ) ( 0 ) = φ s τ φ t x ( 0 ) = φ s τ φ t x ( 0 ) = φ ( s + t ) τ x ( 0 ) = Φ s + t ( x ) ( τ ) .
If s τ s + t , then
Φ s Φ t ( x ) ( τ ) = Φ t ( x ) ( τ s ) = τ s t = φ t ( τ s ) x ( 0 ) = φ ( s + t ) τ x ( 0 ) = Φ s + t ( x ) ( τ ) .
If s + t τ , then
Φ s Φ t ( x ) ( τ ) = Φ t ( x ) ( τ s ) = τ s t = x ( τ s ) t = Φ s + t ( x ) ( τ ) .
We complete the proof by checking strong continuity, i.e., that Φ t ( x ) Φ s ( x ) 0 whenever s t in R + . Recall that the moduli of continuity
M ( z , δ ) : = max | t 1 t 2 | δ z ( t 1 ) z ( t 2 ) , m ( e , δ ) : = max | t 1 t 2 | δ φ t 1 ( e ) φ t 2 ( e )
associated with any function z X with respect to any vector e E are well-defined and converge to 0 as δ 0 . Let 0 t 1 t 2 . Since we have
Φ t 2 ( x ) ( τ ) Φ t 1 ( x ) ( τ ) = φ t 2 τ ( x ( 0 ) ) φ t 1 τ ( x ( 0 ) ) if τ t 1 , φ t 2 τ ( x ( 0 ) ) x ( τ t 1 ) if t 1 τ t 2 , x ( τ t 2 ) x ( τ t 1 ) if t 2 τ ,
it follows that
Φ t 2 ( x ) Φ t 1 ( x ) m x ( 0 ) , t 2 t 1 if τ t 1 , φ t 2 τ x ( 0 ) x ( 0 ) + x ( τ t 1 ) x ( 0 ) m x ( 0 ) , t 2 t 1 + M ( x , t 2 t 1 ) if t 1 τ t 2 , M ( x , t 2 t 1 ) if t 2 τ .
Hence, we see the uniform continuity of the function t Φ t ( x ) with the modulus of continuity δ m x ( 0 ) , δ + M ( x , δ ) . □
Remark 2.
The conclusion of Lemma 2 holds even if E is only assumed to be a real Banach space.
Proposition 1.
Under the hypothesis of Lemma 1, if the maps φ t above are additionally holomorphic and leave the origin of E fixed, then furthermore the underlying Banach space E is separable or D is a circular holomorphically symmetric domain and then each term Φ t is a holomorphic 0-preserving d D d D isometry.
Proof. 
Since the domain D is bounded, the holomorphy of the maps Φ t with holomorhic terms φ t is an immediate consequence of the fact that all the pointwise evaluations δ ω Ψ : D x Ψ ( x ) ( ω ) ( ω Ω ) are holomorphic. Indeed, we have δ τ Φ t = x x ( τ t ) or δ τ Φ t = x φ τ t x ( 0 ) with holomorhic maps by assumption.
Since the maps φ Hol ( D , D ) are d D d D contractions, by the aid of Lemma 1 we can see that each term Φ t is a d D -isometry, as follows. Given any pair of functions x , y D , we have d D ( φ t x ( 0 ) , φ t y ( 0 ) d D x ( 0 ) , y ( 0 ) ( t 0 ) . Hence,
d D Φ t ( x ) , Φ t ( y ) = max τ 0 d D δ τ Φ t ( x ) ( τ ) , δ τ Φ t ( y ) ( τ ) = = max d D φ [ t τ ] + x ( 0 ) , φ [ t τ ] + y ( 0 ) , d D x ( [ τ t ] + ) , y ( [ τ t ] + ) : t 0 = = d D x ( τ t ) , y ( τ t ) , max d D x ( 0 ) , y ( 0 ) , d D x ( τ ) , y ( τ ) : τ 0 = = max τ 0 d D x ( τ ) , y ( τ ) = d D ( x , y )
which completes the proof. □
Remark 3.
It is well known from [11] that, given a continuously differentiable function f X , we have
d + d t f ( t ) : = lim sup h 0 f ( t + h ) f ( t ) / h = sup L S ( f ( t ) ) Re L , f ( t )
in terms of the family of supporting bounded linear functionals
S ( y ) : = L E * : L = 1 , L , y = y ( y E ) .
In particular, f is non-increasing whenever Re L , f ( t ) 0 for any t R + and for any functional L S ( f ( t ) ) .
We are going to complete our constructions with the aid of flows of vector fields. Conveniently, in our context we simply identify a vector field W on a domain U E with a mapping W : U E . A flow of W is a one-parameter family of the form φ t : t [ 0 , T ) of mappings φ t : D t U with D s D t for 0 s t , such that φ 0 = Id U and for any point x U the orbit τ φ τ ( x ) is defined on a nondegenerate interval [ 0 , T x ) satisfying the relation d φ τ ( x ) / d τ = W φ τ ( x ) for 0 τ < T x . Due to the classical Picard–Lindelöf Theorem, any Lipschitzian vector field W admits a unique maximal flow [11].
Lemma 3.
Let V : B 1 ( E ) E be a Lipschitzian vector field with V ( 0 ) = 0 . Then, given any constant μ Lip ( V ) = sup f 1 , f 2 B 1 ( E ) f 1 f 2 1 V ( f 1 ) V ( f 2 ) , the maximal flow of the vector field W : B 1 ( E ) e V ( e ) μ e is a well-defined uniformly continuous one-parameter semigroup [ φ t : t R + ] consisting of contractive self maps of B 1 ( E ) .
Proof. 
Let [ φ t : t I ] with φ t : D t B 1 ( E ) be the maximal flow of W. Then, for any point e B 1 ( E ) , the orbit t φ t ( e ) is the solution of the initial value problem
d d t z ( t ) = W z ( t ) , z ( 0 ) = e ,
It is well known that by writing I e = [ 0 , T e ) for the domain of maximal solution of (2), we necessarily have T e = sup I e > 0 ; furthermore, lim t T e z ( t ) = 1 whenever T e < . We are going to exclude such cases due to the contraction properties of the maps φ t .
Let e 1 , e 2 B 1 ( E ) and consider the function f ( t ) : = φ t ( e 1 ) φ t ( e 2 ) defined on the interval I e 1 I e 2 . Observe that, given any functional L S φ t ( e 1 ) φ t ( e 2 ) , we have
Re L , f ( t ) = Re L , W φ t ( e 1 ) W φ t ( e 2 ) = = Re L , V φ t ( e 1 ) V φ t ( e 2 ) μ Re L , φ t ( e 1 ) φ t ( e 2 ) = = Re L , V φ t ( e 1 ) V φ t ( e 2 ) μ φ t ( e 1 ) φ t ( e 2 ) μ φ t ( e 1 ) φ t ( e 2 ) μ φ t ( e 1 ) φ t ( e 2 ) = 0 .
Hence, we conclude that the function t f ( t ) is decreasing; in particular, we have the contraction property φ t ( e 1 ) φ t ( e 2 ) φ 0 ( e 1 ) φ 0 ( e 2 ) = e 1 e 2 for t I e 1 I e 2 . Assumption W ( 0 ) = V ( 0 ) = 0 implies φ t ( 0 ) 0 with I 0 = [ 0 , ) = R + . Hence, we also see that φ t ( e ) = φ t ( e ) φ t ( 0 ) e 0 = e < 1 for all e B 1 ( E ) and t I e . This is possible only if sup I e = . Therefore, the maximal flow of W is defined for all (time) parameters t R + and consists of B 1 ( E ) -contractions φ t .
It is well known that flows parametrized on R + are automatically strongly continuous semigroups. The uniform continuity in our case is a consequence of the fact that φ t 2 ( e ) φ t 1 ( e ) t 1 t 2 d d t φ t ( e ) d t = t 1 t 2 W φ t ( e ) d t t 1 t 2 4 μ d t   ( 0 t 1 t 2 ) , which shows that ω ( e , δ ) 4 μ δ   ( e B 1 ( E ) , δ R + ) . □
Example 1.
Let E : = C with B 1 ( E ) = Δ = { ζ C : | ζ | < 1 } and let V ( z ) z 2 . Since | z 1 2 z 2 2 | = | z 1 z 2 | · | z 1 + z 2 | 2 | z 1 z 2 | , we can apply Lemma 3 with W ( z ) : = z 2 2 z . For the flow [ φ t : t R + ] of W, we obtain the holomorphic maps
φ t ( z ) = 2 z 1 e 2 t z + 2 e 2 t ( z Δ , t 0 ) .
Indeed, the solution of the initial value problem
d d t x ( t ) = x ( t ) 2 2 x ( t ) , x ( 0 ) = z
is x ( t ) = 2 z / 1 e 2 t z + 2 e 2 t , as one can check by direct computation. As for heuristics, we obtain a real-valued solution with real calculus for (3) with initial values 1 < z < 1 , and the obtained formula extends holomorphically to Δ.
Theorem 2.
Given a complex Banach space E with symmetric or separable unit ball, there is a C 0 -semigroup of non-linear holomorphic 0-preserving norm and Carathéodory isometries of the open unit ball of the function space X : = C 0 ( R + , E ) .
Proof. 
We can apply the construction of Proposition 1 with a semigroup [ φ t : t R + ] obtained with the construction of Lemma 3 with any E -polynomial polynomial vector field V : E E . □
Example 2.
Let E : = C and X : = C 0 ( R + , C ) . Then, the maps
Φ t ( x ) : R + τ 2 x ( 0 ) 1 e 2 ( t τ ) x ( 0 ) + 2 e 2 ( t τ ) i f τ t , x ( τ t ) i f τ t
form a C 0 -semigroup of non-linear holomorphic 0-preserving norms and Carathéodory isometries of the unit ball B 1 ( X ) .
Question 1.
Is any holomorphic norm-isometry of the unit ball of a complex Banach space automatically a Carathéodory isometry as well?

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The author declares no conflicts of interest.

Appendix A. Proof of Lemma 1

Notice that our assumptions imply the separability of the space X = C 0 ( Ω , E ) . Thus, we can apply the main result in [9] to D , with the conclusion that
d D x , y = max d Δ f ( x ) , f ( y ) : f Hol ( D , Δ ) = = inf d Δ ξ , η : f Hol ( Δ , D ) with f ( ξ ) = x , f ( η ) = y = = inf tanh 1 ( η ) : η > 0 and f Hol ( Δ , D ) with f ( 0 ) = x , f ( η ) = y
for any pair x , y D . In the case of the space X consisting of functions Ω E , the evaluations δ ω : x ( ω ) are linear mappings with δ ω ( D ) D . Since all holomorphic functions D D are d D d D contractions, hence, we conclude that
d D x , y sup ω Ω d D x ( ω ) , y ( ω ) x , y D .
It is well known [1] that the Carathéodory pseudodistance is a continuous metric on any bounded Banach space domain, being locally equivalent to the natural distance defined by the underlying norm. Therefore, we can replace the term sup with max in the above formula and to complete the proof it is sufficient to see the following approximate version of the inf-expression of d D ( x , y ) .
Let ε > 0 and η > tanh d D ( x , y ) . Then, given any pair of functions x , y D , there exists a mapping Δ ζ z ζ E such that for any location ω Ω , we have
z 0 ( ω ) x ( ω ) , z η ( ω ) y ( ω ) < ε , ζ z ζ ( ω ) Hol ( Δ , D ) .
Construction of a suitable function  ζ z ζ : Let Ω * = Ω { } be the one-point compactification of Ω . For each location ω Ω * , we can find a neighborhood Γ ω Ω * such that
d D x ( γ ) , x ( ω ) , d D y ( γ ) , y ( ω ) , x ( γ ) x ( ω ) , y ( γ ) y ( ω ) < ϵ γ Γ ω .
Due to the compactness of Ω * , there exists a finite partition of unity subordinated to the covering Γ ω : ω Ω * . That is, we can choose a finite subset ω n n = 0 N Ω * along with a family w n n = 0 N of continuous functions Ω * R + such that
n = 0 N w n ( ω ) = 1 ( ω Ω * ) , supp ( w n ) Γ ω n .
Consider the points p n = x ( ω n ) , q n = y ( ω n ) . Notice that
d D p n , q n max ω Ω d D p n , q n = d D ( x , y ) < η ( n = 0 , , N ) .
Since d D ( p , q ) = inf d Δ ( 0 , η : η ( 0 , 1 ) , f Hol ( Δ , D ) f ( 0 ) = p , f ( η ) = q , we can find functions f 0 , , f N such that
f n Hol ( Δ , D ) , f n ( 0 ) = p n , f n tanh ( η + ε ) = q n .
In terms of f 0 , , f N we can finish the construction by setting
z ζ ( ω ) : = n = 0 N w n ( ω ) f n ( ζ ) ζ Δ , ω Ω .
For any fixed location ω Ω , the function ζ z ζ ( ω ) is holomorphic as it is a linear combination of the holomorphic functions f n . For any fixed scalar ζ Δ , the function ω z ζ ( ω ) belongs to D as a convex combination of the continuous functions Ω ω f n ( ω ) vanishing at . Finally, since f n ( 0 ) = p n = x ( ω n ) and f n ( η + ε ) = q n = y ( ω n ) , for any location ω Ω we have the following estimates:
z 0 ( ω ) x ( ω ) = n w n ( ω ) f n ( 0 ) x ( ω ) = n w n ( ω ) x ( ω n ) x ( ω ) n : w n ( ω ) > 0 w n ( ω ) x ( ω n ) x ( ω ) < n w n ( ε ) = ε ; z η + ε ( ω ) y ( ω ) = n w n ( ω ) f n ( ζ + ε ) y ( ω ) = n w n ( ω ) y ( ω n ) y ( ω ) n : w n ( ω ) > 0 w n ( ω ) y ( ω n ) y ( ω ) < n w n ( ε ) = ε .
which completes the proof.

References

  1. Tullio, F.; Edoardo, V. Holomorphic Maps and Invariant Distances; North Holland Mathematics Studies; Elsevier North Holland: New York, NY, USA, 1980; Volume 40. [Google Scholar]
  2. Vesentini, E. Semigroups of holomorphic isometries. In Complex Potential Theory; Gauthier, P.M., Sabidussi, G., Eds.; Nato Science Series C: Mathematical and Physical Sciences; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1994; Volume 439, pp. 475–548. [Google Scholar]
  3. Vesentini, E. On the Banach-Stone Theorem. Adv. Math. 1985, 112, 135–146. [Google Scholar] [CrossRef]
  4. Engel, K.J.; Nagel, R.; Brendle, S. One-Parameter Semigroups for Linear Evolution Equations; Graduate Texts in Mathematics; Springer: Berlin, Germany, 2000; Volume 194. [Google Scholar]
  5. Bátkai, A.; Piazzera, S. Semigroups for Delay Equations; Research Notes in Mathematics 10; A K Peters: Wellesley, MA, USA, 2005. [Google Scholar]
  6. Kaup, W. A Riemann Mapping Theorem for Bounded Symmetric Domains in Complex Banach Spaces. Math. Z. 1983, 183, 503–530. [Google Scholar] [CrossRef]
  7. Isidro, J.M. Jordan Triple Systems in Complex and Functional Analysis; AMS Mathematical Surveys and Monographs; American Mathematical Soc: Providence, RI, USA, 2019; Volume 243. [Google Scholar]
  8. Kaup, W.; Sauter, J. Boundary structure of bounded symmetric domains. Manuscripta Math. 2000, 101, 351–360. [Google Scholar] [CrossRef]
  9. Dineen, S.; Timoney, R.M.; Vigué, J.P. Pseudodistances sur les domaines d’un espace localement convexe. Ann. Della Sc. Norm. Super. Pisa 1985, 12, 515–529. [Google Scholar]
  10. Lempert, L. La métric de Kobayashi et la représentation des domaines sur la boule. Bull. Soc. Math. France 1981, 109, 427–474. [Google Scholar] [CrossRef]
  11. Federer, H. Geometric Measure Theory; Die Grundlehren der mathematischen Wissenschaften Band 153; Springer: New York, NY, USA, 1969. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Stachó, L.L. A Counterexample Concerning C0-Semigroups of Holomorphic Carathéodory Isometries. Mathematics 2024, 12, 2035. https://doi.org/10.3390/math12132035

AMA Style

Stachó LL. A Counterexample Concerning C0-Semigroups of Holomorphic Carathéodory Isometries. Mathematics. 2024; 12(13):2035. https://doi.org/10.3390/math12132035

Chicago/Turabian Style

Stachó, László L. 2024. "A Counterexample Concerning C0-Semigroups of Holomorphic Carathéodory Isometries" Mathematics 12, no. 13: 2035. https://doi.org/10.3390/math12132035

APA Style

Stachó, L. L. (2024). A Counterexample Concerning C0-Semigroups of Holomorphic Carathéodory Isometries. Mathematics, 12(13), 2035. https://doi.org/10.3390/math12132035

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop