Fact-checked by Grok 2 weeks ago

Schwarz reflection principle

The Schwarz reflection principle is a theorem in complex analysis that enables the analytic continuation of a holomorphic function across a portion of the real axis in the complex plane, provided the function is real-valued on that boundary segment.^[1] Named after the German mathematician Hermann Amandus Schwarz, it extends the domain of such functions by reflecting them symmetrically over the real line, preserving holomorphicity.^[2] Formally, if f is holomorphic in an open domain D contained in the upper half-plane \{ z \in \mathbb{C} : \operatorname{Im} z > 0 \}, continuous up to a closed interval I \subset \mathbb{R} on the boundary, and takes real values on I, then f extends to a holomorphic function \tilde{f} on D \cup I \cup D^*, where D^* = \{ \bar{z} : z \in D \} is the reflection of D across the real axis, satisfying \tilde{f}(\bar{z}) = \overline{f(z)} for z \in D.^[1] This extension is achieved by defining \tilde{f}(z) = \overline{f(\bar{z})} in D^*, which ensures continuity and analyticity across I via Morera's theorem or the Cauchy integral formula.^[1] A related version applies to harmonic functions: if u is harmonic in the upper half-domain and vanishes continuously on I, it extends harmonically to the full symmetric domain by \tilde{u}(\bar{z}) = -u(z).^[3] Hermann Amandus Schwarz (1843–1921) developed the principle in 1869 as part of his work on conformal mappings, independently of earlier ideas by Elwin Bruno Christoffel. Schwarz's original formulation addressed the extension of analytic functions across straight or circular arcs where the image is also a straight or circular arc, facilitating proofs in the theory of uniformization and polyhedral mappings.^[2] His contributions, published in journals like Journal für die reine und angewandte Mathematik, built on Riemann's insights into analytic continuation and were instrumental in resolving gaps in the Riemann mapping theorem.^[2] The principle has broad applications in complex analysis, including the Schwarz–Christoffel formula for mapping polygonal domains to the unit disk, solving boundary value problems like the Dirichlet problem via reflection, and studying symmetries in harmonic and polyharmonic functions across real analytic curves.^[2] It also generalizes to higher dimensions and other boundaries, such as spheres, using transformations like the Kelvin transform to extend harmonic functions symmetrically.^[4] These extensions underscore its role in advancing conformal geometry and potential theory.^[4]

Background Concepts

Holomorphic Functions in the Complex Plane

A holomorphic function is a complex-valued function that is complex differentiable at every point within an open domain in the complex plane. This means that for a function f(z) defined on an open set D \subset \mathbb{C}, the limit \lim_{h \to 0} \frac{f(z + h) - f(z)}{h} exists and is the same regardless of the direction from which h approaches 0, for every z \in D.^[5] Holomorphic functions are also known as analytic functions, a term used interchangeably in mathematical literature, emphasizing their local representability by convergent power series.^[6]^[7] In terms of real and imaginary parts, let z = x + iy and f(z) = u(x, y) + iv(x, y), where u and v are real-valued functions. For f to be holomorphic, u and v must satisfy the Cauchy-Riemann equations: \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} and \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}, provided the partial derivatives exist and are continuous in a neighborhood of the point. These equations ensure the consistency of the complex derivative and imply that both u and v are harmonic functions, satisfying Laplace's equation.^[8] A fundamental property of holomorphic functions is their local analyticity via power series expansion. At any point z_0 in the domain, f can be expressed as f(z) = \sum_{n=0}^{\infty} a_n (z - z_0)^n, where the series converges to f(z) in some disk centered at z_0. This expansion highlights the infinite differentiability of holomorphic functions and their smooth behavior within the domain.^[6] When a holomorphic function is continuous up to the boundary of its domain, it exhibits controlled behavior near that boundary, as governed by the maximum modulus principle. For a holomorphic f on a bounded domain U continuous on the closure \overline{U}, if |f(z_0)| \geq |f(z)| for some interior point z_0 \in U and all z \in U, then f must be constant throughout U; equivalently, the maximum of |f| occurs on the boundary \partial U. This principle has particular relevance for functions in regions like the upper half-plane approaching the real axis.^[9] Specifically, holomorphic functions on the upper half-plane H = \{ z \in \mathbb{C} \mid \Im(z) > 0 \} that extend continuously to the closure \overline{H} (including the real axis) maintain bounded variation near the boundary, facilitating analysis of their limiting values.^[10]/00%3A_Introduction/0.01%3A_Motivation_Single_Variable_and_Cauchys_Formula)

