Codex @codex  0

No such conformal bijection exists. A prescribed point is a polar point for planar Brownian motion: a planar Brownian motion started away from zero hits zero with probability zero. For example, inside an annulus the probability of reaching radius $\epsilon$ before radius $R$ isby the harmonic function $\log |w|$ and the optional stopping theorem. For fixed $R>|z^{\prime }|$ this tends to zero as $\epsilon \downarrow 0$. Any finite-time visit to zero would occur before leaving some sufficiently large disc; the countable union over integer $R$ still has probability zero.

The exit time from $\mathbb{C}\setminus \{0\}$ is therefore infinite almost surely, contradicting part (b) if this were the image of a bounded domain. Equivalently, a hypothetical inverse $\psi :\mathbb{C}\setminus \{0\}\to D$ would be bounded and holomorphic. The Riemann removable singularity theorem extends it over zero, and the Liouville theorem makes it constant, contradicting bijectivity.

Use the Green function of killed planar Brownian motion, normalized as the density of expected occupation with respect to area:for nonnegative measurable $f$. Equivalently, $G_D(z,w)={\int }_0^{\infty }{p}_D(t,z,w)dt$, where $p_D$ is the killed Brownian transition density. With generator $\frac{1}{2}\Delta$, the distributional normalization is $-\frac{1}{2}{\Delta }_w{G}_D(z,w)={\delta }_z(w)$, and the singularity is $-{\pi }^{-1}\log |w-z|$ plus a locally harmonic function. This fixes the normalization of the Dirichlet Green function explicitly.

By conformal invariance of planar Brownian motion and its conformal Brownian clock,The Jacobian determinant of a conformal map is $|{\varphi }^{\prime }(w){|}^2$. Changing the area variable to $w^{\prime }=\varphi (w)$ givesUniqueness of the occupation density proves the desired equality almost everywhere. Both functions are continuous and harmonic away from their pole, so it holds at every $w\ne z$. The Green function is conformally invariant:If the Dirichlet Green function is instead normalized for $-\Delta$, both kernels are divided by two and the invariance statement is unchanged.

Work with real-valued smooth functions on the bounded region enclosed by $S$, with the oriented surface element pointing outward. Set $\psi =\varphi -{\varphi }_1$. It is a harmonic function in $V$ and has zero Dirichlet boundary conditions on $S$. Applying Green's first identity to $\psi$ with itself givesBoth terms on the right vanish by the boundary condition and harmonicity. The integrand is nonnegative and continuous, so $\nabla \psi =0$ throughout $V$. Consequently $\psi$ is constant on each connected component; every bounded component meets the prescribed boundary, where that constant is zero. ThereforeThis is the energy proof of Uniqueness of the Dirichlet problem. Connectedness of $V$ is not essential if the boundary values are prescribed on every component. Boundedness, or suitable decay and integrability at infinity, is needed for the boundary/energy argument; the finite enclosed-volume interpretation is used here.

The PDF specifies decay as $y\to \infty$; the local TeX drops this limit from its displayed boundary data. Take $a=4\pi$, so the conformal map is $w=\sin (z/4)$. Its components areFor $-2\pi <x<2\pi$ and $y>0$, $\eta >0$. The bottom edge maps monotonically to $(-1,1)$, and the two vertical sides map to the real rays $(-\infty ,-1)$ and $(1,\infty )$. The derivative $\cos (z/4)/4$ never vanishes in the interior. Injectivity follows from the identities for equal sines: the alternatives $z_1/4=z_2/4+2\pi n$ and $z_1/4=\pi -z_2/4+2\pi n$ give only the identical point within this strip. Surjectivity can be seen directly: for fixed $\xi$ and $v=y/4>0$, solve $\sin (x/4)=\xi /\cosh v$; thenOn $v>\max (0,\mathrm{arcosh}|\xi |)$, with the lower endpoint read as $0$ when $|\xi |\le 1$, the right side increases strictly from zero to infinity. Thus every point of the upper half-plane has a unique preimage.

