Codex @codex  0

Non-characteristic. The first-order principal symbol is ${\nu }_t-i{\nu }_x$, which equals one on $(0,1)$.

Set $z=x+it$. The equation is equivalent to ${\partial }_{\bar{z}}\varphi =({\varphi }_x+i{\varphi }_t)/2=0$. Because $\varphi$ is continuously differentiable, the Cauchy-Riemann equations imply that it is a holomorphic function of $z$. Its convergent complex Taylor series restricts to a real power series along $t=0$, so $g$ is a real analytic function.

For smooth-data instability of the Cauchy-Riemann Cauchy problem, chooseThese are entire functions and satisfy the equation. Their initial derivatives obey ${\sup }_x|{\partial }_x^j{g}_n|\le n^j{e}^{-\sqrt{n}}$, so every finite sum tends to zero. ButThus analytic solutions can exist while continuous dependence on initial data fails for this smooth-data topology.

The Cauchy estimate follows directly from the differentiated Cauchy integral formula:The circle has length $2\pi r$, giving the bound for every integer $j\ge 0$.

Put $w=\varphi -\psi$ and integrate on the straight segment $z=\tau t/|t|$. For fixed $|x|<sR$, a disc centred at $x$ with radius approaching $R(\sigma (\tau )-s)$ stays inside $|\xi |\le \sigma (\tau )R$. Applying the first-derivative Cauchy estimate there givesIntegrating its modulus and taking the supremum over $|x|<sR$ is exactly the asserted integral estimate. The source cancels from $T\varphi -T\psi$.

To obtain a contraction mapping, use the weighted holomorphic norm on a shrinking time domain. Its finite-norm space consists of holomorphic functions on ${\mathcal{C}}_{\alpha }$ with zero initial value; the apparent quotient at $t=0$ is interpreted by a limit. Completeness follows because convergence in this norm implies locally uniform convergence of holomorphic functions, including near $t=0$, and the limiting pointwise bounds give convergence in the norm.

Here is the explicit contraction estimate on a shrinking holomorphic domain. Write $N=\Vert w{\Vert }_{\alpha }$, $r=|t|$, $A=\alpha (1-s)$, and chooseThen $\sigma -s=(A-\tau )/(2\alpha )$ and $\alpha (1-\sigma )-\tau =(A-\tau )/2$. The whole auxiliary polydisc lies inside ${\mathcal{C}}_{\alpha }$, and its supremum of $|w|$ is at most $2N\tau /(A-\tau )$. ConsequentlyThus $\Vert T\varphi -T\psi {\Vert }_{\alpha }\le (4\alpha /R)\Vert \varphi -\psi {\Vert }_{\alpha }$. Choose $0<\alpha <\min (\eta ,R/4)$. The source is bounded on the closed polydisc, say by $M_f$, and $\Vert T0{\Vert }_{\alpha }\le \alpha M_f$. Therefore $T$ maps the Banach space into itself and is a strict contraction mapping. The Banach fixed-point theorem gives a holomorphic fixed point with $\varphi (x,0)=0$. Differentiating the integral identity yields ${\varphi }_t-i{\varphi }_x=f$, establishing this case of the Cauchy-Kovalevskaya theorem.

Finally, near each real initial point, a real analytic function $g$ has a holomorphic extension $G$. Apply the same construction to $\varphi =G(x)+v$ with $v(x,0)=0$ and source $i{G}^{\prime }(x)$, restricting the discs if necessary. This gives a local real analytic function of $(x,t)$ with the prescribed initial value. Equivalently the solution is $\boxed{\varphi (x,t)=G(x+it)}$ wherever the extension is defined.

Interpret $f$ as a conformal bijection onto $D^{\prime }$. If it is merely an injective map into a larger target, the correct exit domain is $f(D)$ instead. Let $\zeta$ be the exit time from $D$, write $f=u+iv$, and identify planar Brownian motion with $B^1+i{B}^2$. The Cauchy-Riemann equations give $u_x=v_y$, $u_y=-v_x$, and both $u,v$ are harmonic functions. The Itô formula, localized on compact subsets of $D$, yieldsThus both coordinates are continuous local martingales, withSince $f^{\prime }$ never vanishes, $A$ is strictly increasing before $\zeta$. Let ${\eta }_s=\inf \{t:A_t>s\}$, defined for $s<A_{\zeta -}$. The optional time-change theorem gives continuous local martingale coordinates for ${\beta }_s=f(B_{{\eta }_s})$, with bracket matrix $sI$. The Lévy characterization of multidimensional Brownian motion makes $\beta$ a standard planar Brownian motion started at $f(z)$, up to its lifetime. Therefore conformal invariance of planar Brownian motion takes the formTo identify the lifetime, exhaust $D$ by relatively compact open sets $D_n$ with nested closures. The images $f(D_n)$ exhaust $D^{\prime }$ because $f$ is a homeomorphism onto $D^{\prime }$. Each stopped transformed path exits $f(D_n)$ at precisely the clock value of its exit from $D_n$. Increasing these exit times gives the exit lifetime of Brownian motion from $D^{\prime }$, including a possibly infinite lifetime. This identifies $A_{\zeta -}$ with that lifetime and needs no global extension of $f$ to the boundary.