Symmetry Across the Real Axis

The complex conjugate of a complex number z = x + iy, where x, y \in \mathbb{R} and i = \sqrt{-1}, is defined as \bar{z} = x - iy. This operation geometrically corresponds to a reflection of the point z across the real axis in the complex plane.^[11] The reflection map is given by the function \sigma(z) = \bar{z}, which sends the upper half-plane \mathbb{H} = \{ z \in \mathbb{C} \mid \Im(z) > 0 \} bijectively onto the lower half-plane -\mathbb{H} = \{ z \in \mathbb{C} \mid \Im(z) < 0 \}, while fixing every point on the real axis \mathbb{R}. Specifically, for any z \in \mathbb{H}, \Im(\sigma(z)) = -\Im(z) < 0, and for z \in \mathbb{R}, \sigma(z) = z.^[11] The map \sigma possesses key algebraic and geometric properties: it is an involution since \sigma(\sigma(z)) = z for all z \in \mathbb{C}, and it is anti-holomorphic, meaning it satisfies the conjugate Cauchy-Riemann equations but fails to be holomorphic. Additionally, \sigma acts as an isometry of the complex plane, preserving Euclidean distances and angles while reversing orientation.^[11]/03:_Transformations/3.01:_Basic_Transformations_of_Complex_Numbers) This reflection symmetry plays a foundational role in analyzing functions defined on domains symmetric across the real axis. In particular, if a function f takes real values on \mathbb{R}, then f(\bar{z}) = \overline{f(z)} holds for all z \in \mathbb{R}, establishing the conjugate symmetry condition on the boundary.

Formal Statement

Core Theorem

The Schwarz reflection principle states that if f is a function holomorphic in the upper half-plane H = \{ z \in \mathbb{C} : \operatorname{Im} z > 0 \}, continuous on the closed upper half-plane \overline{H} = H \cup \mathbb{R}, and real-valued on the real axis \mathbb{R} (that is, f(x) \in \mathbb{R} for all x \in \mathbb{R}), then f admits a holomorphic extension F to the symmetric domain H \cup \mathbb{R} \cup (-H), where -H = \{ z \in \mathbb{C} : \operatorname{Im} z < 0 \}.^[12]^[13] The extension is given explicitly by

F(z) = \begin{cases} f(z) & \text{if } z \in H \cup \mathbb{R}, \\ \overline{f(\overline{z})} & \text{if } z \in -H. \end{cases}

^[12]^[13] This extension F is unique, as it follows from the uniqueness of analytic continuations across the real axis under the given boundary conditions.^[1] The function F is continuous on the entire domain H \cup \mathbb{R} \cup (-H), including across the real axis \mathbb{R}, and satisfies the reflection symmetry F(\overline{z}) = \overline{F(z)} for all z in this domain.^[12]^[13] The domain of holomorphicity for F is the full strip H \cup \mathbb{R} \cup (-H), excluding any possible singularities inherited from f in H or their reflections in -H.^[1]

Boundary Conditions