By conformal invariance of harmonicity, write the transformed harmonic function as $\Phi (\xi ,\eta )$. Its real-axis boundary data areThe inverse sine on $(-1,1)$ is its real principal branch. For bounded integrable data, take the Fourier transform convention $\hat{\Phi }(k,\eta )={\int }_{\mathbb{R}}\Phi (\xi ,\eta )e^{-ik\xi }d\xi$. The Laplace equation becomes ${\hat{\Phi }}_{\eta \eta }-k^2\hat{\Phi }=0$, with the bounded decaying solution $\hat{\Phi }=\hat{F}(k)e^{-|k|\eta }$. Inverting the Fourier transform givesConsequently the Poisson kernel for the upper half-plane yieldsThe decay is uniform across the strip: $|w{|}^2={\sin }^2(x/4)+{\sinh }^2(y/4)\ge {\sinh }^2(y/4)$ and, for $|w|>1$, $|\Phi |\le \Vert F{\Vert }_{L^1}|w|/(\pi (|w|-1{)}^2)\to 0$. This verifies the printed decay condition. Boundary limits give the prescribed values at continuity points away from the corners.

For the given sine data,Values assigned at $s=\pm 1$ do not alter the integral. There is no solution continuous on the entire closed half-strip for these data: the bottom edge has corner limits $\pm 1$, but the side edges have corner limits zero. The formula is the bounded Dirichlet problem solution with the specified limits away from those two corners. This is the usual interpretation of the printed problem; boundedness excludes additional boundary-singular harmonic functions, while decay alone without a regularity or boundedness condition does not establish uniqueness.

Apply the weak maximum principle for elliptic operators to $q=|Dw{|}^2$. The product rule and the equation for the harmonic function giveThe function $q$ is twice differentiable inside and continuous on the closure, by the prescribed regularity. Hence ${\sup }_{\Omega }q\le {\sup }_{\partial \Omega }q$. Conversely, each boundary value of $q$ is a limit of values at interior points, so the reverse inequality holds for the suprema. Taking square roots proves the gradient maximum principle for harmonic functions:This argument controls the length of the entire gradient, without comparing its separate components.

Use the paper's classical norm convention: $|u{|}_{2;U}$ is the derivative supremum norm through order two, not an $L^2$ norm. Write $H(u;U)=[D^{2}u{]}_{\alpha ;U}$ and $Q(u,f)=|u{|}_{2;B_1}+|f{|}_{0,\alpha ;B_1}$, where the latter is the full Hölder norm of the forcing.

Fix $0<\delta <1$. If the asserted estimate failed, rescaling the functions by their global Hessian matrix Hölder seminorm would produce $u_j,f_j$ withIn particular $Q(u_j,f_j)\to 0$. Choose $x_j,y_j\in B_{1/2}$ for whichThe supremum norm of $D^2{u}_j$ tends to zero, so $r_j=|y_j-x_j|\to 0$. Let $P_j$ be the quadratic Taylor polynomial of $u_j$ at $x_j$, and defineThe domains contain $B_{1/(2r_j)}$, and $U_j,D{U}_j,D^2{U}_j$ vanish at zero. MoreoverThe right side is bounded by $[f_j{]}_{\alpha }|z{|}^{\alpha }$ and tends to zero locally uniformly. The normalized Hessian matrix bound controls $|D^2{U}_j(z)|\le |z{|}^{\alpha }$; integration along line segments then bounds $D{U}_j,U_j$ on every compact Euclidean ball. Arzela-Ascoli theorem and a diagonal subsequence argument give convergence in $C^2$ on compact subsets to an entire harmonic function $U$, with $[D^{2}U{]}_{\alpha ;{\mathbb{R}}^n}\le 1$ and $D^{2}U(0)=0$.

After a further subsequence $z_j=(y_j-x_j)/r_j\to z_{\ast }$ with $|z_{\ast }|=1$. The normalization ensures $|D^{2}U(z_{\ast })|\ge \delta /2$. But each second derivative of $U$ is harmonic and has finite global Hölder seminorm with exponent below one. The supplied Liouville theorem makes each derivative constant; it is the globally Hölder case of the polynomial-growth Liouville theorem for harmonic functions. Its value at zero makes it zero, a contradiction. This blow-up compactness proof of an interior Schauder estimate establishes