Take the convention that the coordinates of planar Brownian motion are independent standard real Brownian motions, so its infinitesimal generator is $\frac{1}{2}\Delta$. Define the forward conformal Brownian clockSince a conformal bijection has nonzero derivative, $A$ is a strictly increasing continuous map from $[0,T)$ onto $[0,\tilde{T})$. The time used inside the original path is its inverse:Thus the interval direction for $\tau$ is the inverse-clock direction.

Write $\varphi =u+iv$. The Cauchy-Riemann equations and the Itô formula make $u(B_s),v(B_s)$ continuous local martingales, withIndeed both components are harmonic functions, and their gradients are orthogonal with the same squared norm. After the time change of a continuous process by $\tau$, their quadratic variations are $t$ and their quadratic covariation is zero. The Lévy characterization of multidimensional Brownian motion therefore identifies $\tilde{B}$ as planar Brownian motion started at $z^{\prime }$, up to its lifetime.

It remains to identify that lifetime as the exit time, rather than merely produce a local Brownian path. Boundedness of $D$ gives $T<\infty$ almost surely. For every compact subset $C\subset D^{\prime }$, its inverse image under $\varphi$ is compactly contained in $D$. As $s\uparrow T$, continuity gives $B_s\to B_T\notin D$, so $\varphi (B_s)$ eventually leaves $C$. Consequently the transformed path leaves every compact subset of $D^{\prime }$ at its lifetime. If $\tilde{T}<\infty$, its Brownian extension has a finite limit, and that limit is outside $D^{\prime }$; if $\tilde{T}=\infty$, the path never exits. In both cases its maximal lifetime is precisely the exit time from $D^{\prime }$.

The killed paths, together with their lifetimes, have the same law:

The renormalizable action for chiral superfields ${\Phi }_i$ and vector superfields $V$ has the superspace integration formwhere $K$ is a real Kähler potential, ${\mathcal{W}}_{\alpha }$ is the chiral field-strength superfield, and $W$ is a gauge-invariant holomorphic function. For the renormalizable theory choose canonical positive kinetic terms, a polynomial $W$ of degree at most three, and field-independent gauge kinetic coefficients $f_{ab}$. We prove the non-renormalization theorem for the local Wilsonian effective action, with a nonzero infrared cutoff and a regulator preserving supersymmetry. The elementary chiral superfields are retained; this is not a claim that eliminating whole massive fields leaves the same polynomial.

Write $W={\sum }_A{\lambda }_A{\mathcal{O}}_A(\Phi )$, treating masses and interaction coefficients alike as background chiral spurions. A local F-term is chiral even when these backgrounds vary, so its coefficient depends holomorphically on $\Phi ,{\lambda }_A$ and the holomorphic gauge couplings. Dependence on ${\bar{\lambda }}_A$ would not be chiral. Such dependence can enter D-terms or terms with supercovariant derivatives instead. With the infrared cutoff kept fixed, the perturbative local coefficients are regular power series around vanishing masses and interactions. This removes the inverse-mass and infrared singular terms that would spoil the following spurion selection rule for perturbative non-renormalization.

Assign every elementary ${\Phi }_i$ R-charge zero, every ${\lambda }_A$ R-charge two, and $\theta$ R-charge one. The superpotential must have R-charge two because $d^2\theta$ has R-charge minus two. Holomorphy excludes the conjugate spurions, so regularity and this formal R-symmetry require exactly one factor of a superpotential spurion in any perturbative candidate. Thus $W_{\mathrm{eff}}$ is linear in the ${\lambda }_A$, with the ordinary flavor spurion charges fixing the permitted field monomials. An anomalous formal R-symmetry is implemented by also transforming the holomorphic gauge coupling; its anomaly must not simply be ignored.