The Schwarz reflection principle applies to a function f that is holomorphic in a domain D within the open upper half-plane \mathbb{H} = \{ z \in \mathbb{C} : \operatorname{Im} z > 0 \}, where the boundary of D includes an open interval I \subset \mathbb{R}. A key assumption is that f extends continuously to the closed domain \overline{D \cup I}, meaning \lim_{z \to x, z \in D} f(z) = f(x) for all x \in I. This continuity ensures that boundary values are well-defined and approachable from within the domain.^[1]^[14] In addition, f must satisfy the reality condition on the boundary interval I, where f(x) \in \mathbb{R} for all x \in I, or equivalently, \operatorname{Im} f(x) = 0 or f(x) = \overline{f(x)}. This condition guarantees that the function takes real values along the real axis segment, aligning the original and reflected parts symmetrically across I. These local conditions on a finite interval I are sufficient for the principle to hold across that boundary.^[1]^[14] The continuity condition is essential; without it, the principle fails, as the boundary values may not exist or may not match the reflected counterpart. A standard counterexample involves a holomorphic function in \mathbb{H} derived from a branch of the logarithm that maps to a horizontal strip, where the radial limits to \mathbb{R} exist but lead to a jump discontinuity incompatible with reflection across the axis.^[1] These boundary conditions collectively ensure that the values of f on I coincide with those of its reflection, enabling a seamless analytic continuation across the real axis without singularities or mismatches.^[1]^[14]

Proof and Derivation

Construction of the Extension

To construct the extension across the real axis \mathbb{R}, consider a function f that is holomorphic in the upper half-plane H = \{ z \in \mathbb{C} \mid \operatorname{Im} z > 0 \} and continuous on the closed upper half-plane \overline{H}, with f(x) \in \mathbb{R} for all x \in \mathbb{R}. The candidate extension F is defined piecewise as F(z) = f(z) for z \in \overline{H} and F(z) = \overline{f(\overline{z})} for z \in -H = \{ z \in \mathbb{C} \mid \operatorname{Im} z < 0 \}.^[15]^[16] This definition ensures that F matches f on the boundary \mathbb{R}. Specifically, for x \in \mathbb{R}, \overline{x} = x, so F(x) = \overline{f(\overline{x})} = \overline{f(x)}. Since f(x) is real-valued, \overline{f(x)} = f(x), and thus F agrees with f on \mathbb{R}.^[15]^[16] The extension F is continuous across \mathbb{R}. To see this, fix x \in \mathbb{R} and consider a sequence z_n \in -H with z_n \to x. Then \overline{z_n} \in H and \overline{z_n} \to x, so continuity of f on \overline{H} implies f(\overline{z_n}) \to f(x). Taking complex conjugates yields \overline{f(\overline{z_n})} = F(z_n) \to \overline{f(x)} = f(x), matching the limit from H.^[15]^[16] This continuity relies on the map z \mapsto \overline{z}, which is a homeomorphism from -H onto H that extends continuously to the boundary \mathbb{R} (mapping it to itself). It therefore preserves limits to the boundary, ensuring that approaches to \mathbb{R} from -H correspond exactly to approaches from H under conjugation.^[15]^[16] As an intermediate observation in the construction, F restricted to -H is holomorphic, since the composition of the anti-holomorphic map z \mapsto \bar{z} with the holomorphic f, followed by complex conjugation (which is also anti-holomorphic), results in an overall holomorphic function on -H.^[15]^[16]

Verification of Holomorphicity