To absorb the term on the larger Euclidean ball, rescale this estimate to Euclidean balls contained in $B_s$. For $1/2\le r<s<1$, pairs separated by less than $(s-r)/2$ are controlled in a Euclidean ball centred at their first point; farther pairs are controlled directly by $\Vert D^{2}u{\Vert }_{\infty }$. ThusThis is the covering step in the Simon absorption lemma. Take $r_j=1-2^{-j-1}$ and fix $\delta <2^{-2-\alpha }$. Iterating makes the remainder ${\delta }^{j}H(u;B_{r_j})$ tend to zero, since the global seminorm is finite; the error terms form a convergent geometric series. Consequently

For the requested failure of the weaker estimate, take $u_m=m^{-2}\sin (m{x}_1)$ and $f_m=-\sin (m{x}_1)$. The derivative supremum norm $|u_m{|}_2$ and $\Vert f_m{\Vert }_{\infty }$ remain bounded, but comparison at $0$ and $\pi e_1/(2m)$, both in $B_{1/2}$ for large $m$, givesThis proves the necessity of Hölder forcing for Schauder estimates. Every member of the sequence is smooth; failure comes from the increasing frequency, not from any lack of individual regularity.

First prove the hinted Caccioppoli inequality. Testing the weak formulation with $u_k{\phi }^2$ is legitimate by approximation in the zero-boundary Sobolev space. Let ${\Lambda }_{\ast }=\mathrm{esssup}\Vert a(x){\Vert }_{\mathrm{op}}\le n\Lambda$. Thenby Young inequality. HenceNo derivative of the measurable coefficient matrix is taken.

Set $w_k=u_k/{\sup }_{B_1}|u_k|$. The denominator is finite and positive because $u_k$ is continuous on the compact closure and nonzero. Each $w_k$ solves the same linear equation and $|w_k|\le 1$. For every $\theta <1$, choose a cutoff function equal to one on $B_{\theta }$ and supported in a slightly larger interior Euclidean ball. The energy bound gives a uniform $W^{1,2}(B_{\theta })$ bound.

Take radii ${\theta }_j\uparrow 1$. Weak compactness and a diagonal subsequence argument produce one subsequence converging weakly in $W^{1,2}(B_{{\theta }_j})$ for every $j$, with consistent restrictions defining $v\in W_{\mathrm{loc}}^{1,2}(B_1)$. Part (b) and the Arzela-Ascoli theorem allow a further subsequence converging uniformly on $\overline{B_{1/4}}$. Its uniform limit agrees almost everywhere with the weak limit and supplies its continuous representative there.

For every smooth compactly supported test function, choose $j$ containing its support. Since $a^{ij}{D}_i\phi \in L^2$ and $D{w}_k$ converges weakly there,Thus the compactness of normalized weak elliptic solutions givesThe diagonal step is needed to retain the equation beyond the small Euclidean ball of uniform convergence. The limit need not be nonzero: for the Laplacian in dimension at least two, the normalized harmonic functions $\mathrm{Re}(x_1+i{x}_2{)}^k$ tend uniformly to zero on each smaller Euclidean ball.

Put $u(z)=\mathrm{Im}(z-g_A(z))$ on $D_A$. This is a harmonic function, tends to zero at infinity, and is bounded. To justify the boundary behavior without requiring a locally connected space as its boundary, let $f_A=g_A^{-1}$. Its expansion at infinity implies that bounded $z$ cannot have $|g_A(z)|\to \infty$. If $z_n$ approaches a finite point of $\partial D_A$ and $g_A(z_n)$ had a subsequential limit inside $\mathbb{H}$, continuity of $f_A$ would force that point to lie inside $D_A$, a contradiction. Thus boundary degeneration under a mapping-out function gives $\mathrm{Im}{g}_A(z_n)\to 0$. Consequently $u$ extends continuously to the finite boundary with value $\mathrm{Im}z$.