Gauge interactions cannot provide a perturbative coefficient modifying this conclusion. With $\tau =\vartheta /(2\pi )+4\pi i/g^2$, perturbative diagrams are independent of the topological angle $\vartheta$. A holomorphic coefficient invariant under continuous real shifts of $\tau$ is constant, by the Cauchy-Riemann equations. This is perturbative gauge-coupling independence of the Wilsonian superpotential. Contributions involving $e^{2\pi i\tau }$ are nonperturbative and are outside this argument. For an Abelian factor the same angle-independent holomorphy argument applies. Hence a putative perturbative coefficient linear in ${\lambda }_A$ is independent of the gauge coupling and can be evaluated as that coupling tends to zero.

In this free-gauge limit, an interacting chiral loop needs additional superpotential vertices: the free chiral propagator connects $\Phi$ to ${\Phi }^{†}$, so a single holomorphic vertex alone cannot produce a loop correcting its local F-term. Extra vertices introduce extra spurions or their conjugates, both excluded by the preceding charge and holomorphy argument. The surviving coefficient is its tree value. Therefore

For an explicit charge check, take $W=m{\Phi }^2/2+g{\Phi }^3/3$ in the Wess–Zumino model. Give $(\Phi ,m,g)$ ordinary charges $(1,-2,-3)$ and R-charges $(1,0,-1)$. A holomorphic monomial $m^a{g}^b{\Phi }^n$ of the required charges satisfies $n-2a-3b=0$ and $n-b=2$, giving $a=1-b$, $n=b+2$. Perturbative regularity requires $a,b\ge 0$, hence only $(a,b,n)=(1,0,2)$ and $(0,1,3)$ survive. The free limit fixes their coefficients to $1/2$ and $1/3$; there is no room for a coupling-dependent loop correction. This illustrates the holomorphy argument for superpotential non-renormalization explicitly.

The Kähler potential can acquire wave-function renormalization. Restoring canonical field normalization changes physical masses and Yukawa couplings, so their running does not contradict the boxed statement about holomorphic coordinates. Gauge kinetic F-terms have their own renormalization and are not the superpotential. Infrared effects in the one-particle-irreducible quantum effective action, tree-level elimination of retained fields, and genuine nonperturbative effects must likewise be distinguished from this perturbative Wilsonian effective action theorem.

For complex differentiability at a point, the derivative must have the same value along real and imaginary increments. Along real increments it equals $u_x+i{v}_x$, while along imaginary increments it equals $(u_y+i{v}_y)/i=v_y-i{u}_y$. Equating real and imaginary parts gives the Cauchy-Riemann equationsFor the given real part,Integrating the Cauchy-Riemann equations gives a harmonic conjugateThis open set is open and connected; $F$ is holomorphic there with derivative $-z^{-2}$. The origin must be excluded because the real part is undefined there. On this connected open set, any other harmonic conjugate differs by a real constant: the Cauchy-Riemann equations make both partial derivatives of the difference zero.

There is an exact rational-map description of sigma-model lumps and a restricted variational rational-map description of Skyrmions. The first follows from a Bogomolny equation; the second separates angular and radial dependence in a field that generally does not saturate a Bogomolny bound.

For the exact example, take the two-dimensional O3 nonlinear sigma model with a unit field $\mathbf{n}$, energy $E=\frac{1}{2}\int |\nabla \mathbf{n}{|}^2{d}^{2}x$, and a fixed limit at infinity. Regular fields then have a one-point compactification to maps $S^2\to S^2$. Choose the orientation so that the stereographic fieldhas positive charge when it is holomorphic. Equivalently, this is the CP1 nonlinear sigma model since the target sphere is the complex projective line. Its energy and topological charge areSubtracting $4\pi N$ gives $8\int |u_{\bar{z}}{|}^2/(1+|u{|}^2{)}^2$, so for $N>0$,The Cauchy-Riemann equations therefore give the minimal-energy fields. A holomorphic map from the compactified domain Riemann sphere to the target Riemann sphere is a rational map $u=p(z)/q(z)$, with common polynomial factors cancelled. Its degree of a rational map of the Riemann sphere is $N=\max (\mathrm{deg}p,\mathrm{deg}q)$. Poles of $u$ are coordinate singularities, not singularities of $\mathbf{n}$. For instance, $u=(z-a)/\lambda$ with $\lambda \ne 0$ is an exact unit lump with energy $4\pi$, arbitrary centre $a$, and scale $|\lambda |$. Its density is $4|\lambda {|}^2/(|z-a{|}^2+|\lambda {|}^2{)}^2$, whose plane integral is $4\pi$. For negative charge use antiholomorphic maps. Scale invariance allows arbitrarily small lumps and does not by itself prevent a singular concentration limit in the time-dependent theory.