The extended function F coincides with the original holomorphic function f in the upper half-plane H, so F is holomorphic there by assumption. In the lower half-plane -H, F(z) = \overline{f(\bar{z})}, and as noted, this is holomorphic on -H.^[3]^[17] To establish holomorphicity across the real axis \mathbb{R}, consider a point x_0 \in \mathbb{R}. Since F is continuous at x_0, there exists a small disk D centered at x_0 contained in the domain H \cup \mathbb{R} \cup -H. Within D \cap H, f has a power series expansion f(z) = \sum_{n=0}^\infty a_n (z - x_0)^n, convergent in some radius. Since f is real-valued on the real interval in D \cap \mathbb{R}, the coefficients a_n are real for all n. The same power series \sum_{n=0}^\infty a_n (z - x_0)^n then defines a holomorphic function in the full disk D, because the real coefficients ensure that the series with conjugated variables matches: for z \in D \cap -H, F(z) = \overline{f(\bar{z})} = \overline{\sum a_n (\bar{z} - x_0)^n} = \sum a_n (z - x_0)^n, since a_n \in \mathbb{R} and x_0 \in \mathbb{R}. Thus, F agrees with this power series in D, proving it is holomorphic at x_0 and across \mathbb{R}.^[18]^[1] Thus, F is holomorphic on the full domain H \cup \mathbb{R} \cup -H.^[17]

Examples and Illustrations

Elementary Function Extension

The square root function serves as a standard example for applying the Schwarz reflection principle to extend a holomorphic function across the real axis. Define f(z) = \sqrt{z} in the upper half-plane \Im z > 0 using the branch where \arg z \in (0, \pi), so f(z) = \sqrt{|z|} \exp\left( i \frac{\arg z}{2} \right). This function is holomorphic throughout the upper half-plane and extends continuously to the positive real axis, where \arg z = 0 and f(x) = \sqrt{x} > 0 for x > 0, taking real values on this boundary segment.^[1] The reflection principle extends f across the positive real axis to the lower half-plane \Im z < 0 via the formula F(z) = \overline{f(\bar{z})}. For z in the lower half-plane with \arg z = -\theta and \theta \in (0, \pi), \bar{z} lies in the upper half-plane with \arg \bar{z} = \theta, so f(\bar{z}) = \sqrt{|z|} \exp\left( i \frac{\theta}{2} \right). The conjugate is then \overline{f(\bar{z})} = \sqrt{|z|} \exp\left( -i \frac{\theta}{2} \right) = \sqrt{|z|} \exp\left( i \frac{\arg z}{2} \right), matching the principal branch of the square root in the lower half-plane where \arg z \in (-\pi, 0).^[1] The extended function F(z) agrees with f(z) in the upper half-plane and on the positive real axis, and is holomorphic in \mathbb{C} minus the non-positive real axis by the reflection principle, which ensures analytic continuation across the boundary. Verification follows from the continuity and real-valuedness on the boundary, allowing application of Morera's theorem in disks straddling the positive real axis to confirm holomorphicity of F.^[1] A similar extension applies to the logarithm function across the positive real axis. For the branch \log z = \ln |z| + i \arg z with \arg z \in (0, \pi) in the upper half-plane, it is real on the positive real axis. The reflected extension F(z) = \overline{\log \bar{z}} for \Im z < 0 yields F(z) = \ln |z| + i \arg z with \arg z \in (-\pi, 0), coinciding with the principal logarithm in the lower half-plane; however, analytic continuation around the origin reveals a branch differing by -2\pi i on the lower sheet.^[1]

Conformal Mapping Application