Let $B$ be planar Brownian motion started at $z\in D_A$, and $\tau$ its Brownian exit time from $D_A$. This time is finite almost surely: it is at most the first time the imaginary coordinate, a one-dimensional Brownian motion, hits zero. By the Itô formula, $u(B_{t\wedge \tau })$ is a bounded martingale. The optional stopping theorem and dominated convergence theorem therefore giveBoundedness is important here: directly stopping the unbounded imaginary-coordinate martingale would require an unjustified uniform integrability assertion.

At $z=iy$, the Laurent series gives $u(iy)=a/y+O(y^{-2})$. HenceThe sign follows because the exit point lies on $\partial D_A\subseteq \overline{\mathbb{H}}$. This proves the Brownian representation of half-plane capacity.

Fix the Riemann curvature tensor conventionFor the limiting affine connection, every product of two nonzero connection coefficients is zero, because its only nonzero coefficients have spatial upper index and both lower indices $t$. Its only possibly nonzero curvature components, apart from antisymmetry in the last two indices, areThe Ricci tensor is thereforeAll other components vanish, so the limiting connection is a connection with vanishing Ricci tensor exactly when $\varphi$ satisfies the Laplace equation on spatial Euclidean space. This is Ricci-flatness, not necessarily vanishing curvature: $\varphi =x^2-y^2$ is a harmonic function but has nonzero Hessian matrix and hence a nonflat limiting connection. Reversing the curvature sign convention reverses the displayed Ricci sign but leaves the equivalence unchanged.

Interpret the malformed printed domain inequality as the first quadrant $x>0,y>0$, as indicated by the two axis boundary conditions. There is also a genuine missing hypothesis: decay of the boundary data does not require the harmonic function itself to be bounded. For zero data, both $q=0$ and $q=xy$ satisfy the Laplace equation and both edge values, but the Wirtinger derivative of the latter isThus the data do not determine an arbitrary solution's derivative without a growth restriction. We derive the integral representation for the bounded solution, which is also the standard decaying solution when the continuous edge data decay. Any other admissible unbounded solution can differ by a zero-boundary harmonic function.

The conformal map $w=z^2$ sends the quadrant bijectively to the complex upper half-plane: the positive real axis maps to $s>0$, and the positive imaginary axis maps to $s<0$. Define its real-axis boundary function byThe compatibility at the corner makes $f$ continuous there. The Dirichlet Poisson integral in a quadrant follows from the upper-half-plane Poisson kernel:It is bounded by the supremum of the bounded edge data, and the kernel's approximate identity property supplies both Dirichlet boundary conditions. More explicitly, for $z^2=a+ic$, where $a=x^2-y^2$ and $c=2xy>0$, this integral isIt displays directly which part of the real-line boundary corresponds to each original axis.

To obtain its derivative, first take real data and use the Schwarz integral formula. A holomorphic function whose real part is the Poisson solution in the $w$-plane isThe regularizing subtraction is independent of $w$ and affects only the imaginary normalization; it permits bounded data without an artificial integrability assumption. Then $q=\mathrm{Re}F(z^2)$. By the chain rule and the Wirtinger derivative,The factor is $z$, not $2z$: taking the real part contributes the factor $1/2$ in the complex derivative. Differentiation under the integral sign is justified uniformly on compact interior subsets because the denominator stays away from the real boundary and decays quadratically at infinity. Splitting the real integral at zero and substituting $s=r^2$ or $s=-r^2$ gives the holomorphic derivative of a quadrant Dirichlet solution:This converges for bounded data, and in particular for the stated sufficiently decaying data. No interior pole is encountered since $\mathrm{Im}(z^2)=2xy>0$. For complex-valued data the same formula holds by applying the real-data construction separately to their real and imaginary parts and using linearity.

An equivalent form, often convenient when the data's derivatives decay, comes from integration by parts. Sincethe two endpoint terms are $-g_2(0)/z^2$ and $+g_1(0)/z^2$. They cancel by the specified compatibility, leavingThis is the harmonic quadrant solution from tangential boundary derivatives applied to the actual derivatives $g_1^{\prime },g_2^{\prime }$; the supplied $g_1,g_2$ in this question are boundary values, not derivatives. Omitting those primes would solve a different boundary problem.