The local angular geometry of any degree-$N$ rational map is measured by its angular Jacobian of a rational map,For $R=p/q$, the Wronskian of a rational map isAt ordinary finite points its zeros mark ramification points of a holomorphic map, where the angular density vanishes. At a pole use $q/p$ as the target coordinate, and at infinity use $1/z$ as the domain coordinate. A pole of order $m$ is ramified by $m-1$. The Riemann-Hurwitz formula counts total ramification $2N-2$, including infinity, even if the affine Wronskian has smaller degree. For $R=z^N$, $W=N{z}^{N-1}$ accounts for $N-1$ zeros at zero; the reciprocal coordinate shows the other $N-1$ at infinity.

For the approximate example, the rational map approximation for Skyrmions uses spherical radius $r$, angular stereographic projection coordinate $z$, andThe Pauli matrices make this an SU(2) group-valued field. The boundary conditions give a continuous centre and the vacuum value at infinity; the profile must also make the energy finite. Angular degree and radial winding factorize to giveAt radii with nonzero $-f^{\prime }{\sin }^{2}f$, the angular baryon number density is proportional to $J_R$. Thus the Wronskian of a rational map locates zero-density directions and reveals the holes or face directions in shell-like Skyrmion configurations.

In dimensionless Skyrme model units, insert this ansatz into the quadratic and quartic derivative energies. The angular terms integrate to $4\pi N$ or to the angular integral in the rational map approximation,First minimize $\mathcal{I}$ over degree-$N$ maps, then solve the radial variational equationwith the stated boundary conditions. The Cauchy-Schwarz inequality gives $\mathcal{I}\ge N^2$ because $J_R$ has sphere average $N$. For $N=1$ an isometric map such as $R=z$ has $J_R=1$, $\mathcal{I}=1$, and reduces to the Skyrmion hedgehog ansatz; its profile still requires solving the radial equation. For general $N$, angular and radial separation restrict the allowed fields. The minimum within this class is an upper bound on the full sector minimum, not a claim that every exact Skyrmion has this separated form. The original construction is Houghton, Manton and Sutcliffe's arxiv.org/abs/hep-th/9705151.

A rotational symmetry of a rational map must satisfy $R(gz)=hR(z)$, where $g,h$ are the domain and target rotations written as Möbius transformations from SU(2) matrices. Since a target rotation is an isometry, this identity implies $J_R(gz)=J_R(z)$. For $R=z^N$, $R(e^{i\alpha }z)=e^{iN\alpha }R(z)$, giving axial spatial symmetry accompanied by an internal rotation. This explains the axial symmetry of the degree-two toroidal ansatz.

A useful degree-four example isIts finite ramification directions are $0,\pm 1,\pm i$, with the sixth at infinity. They are the six coordinate-axis directions under stereographic projection, so they are the face normals of a cube. The full map has octahedral rotational equivariance: for example $R(iz)=1/R(z)$, and the cyclic-axis generator $g(z)=(iz+1)/(1-iz)$ obeys $R(gz)=e^{2\pi i/3}R(z)$. These generate the cube's rotational group and give a cubic angular density. The associated profile then produces the familiar cubic charge-four approximation. Symmetry of the Wronskian is a useful necessary diagnostic but is not sufficient: replacing this map by $cR$, $c>0$, leaves the same ramification directions, while the identity under $z\mapsto iz$ becomes $cR(iz)=c^2/(cR(z))$, whose target transformation is a sphere rotation only when $c=1$. Equivariance of the entire rational map, rather than symmetry of its critical-point set alone, determines the physical rotational symmetry.

On the cut plane choose $0<\theta <2\pi$. For $z=x+iy$,Their derivatives areThe Cauchy-Riemann equations hold, so this branch is holomorphic. Its derivative is

SetThen $g$ is entire and never takes a real value. The continuous function $\mathrm{Im}g$ is nowhere zero; because $\mathbb{C}$ is connected, it has one sign everywhere. Thus either $\mathrm{Im}g$ or $-\mathrm{Im}g$ is a positive harmonic function. Part (i) makes it constant. The Cauchy-Riemann equations then force the real part of $g$ to be constant as well. Hence $g$ and therefore $f$ are constant.

Suppose first that $u$ is harmonic. Sincethe Cauchy-Riemann equations show thatis holomorphic on $D$. An open disc is a simply connected domain, so $g$ has a holomorphic primitive $f$. If $f=p+iq$, thenThus $p-u$ has zero gradient and is constant on the connected disc. Subtracting that real constant from $f$ gives

Conversely, if $u=\mathrm{Re}f$ for a holomorphic $f=u+iv$, differentiating the Cauchy-Riemann equations givesHence $u$ is harmonic. This proves the harmonic function as the real part of a holomorphic function criterion on $D$.

Taking the complex derivative along the real direction givesTaking it along the imaginary direction and equating the two expressions gives the Cauchy-Riemann equations