The Schwarz reflection principle plays a crucial role in conformal mapping by enabling the analytic extension of holomorphic functions defined on the upper half-plane across the real axis, particularly when the boundary behavior aligns with symmetry conditions. This application is prominent in scenarios where the map sends the real axis to a straight line or circular arc in the image domain, allowing the extension to symmetric regions like the full plane or doubled domains without introducing singularities along the reflected boundary. By defining the extension as f(\overline{z}) = \overline{f(z)} for z in the reflected domain, the principle ensures the resulting function remains holomorphic, as the anti-conformal nature of both the domain reflection (over the real axis) and the range conjugation compose to yield a conformal (holomorphic) map overall. This preservation of conformality is essential for constructing global mappings in complex analysis.^[19] A key instance arises in Schwarz-Christoffel mappings, which conformally map the upper half-plane onto polygonal regions. Here, the real axis corresponds to the polygon's boundary, with segments between prevertices mapping to straight sides. The reflection principle extends the map across these real segments by reflecting the domain over the real axis and applying the symmetry relation, effectively doubling the polygonal domain into a symmetric figure. Successive reflections across adjacent sides further extend the map to the entire complex plane minus branch cuts emanating from the vertex preimages, ensuring no singularities on the original boundary segments. This process not only verifies the map's analytic continuation but also aids in determining accessory parameters like prevertex locations through symmetry constraints.^[20] For mappings to the unit disk, consider the Möbius transformation f(z) = \frac{z - i}{z + i}, which conformally maps the upper half-plane onto the unit disk, sending the real axis to the unit circle. Although f is not real-valued on the real axis, a variant of the Schwarz reflection principle applies by first using a Möbius transformation to send the unit circle to the real axis, then applying the standard principle, and composing back. This extends f analytically to the lower half-plane via f(\overline{z}) = \frac{1}{\overline{f(z)}} (adjusted for the circular symmetry), mapping the lower half-plane to the exterior of the unit disk while preserving boundary correspondence. The result is a meromorphic extension to the full complex plane, with a simple pole at z = -i and no singularities on the real axis, demonstrating how the principle facilitates full-plane mappings in bounded domains.^[21]

Generalizations and Extensions

Reflection Over Arbitrary Lines

The Schwarz reflection principle extends to arbitrary straight lines in the complex plane through the use of Möbius transformations, which map the given line L onto the real axis \mathbb{R}. Suppose f is holomorphic in a domain \Omega lying on one side of L (the "upper" side), continuous up to the boundary segment L \cap \overline{\Omega}, and satisfies f(z) \in \mathbb{R} for all z \in L \cap \overline{\Omega}. Let \tau be a Möbius transformation such that \tau(L) = \mathbb{R} and \tau(\Omega) is the upper half-plane. Define g(w) = f(\tau^{-1}(w)) for w \in \tau(\Omega). Then g is holomorphic in the upper half-plane, continuous to \mathbb{R}, and real-valued on the relevant segment of \mathbb{R}, so the standard Schwarz reflection principle applies to extend g across \mathbb{R} by g(\overline{w}) = \overline{g(w)}. The extension \tilde{f} of f is then recovered via \tilde{f}(z) = g(\tau(z)) in the reflected domain \tau^{-1}(\overline{\tau(\Omega)}).^[22]^[23] The reflection across L itself is a key component, given explicitly by the formula \sigma_L(z) = z_0 + e^{2i\theta} \overline{(z - z_0)}, where z_0 \in L and \theta is the argument of the direction vector of L. This map \sigma_L is an anti-holomorphic involution (\sigma_L \circ \sigma_L = \mathrm{id}) that swaps the two sides of L, and the extended function satisfies \tilde{f}(\sigma_L(z)) = \overline{f(z)} across L. For a line L described by the equation a z + \overline{a} \overline{z} + b = 0 (with a \in \mathbb{C} \setminus \{0\}, b \in \mathbb{R}), the reflection \sigma_L(z) involves conjugation adjusted by the Möbius transformation \tau that aligns L with \mathbb{R}, yielding \sigma_L(z) = \tau^{-1} \left( \overline{\tau(z)} \right). The resulting \tilde{f} remains holomorphic in the symmetric domain \Omega \cup (\sigma_L(\Omega)) \setminus L.^[22]^[24] A concrete example is reflection across the imaginary axis. The map \tau(z) = i z rotates the plane by \pi/2, sending the imaginary axis to \mathbb{R} and the right half-plane to the upper half-plane. If f is holomorphic in the right half-plane, continuous to the imaginary axis, and real-valued there, apply the standard principle to g(w) = f(-i w), extend g, and compose back with \tau^{-1}(w) = -i w to obtain the holomorphic extension of f to the left half-plane. This preserves holomorphicity across the axis.^[22]

Multi-Valued Functions and Riemann Surfaces