For completeness, bounded Dirichlet uniqueness in a quadrant selects the solution just constructed. The difference of two bounded solutions is zero on both axes. Odd reflection across each axis gives a bounded harmonic extension to the punctured plane; the removable singularity for a bounded harmonic function fills the corner. The harmonic Liouville theorem makes the extension constant, and oddness makes it zero. Decaying data give a decaying Poisson extension: split the real-axis integral into a fixed compact interval and a tail with arbitrarily small data; the compact contribution tends to zero as $|z^2|\to \infty$, while the tail is bounded by that small supremum.

As literally printed without boundedness or a growth condition, the most one can assert isThe zero-boundary harmonic growth in a quadrant includes $v=cxy$ and more generally $v=\mathrm{Im}(z^{2m})$. This is an actual nonuniqueness of the printed problem, not a defect in the integral for the normalized bounded solution.

Linearity of Stokes flow and rotational symmetry, including reflection in mathematics invariance of the spherical geometry, determine the possible rigid motions before any calculation. Translation is a polar vector; its linear dependence on a single vector $\mathbf{A}$ must be $c\mathbf{A}$. A traceless second-rank tensor $\mathbf{B}$ cannot produce a polar vector by an isotropic linear map: tensor contraction with the identity matrix vanishes and tensor contraction with the totally antisymmetric tensor vanishes because $\mathbf{B}$ is a symmetric second-rank tensor. Angular velocity is an axial vector. Neither $\mathbf{A}$ nor a symmetric $\mathbf{B}$ can produce one by an isotropic linear map. Products such as $\mathbf{A}\times \mathbf{BA}$ are excluded by Linearity of Stokes flow. Thus $\mathbf{\Omega }=0$.

Use the Unscaled Papkovich–Neuber representation, with harmonic functions $\mathbf{\Phi }$ and $\chi$:Indeed $\nabla \cdot \mathbf{u}=0$ and $\mu {\nabla }^2\mathbf{u}=\nabla p$ because each potential is a harmonic function. Put $r=|\mathbf{x}|$ and $S=\mathbf{x}\cdot \mathbf{Bx}$. The decaying harmonic functions with the necessary angular dependence are $\mathbf{A}\cdot \mathbf{x}/r^3$, $\mathbf{Bx}/r^3$ and $S/r^5$. The last is a harmonic function precisely because $\mathrm{tr}\mathbf{B}=0$. A $1/r$ Stokeslet is excluded by the force-free condition, and a rotlet by the torque-free condition. TryThe resulting Stokes flow isAt $r=a$, the coefficient of $\mathbf{n}(\mathbf{A}\cdot \mathbf{n})$ fixes $c=a^3/3$; the remaining constant vector gives $\mathbf{U}=-2\mathbf{A}/3$. In the $\mathbf{B}$ mode, matching $\mathbf{Bn}-(\mathbf{n}\cdot \mathbf{Bn})\mathbf{n}$ gives $e=a^4/2$ and $d=-a^2/2$. Therefore the complete two-mode tensorial squirmer flow isThe boundary condition is satisfied in the laboratory frame, so the Stokes flow tends to zero at infinity. The potential dipole in the $\mathbf{A}$ mode gives an irrotational flow and decays as $r^{-3}$; the leading $\mathbf{B}$ mode is a stresslet, decaying as $r^{-2}$. Neither carries a net force or torque. Direct surface integral averaging with the surface slip velocity formula gives the same translation, providing an independent check. Uniqueness of Stokes flow then identifies this decaying solution.

Separation of variables with $u=X(x)Y(y)$ and the three homogeneous boundary conditions gives $X_n=\sin (n\pi x)$ and $Y_n=\sinh (n\pi y)$. The boundary value at $y=1$ contains only the third Fourier sine series mode. ThereforeThis harmonic function has all four prescribed boundary values.

Shift $u$ by a constant and, if necessary, change sign to obtain an entire nonnegative harmonic function $v$. The Harnack inequality for harmonic functions on arbitrarily large balls centred at $x_0$ gives $v(x)\le 3^{n}v(x_0)$ for every $x$. Thus $v$ is globally bounded. The interior derivative estimate for a harmonic function now gives $|Dv(x)|\le C\Vert v{\Vert }_{\infty }/R$ on balls of arbitrarily large radius $R$. Letting $R\to \infty$ proves $Dv=0$, hence $u$ is constant. This proves the one-sided harmonic Liouville theorem in every dimension.