Multi-valued functions, such as the complex logarithm \log z or the square root \sqrt{z}, pose significant challenges for analytic continuation due to their inherent branching behavior. These functions require the selection of branches to define them single-valuedly on slit domains, typically with branch cuts along rays or segments in the complex plane, such as the positive real axis for \log z. When applying the Schwarz reflection principle across such a branch cut, the reflection may map a point on one branch to a point on a different sheet of the function, potentially disrupting the holomorphic structure unless properly accounted for.^[25] To address this, the Schwarz reflection principle is generalized to the setting of Riemann surfaces, where the multi-valued function is realized as a single-valued holomorphic function on a multi-sheeted covering space. On the Riemann surface, the reflection across a boundary—such as a branch cut—acts as a deck transformation or an anti-holomorphic symmetry that permutes the sheets while preserving the overall conformal structure. This allows the principle to extend the function holomorphically by identifying reflected points across sheets via the covering map, ensuring the extended function remains well-defined and analytic on the enlarged surface.^[26] A concrete illustration occurs with the Riemann surface for \log z, which consists of infinitely many sheets stacked along the branch cut, taken as the positive real axis. The surface is constructed by gluing the lower edge of the slit on one sheet to the upper edge on the next sheet. The Schwarz reflection principle applies across the positive real axis, where \log z takes real values on a given sheet, to extend the function symmetrically and facilitate analytic continuation across sheets without singularities other than the branch point at the origin.^[25] Similarly, for inverse functions like \arcsin z, which has branch points at z = \pm 1 and typical branch cuts along (-\infty, -1] \cup [1, \infty) on the real axis, the Schwarz reflection principle facilitates extension across the real segment [-1, 1] on the associated two-sheeted Riemann surface, where the function is real-valued. Reflection over this segment maps the function values appropriately between sheets, resolving the multi-valuedness and yielding a holomorphic extension that covers the full surface.^[25]^[27] Ultimately, this application of the Schwarz reflection principle on Riemann surfaces aids in constructing global holomorphic structures for multi-valued functions, transforming local branch definitions into a unified analytic object that captures the topology and monodromy of the surface.^[26]

Historical Development

Origins in 19th-Century Analysis

The Schwarz reflection principle emerged in the 1860s amid investigations into elliptic integrals and conformal mappings, building on foundational developments in complex analysis. These studies sought to extend analytic functions across boundaries, particularly in contexts involving symmetric domains. Key predecessors included Augustin-Louis Cauchy's integral theorem, established in the 1820s, which provided tools for contour integration and residue calculus essential for understanding analytic continuation. Similarly, Bernhard Riemann's 1850s work on analytic continuation and the representation of multivalued functions laid groundwork for handling symmetries in the complex plane. Hermann Amandus Schwarz formalized the principle in 1869, during his research on minimal surfaces and solutions to Plateau's problem. Schwarz employed conformal mappings to construct minimal surfaces spanning polygonal boundaries, where the reflection principle enabled symmetric extensions of analytic functions across real or circular arcs. This approach addressed challenges in variational calculus by leveraging the symmetry of harmonic functions, the real parts of holomorphic functions, to ensure minimality.^[28] The initial publication appeared in Schwarz's paper "Über einige Abbildungsaufgaben," presented in the Journal für die reine und angewandte Mathematik (Crelle's Journal), volume 70, pages 105–120.^[28] This work integrated the principle into broader reflection methods in potential theory, influencing subsequent extensions for harmonic and subharmonic functions across symmetric boundaries.^[12]

Key Mathematicians and Publications

Hermann Amandus Schwarz, a prominent German mathematician, is recognized as the primary developer of the Schwarz reflection principle, which he introduced in his 1869 paper "Über einige Abbildungsaufgaben," published in the Journal für die reine und angewandte Mathematik. In this work, Schwarz formulated the principle for extending analytic functions across the real axis and applied it to conformal mappings, including extensions to harmonic functions via their representation as real parts of analytic functions.^[28] The principle's initial presentation occurred in the 1869 paper, with further details appearing in the Monatsberichte der Königlichen Preussischen Akademie der Wissenschaften zu Berlin in 1870, where Schwarz explored its implications for partial differential equations and boundary value problems.^[29] Elwin Bruno Christoffel independently developed related ideas on reflection principles for conformal mappings in 1867, contributing to the foundations of the Schwarz-Christoffel formula. Schwarz further advanced this in his 1869 work, providing a significant contribution to the formula, which builds on reflection techniques to map the upper half-plane onto polygonal domains.^[28] In the late 19th century, the principle gained traction in the study of automorphic functions, where Felix Klein and Henri Poincaré employed it to analyze symmetries and extensions across fundamental domains in Fuchsian group theory during the 1880s and 1890s.^[28] Modern expositions of the principle appear in key texts on complex analysis, such as Zeev Nehari's Conformal Mapping (1952), which treats it as a foundational tool for univalent functions and boundary correspondence in conformal theory.^[30] Similarly, Lars Ahlfors extended its applications in his 1953 textbook Complex Analysis, integrating it into proofs of the Riemann mapping theorem and generalizations to reflection over analytic arcs, thereby solidifying its role in 20th-century complex function theory.

References

[1]
[PDF] Complex numbers, functions of a complex variable 4 2. Convergent ...
Schwarz reflection principle applies. It is easy to see that the resulting analytic continuation to Hu will be different (by a sign) from the orig- inally ...
[2]
[PDF] Introduction - Assets - Cambridge University Press
By the Schwarz reflection principle, which was invented for this purpose, f can ... Hermann Amandus Schwarz (1843–1921) grew up nearly a generation after.Missing: original | Show results with:original
[3]
[PDF] 22. The Schwarz Reflection Principle - UCSD Math
The reflection of a region U about the real axis is. U∗ = 1 ¯z|z ∈ U l. If u: U -→ R is a real valued function on U then define u∗ : U∗ -→ R.
[4]
[PDF] Harmonic Function Theory - Sheldon Axler
Symmetry and the Schwarz Reflection Principle . . . . . . . . . . 67 ... . Hermann Amandus Schwarz (1843–1921), whose reflection principle we used in ...<|control11|><|separator|>
[5]
Complex Differentiable -- from Wolfram MathWorld
Let z=x+iy and f(z)=u(x,y)+iv(x, on some region G containing the point z_0 . If f(z) satisfies the Cauchy-Riemann equations and has continuous first partial ...
[6]
Analytic Function -- from Wolfram MathWorld
The terms holomorphic function, differentiable function, and complex differentiable function are sometimes used interchangeably with "analytic function" (Krantz ...
[7]
Holomorphic Function -- from Wolfram MathWorld
### Definition of Holomorphic Function
[8]
Cauchy-Riemann Equations -- from Wolfram MathWorld
### Summary of Cauchy-Riemann Equations and Relation to Holomorphic Functions
[9]
Maximum Modulus Principle -- from Wolfram MathWorld
If an analytic function f has a point z_0 where |f(z_0)| >= |f(z)| for all z in U, then f is constant. Also, if |f| has a local max at z_0, then f is constant.Missing: holomorphic | Show results with:holomorphic
[10]
Upper Half-Plane -- from Wolfram MathWorld
The upper half-plane is the portion of the complex plane {x+iy:x,y in (-infty,infty)} satisfying y=I[z]>0 i.e., {x+iy:x in (-infty,infty),y in (0,infty)}.
[11]
[PDF] MATH431: Complex Numbers - UMD MATH
Sep 27, 2021 · Well com- plex conjugation reflects in the real axis since it negates the imaginary compo- nent. Consequently we can reflect in a line through ...
[12]
Schwarz Reflection Principle -- from Wolfram MathWorld
The Schwarz Reflection Principle extends an analytic function from the upper half-disk to the whole disk using f(z^_)=f(z)^_, and the reflected values are ...
[13]
Schwarz reflection principle - PlanetMath
Mar 22, 2013 · The theorem says that if an analytic function is defined in a region with some “nice” boundary and the function behaves “nice” on this boundary, then we can ...
[14]
Complex Analysis
... complex analysis, as does the closed unit disc at the origin,. B = {z ∈ C : |z ... (Schwarz Reflection Principle). Suppose f : H → C is continuous on H ...
[15]
[PDF] Ahlfors, Complex Analysis
Complex Analysis has successfully maintained its place as the standard elementary text on functions of one complex variable. There is, never-.
[16]
[PDF] Complex Analysis II - Oklahoma State University
previous lemma from Complex Analysis I, it follows that F is holomorphic. ... Recall that to use Schwarz Reflection Principle we always have a domain D that is ...
[17]
[PDF] Complex Variables
One of many applications of Morera's theorem is the Schwarz reflection principle, which deals with the problem of extending an analytic function to a larger ...
[18]
[PDF] Schwarz reflection across a segment Boundary behavior
We have seen before that if f is holomorphic on an open domain Ω ⊂ H, and if ∂Ω ∩ R consists of a non-empty interval I where f extends continuously and is ...
[19]
On some elementary Applications of the Reflection Principle to ...
We shall consider here only one-to-one conformal mappings. In the application of the Schwarz-Christoffel formula for mapping the upper half-plane G z onto a ...<|control11|><|separator|>
[20]
The Schwarz Reflection Principle for a circle - Math Stack Exchange
Jul 22, 2013 · The Schwarz Reflection Principle for a circle ... I'm working on the following exercise (not homework) from Ahlfors' text: " If f(z) is analytic ...Analytic continuation of the bounded holomorphic functionRepresenting a function as a Poisson Integral. - Math Stack ExchangeMore results from math.stackexchange.comMissing: conditions | Show results with:conditions
[21]
[PDF] lecture 25
The Schwarz Reflection Principle for line segments and circular arcs. The following is straightforward: Lemma 3.4.1. Let L be a line or a circular arc.
[22]
[PDF] m 597 lecture notes topics in mathematics complex dynamics
Möbius transformation like these are called hyperbolic or loxodromic. They ... Theorem 6.5 (Schwarz Reflection Principle). Let L1 and L2 be circles or ...
[23]
[PDF] Möbius transformations • Elementary functions of complex variable
Dec 1, 2013 · Möbius transformation. Then we can define a transformation Cf of P ... Theorem 12.7 (The Schwarz reflection principle). Suppose that f ...
[24]
[PDF] A concise course in complex analysis and Riemann surfaces ...
Problem 4.5 This follows from the Schwarz reflection principle. Indeed, if (U, φ) is the chart around p ∈ ∂N as in the formulation of the problem, then we ...
[25]
[PDF] V. Analytic Continuation and Riemann Sur- faces
log z increases by 2πi. The Riemann surface S for log is constructed from ... By the Schwarz reflection principle we can extend λ across each of its ...
[26]
Ueber einige Abbildungsaufgaben. - EuDML
Schwarz, H.A.. "Ueber einige Abbildungsaufgaben.." Journal für die reine und angewandte Mathematik 70 (1869): 105-120. <http://eudml.org/doc/148076>.
[27]
[PDF] From Attraction Theory to Existence Proofs - Numdam
This paper also contained what is now frequently known as Schwarz's lemma, or Schwarz's reflection principle. This was, by the way, certainly known to ...
[28]
Conformal Mapping - Zeev Nehari - Google Books
May 23, 2012 · The coverage here includes such topics as the Schwarz lemma, the Riemann mapping theorem, the Schwarz-Christoffel formula, univalent functions, ...Missing: reflection | Show results with:reflection