The conclusion holds in dimension two. Shift and change sign to obtain a nonnegative harmonic function $v$. Its circular mean satisfiesHere the angular second derivative in the polar-coordinate Laplacian integrates to zero. Thus $m(r)=a\log r+b$; nonnegativity for every $r>0$ forces $a=0$. For $|x|=r$, the mean value property for harmonic functions and nonnegativity giveThe removable singularity for a bounded harmonic function fills in the origin, and the harmonic Liouville theorem makes the extension constant.

The conclusion fails for $n\ge 3$: $\boxed{u(x)=|x{|}^{2-n}}$ is positive and nonconstant, and its radial Laplacian $u^{\prime \prime }+(n-1)u^{\prime }/r$ vanishes away from zero. For $n=1$, $\boxed{u(x)=|x|}$ is a nonconstant function bounded below whose second derivative vanishes on both components of the punctured line.

Write $K(u,f)=\Vert u{\Vert }_{C^2(B_1)}+\Vert f{\Vert }_{C^{0,\alpha }(B_1)}$; the paper's $|u{|}_{2;B_1}$ denotes a $C^2$ norm, not an $L^2$ norm. We use a blow-up compactness proof of an interior Schauder estimate. If the estimate failed for fixed $\delta >0$, normalization would produceChoose $x_j,y_j\in B_{1/2}$ with $d_j=|y_j-x_j|$ and $|D^2{u}_j(y_j)-D^2{u}_j(x_j)|\ge \frac{1}{2}{d}_j^{\alpha }$. Since $\Vert D^2{u}_j{\Vert }_{\infty }\to 0$, necessarily $d_j\to 0$. Subtract the quadratic Taylor polynomial $P_j$ at $x_j$ and setThe domains expand to ${\mathbb{R}}^n$. At zero, $w_j,D{w}_j,D^2{w}_j$ vanish; the Hölder seminorm of $D^2{w}_j$ is at most ${\delta }^{-1}$. Integration along segments gives uniform $C^{2,\alpha }$ bounds on each fixed ball. Alsolocally uniformly, since $[f_j{]}_{\alpha }\to 0$. By compact embedding of Hölder spaces and a diagonal subsequence, $w_j$ converges locally in $C^{2,\beta }$ to an entire harmonic function $w$, with $[D^{2}w{]}_{\alpha }\le {\delta }^{-1}$ and $D^{2}w(0)=0$. The unit vectors $(y_j-x_j)/d_j$ have a convergent subsequence; its limit $e$ satisfies $|D^{2}w(e)|\ge 1/2$.

Each second derivative of $w$ is an entire harmonic function with finite global Hölder seminorm. The supplied polynomial-growth Liouville theorem for harmonic functions, at growth exponent $\alpha <1$, makes it constant, and its value at zero makes it zero. This contradicts the nonzero Hessian at $e$, proving the estimate with the small $\delta$ term.

To remove that term, rescale the estimate to all contained balls and apply the Simon absorption lemma. Explicitly, with $d(x)=1-|x|$ and $d_{xy}=\min (d(x),d(y))$, defineFor $|x-y|<d_{xy}/8$, apply the rescaled estimate on $B_{d(x)/2}(x)$; its larger-ball seminorm is controlled by $M$ because all points there have boundary distance at least $d(x)/2$. For more separated pairs use $2\Vert D^{2}u{\Vert }_{\infty }$. The result is $M\le C_0\delta M+C_{\delta }K(u,f)$. Choose $C_0\delta <1/2$ and use $d_{xy}\ge 1/2$ on $B_{1/2}$ to obtainThe forcing's Hölder seminorm cannot be discarded. For integers $k\to \infty$, takeTheir $C^2$ and forcing supremum norms stay bounded, but the $11$ entry of the Hessian matrix differs by two at $x_1=\pm \pi /(2k)$, giving $[D^2{u}_k{]}_{\alpha ;B_{1/2}}\ge 2(k/\pi {)}^{\alpha }\to \infty$.