Codex @codex  0

For a continuously differentiable function on a bounded planar domain, the Cauchy-Pompeiu formula supplements the Cauchy integral formula with an area integral of its Wirtinger derivative. Apply the Generalized Stokes theorem to $f(\zeta )d\zeta /(\zeta -z)$ on a punctured domain; the small-circle integral supplies $2\pi if(z)$. If the boundary term vanishes at infinity, it gives the Cauchy-Green operator representation $f(z)={\pi }^{-1}\int f_{\bar{\zeta }}(\zeta )/(z-\zeta )dA$.

For $L_k=k{\partial }_z+k^{-1}{\partial }_{\bar{z}}$, $k\ne 0$, $|k|\ne 1$, this kernel satisfies $L_k{G}_k={\delta }_0$. A real-linear change of complex coordinate reduces its derivation to the Cauchy-Green operator; the determinant changes sign at the unit circle. For $|k|=1$ the operator becomes a real directional transport equation, whose characteristic singularity requires limiting prescriptions. The kernel has $G_k\sim k/(\pi z)$ at zero and $G_k\sim 1/(\pi k\bar{z})$ at infinity.

For a $\bar{\partial }$-closed positive-antiholomorphic-degree differential form of type (p, q) on a polydisc, write $\phi =d{\bar{z}}_j\wedge \alpha +\beta$ with no $d{\bar{z}}_j$ in $\alpha ,\beta$. Apply the Cauchy-Green operator in coordinate $j$ to the coefficients of $\alpha$. Subtracting its Dolbeault operator derivative removes every $d{\bar{z}}_j$ term. Closedness then makes the remaining coefficients holomorphic in $z_j$. Eliminating successive coordinates preserves holomorphicity in earlier coordinates and produces a local primitive after finitely many steps.

A prescribed inhomogeneous Wirtinger derivative equation. The distributional identity ${\partial }_{\bar{z}}(1/(\pi z))={\delta }_0$ gives its whole-plane right inverse through the Cauchy-Green operator. Boundary or decay conditions select a solution from the freedom to add a holomorphic function.

The distributional identity ${\partial }_{\bar{z}}(1/(\pi z))=\delta$ gives the Cauchy-Green operator solutionwhere $\tilde{f}$ is $f$ in the changed real coordinates. The singularity $1/(z-z^{\prime })$ is locally integrable. For Schwartz functions, splitting the integral into a region near the origin and a rapidly decaying far region proves $\mu =O(|z{|}^{-1})$. If two solutions obey this decay, their difference has zero Wirtinger derivative and is an entire holomorphic function tending to zero; the Liouville theorem proves uniqueness.

The change-of-variables Jacobian has absolute value $a_r/|b_r|$. Therefore an equivalent form of the complexified transport Cauchy kernel isIn the original complex coordinate $w=x_1+i{x}_2$, it isFor $|\lambda |<1$ the denominator can be rewritten to give the kernel $\lambda /[\pi ((w-w^{\prime })-{\lambda }^2(\bar{w}-{\bar{w}}^{\prime }))]$. For $|\lambda |>1$ it is ${\lambda }^{-1}/[\pi ((\bar{w}-{\bar{w}}^{\prime })-{\lambda }^{-2}(w-w^{\prime }))]$. Consequently the spectral solution is holomorphic separately inside and outside the unit circle, with $\mu =O(\lambda )$ at zero and $\mu =O({\lambda }^{-1})$ at infinity. These normalizations will determine its jump reconstruction.

The complex structure on a complex manifold splits its complexified cotangent bundle into the $+i$ and $-i$ eigenspaces, locally spanned by $d{z}^j$ and $d{\bar{z}}^j$. A differential form of type (p, q) is a smooth section of ${\bigwedge }^p(T^{1,0}X{)}^{\ast }\otimes {\bigwedge }^q(T^{0,1}X{)}^{\ast }$, so in holomorphic coordinates it has the expressionHere the increasing multi-indices avoid duplicating alternating factors. The exterior derivative has just two type components: the conjugate Dolbeault operator $\partial$ and the Dolbeault operator $\bar{\partial }$. On such a local expression they areHolomorphic changes of coordinates preserve these types, so the definitions are intrinsic. Comparing type components of $d^2=0$ gives ${\partial }^2={\bar{\partial }}^2=0$ and $\partial \bar{\partial }+\bar{\partial }\partial =0$.

A real (p, p)-form satisfies $\bar{\eta }=\eta$, where complex conjugation acts on both coefficients and differential factors. Conjugation exchanges the two Dolbeault operators, soThus $\bar{\partial }\eta =0$ forces $\partial \eta =0$ as well. Conversely, if $d\eta =0$, its distinct $(p+1,p)$ and $(p,p+1)$ components both vanish. ThereforeThe assertion remains valid in top degree, when the indicated type components are zero automatically.

For a holomorphic function $f$, $\bar{\partial }f=0$ and $\partial \bar{f}=0$. Writing its real part as $u=(f+\bar{f})/2$ givesHence the real part of a holomorphic function is a pluriharmonic function.

For the local exactness assertion, work on a smaller polydisc whose closure lies in the original one. The allowed one-variable integral is the Cauchy-Green operator $T_j$ in coordinate $z_j$. Applied coefficientwise, it satisfies ${\partial }_{{\bar{z}}_j}{T}_{j}a=a$ on a smaller disc and commutes with differentiation in all other coordinates; the smooth parameter dependence follows by applying the integral to a smooth compactly supported extension in the integration variable. This extension can be made with a cutoff equal to one on the smaller disc.

Begin with a Dolbeault operator closed form $\phi$ and decompose it uniquely as $\phi =d{\bar{z}}^1\wedge \alpha +\beta$, where neither $\alpha$ nor $\beta$ contains $d{\bar{z}}^1$. Set ${\psi }_1=T_1\alpha$. The $d{\bar{z}}^1$ component of $\bar{\partial }{\psi }_1$ is exactly $d{\bar{z}}^1\wedge \alpha$, sohas no $d{\bar{z}}^1$ factor. It is still $\bar{\partial }$-closed. The $d{\bar{z}}^1$ component of $\bar{\partial }{\phi }_1=0$ now shows that every coefficient of ${\phi }_1$ is holomorphic in $z_1$.

Apply the same construction in $z_2$ to remove its antiholomorphic differential factor. The operator $T_2$ preserves holomorphicity in $z_1$, since it commutes with ${\partial }_{{\bar{z}}_1}$. Consequently the second subtraction introduces no previously removed factor. Continue through all $n$ coordinates, shrinking the polydisc when necessary. The final remainder has positive antiholomorphic degree but contains none of the $d{\bar{z}}^j$, and hence is zero. This coordinate elimination for local Dolbeault primitives constructsIf $q>n$, the original form is already zero, so one can take $\psi =0$.

Finally let $\phi$ be a smooth $(0,1)$-form on the complex projective line. Choose $0<r<R$ and the two coordinate neighborhoods $U=\{|z|<R\}$ and $V=\{|z|>r\}\cup \{\infty \}$, the latter expressed in $w=1/z$. They cover the sphere. The one-variable construction, integrating over slightly larger closed discs in each coordinate chart, gives smooth functions $a$ on $U$ and $b$ on $V$ with $\bar{\partial }a=\phi {|}_U$ and $\bar{\partial }b=\phi {|}_V$.

Their difference $h=a-b$ is a holomorphic function on the annulus $r<|z|<R$. Its Laurent series splits asThe first series extends holomorphically throughout $U$, while the second extends throughout $V$, including infinity, where it has value zero. Thus $a-h_{+}$ and $b+h_{-}$ agree on the overlap and glue to a global smooth function $F$. Both corrections are holomorphic, soThis Laurent gluing of Dolbeault primitives on the projective line uses no Hodge theorem.

The Dolbeault theorem identifieswhere ${\Omega }_X^p$ is the sheaf of holomorphic differential forms of degree $p$.

The local analytic ingredient is the Dolbeault-Poincaré lemma: a $\bar{\partial }$-closed smooth $(p,q)$-form with $q>0$ is locally $\bar{\partial }$-exact. Here is a local proof. On a polydisc, the one-variable Cauchy-Green operator in coordinate $z_j$ iswith a smooth cutoff supported in the coordinate disc and equal to one on a smaller disc. The fundamental-solution identity ${\partial }_{\bar{z}}(1/(\pi z))={\delta }_0$ gives ${\partial }_{{\bar{z}}_j}{T}_{j}g=g$ on that smaller disc. The operator is smooth in the parameters and commutes with derivatives in the other coordinates.

For a $(0,q)$-form, write $\alpha =d{\bar{z}}_m\wedge \beta +\gamma$, with neither $\beta$ nor $\gamma$ containing $d{\bar{z}}_m$. Subtract $\bar{\partial }(T_m\beta )$. The remainder contains no $d{\bar{z}}_m$, remains closed, and its coefficients are holomorphic in $z_m$. Repeat with $z_{m-1}$ and then the other coordinates, shrinking discs as needed. Each new integral preserves the holomorphic dependence already achieved. At the end the closed remainder has positive antiholomorphic degree but contains no antiholomorphic differential, so it is zero. Factoring out each holomorphic basis form $d{z}_I$ gives the same assertion for $(p,q)$-forms, with the fixed degree sign included in the primitive. At degree zero, the kernel of $\bar{\partial }$ consists precisely of holomorphic coefficients.

Thus the following is an exact Dolbeault resolution of holomorphic differential forms of sheaves:Each sheaf of smooth forms is a fine sheaf: multiplication by a smooth partition of unity supplies endomorphisms supported in its open cover. Fine sheaves on a paracompact manifold have zero positive sheaf cohomology; the Čech contraction sums a cochain against the partition of unity, giving $\delta h+h\delta =I$ in positive degrees. The general acyclic resolution theorem therefore computes ${\check{H}}^q(X,{\Omega }_X^p)$ as the cohomology of the global-section complex above. That complex is exactly the Dolbeault resolution of holomorphic differential forms, proving the claimed isomorphism. The sheaf-cohomology/Čech comparison and the acyclic-resolution principle are the stated general Čech properties used here.

Assume for this spectral construction that the source and known attenuation are sufficiently smooth and decaying, for instance compactly supported, and that $\mu \ge 0$ for the physical interpretation. The following steps identify both the forward attenuated Radon transform and the route to its inversion.

First write the complex transport operator asFor $k=e^{i\theta }$ this is the real directional derivative ${\mathbf{d}}_{\theta }\cdot \nabla$, with ${\mathbf{d}}_{\theta }=(\cos \theta ,\sin \theta )$. Put ${\mathbf{n}}_{\theta }=(-\sin \theta ,\cos \theta )$ and $x=p{\mathbf{n}}_{\theta }+s{\mathbf{d}}_{\theta }$. The spectral equation on the unit circle becomesIts minus sign fixes the appropriate endpoint condition: use $F(p,+\infty )=0$. The integrating factor givesThus the measured quantity at the opposite end of the line isThe exponent is the attenuation accumulated between the source point and the detector at the negative end. The common convention with detector at the positive end is the same transform after reversing the direction, ${\mathcal{R}}_{\mu }^{+}f(p,\theta )={\mathcal{R}}_{\mu }^{-}f(-p,\theta +\pi )$. Using an incoming zero condition at the negative end while retaining the printed minus sign would instead give a growing integrating factor, not physical attenuation.

Next, for $|k|\ne 1$, the operator $L_k$ is a complex elliptic first-order operator. Its decaying whole-plane Green function isThis is obtained by a real-linear change of variables in the Cauchy-Green operator; its change of orientation explains the sign. Write $G_{k}a$ for convolution with this kernel. Solve $L_{k}h=\mu$, and set $F=e^h\Psi$. This removes the attenuation:The normalized spectral solution is analytic separately inside and outside the unit circle. As $k$ approaches that circle, the Green function's characteristic singularity produces two limiting values. Their relation is computed from the weighted line integrals above together with transverse Hilbert transforms; the known attenuation determines the integrating factor weights. The two spectral limits are not individually just the incoming and outgoing real characteristic solutions: the singular-kernel prescription matters.

Finally formulate the resulting additive Riemann-Hilbert problem on the unit circle. Its jump is determined by the measured attenuated Radon transform and known $\mu$. With the unit circle oriented counterclockwise and jump $J=F_{\mathrm{inside}}-F_{\mathrm{outside}}$, a Cauchy integral formula reconstructs the normalized spectral solution:The normalization at zero supplies the compatibility condition $\int J/\zeta d\zeta =0$. Recover $f$ from $L_{k}F-\mu F$, or from its small-$k$ coefficient: if $F=k{F}_1+O(k^2)$, then $f={\partial }_{\bar{z}}{F}_1$. Equivalently the large-$k$ coefficient gives $f={\partial }_z{F}_{-1}$ when $F=k^{-1}{F}_{-1}+O(k^{-2})$. This spectral reconstruction of an attenuated Radon transform is the analogue of recovering $q$ from a coefficient in (ii). Known attenuation and full directed line data are inputs; one does not determine an arbitrary unknown attenuation and source simultaneously from this argument.

Work first with $q$ in the Schwartz space, so that all Fourier manipulations and spectral contour integrals are justified; weaker classes follow by the usual density or distribution arguments. DefineThe phase is purely imaginary. Since ${\partial }_{\bar{z}}E=kE$, setting $F=E\Phi$ reduces the spectral equation to ${\partial }_{\bar{z}}\Phi =E^{-1}q$. The whole-plane Cauchy-Pompeiu formula therefore constructs the solution decaying spatially at infinity:The freedom to add $E$ times an entire function is removed by this decay condition. For every fixed $k$, the integral is a spatial Cauchy-Green operator applied to a modulated source.

Now differentiate in the conjugate spectral parameter. The two exponential derivatives produce $\zeta -z$, canceling the Cauchy denominator, soThis is the spectral dbar equation: its right-hand side is the forward transform of $q$ multiplied by a known plane wave. Apply the whole-plane Cauchy-Pompeiu formula again, now in $k$:The spatial spectral equation also gives $F(z,k)=-q(z)/k+o(k^{-1})$ as $|k|\to \infty$. One way to justify this is to integrate by parts in the first Cauchy integral: $F=-q/k+T_k(q_{\bar{z}})/k$, where the modulated Cauchy integral $T_k(q_{\bar{z}})$ tends to zero by the Riemann-Lebesgue lemma. Comparing the $1/k$ coefficient of the spectral contour integral therefore givesThis derives the transform pair from two uses of the Cauchy-Pompeiu formula, not from an assumed inversion formula.

To identify the usual normalization, write $z=x+iy$ and $k=k_1+i{k}_2$. Then $\bar{k}z-k\bar{z}=2i(k_{1}y-k_{2}x)$. Set ${\xi }_1=2k_2$, ${\xi }_2=-2k_1$, so $d{\xi }_{1}d{\xi }_2=4dA(k)$. The result is exactly the two-dimensional Fourier transform pairThe factor four in the real-frequency change of variables is essential.

An almost complex structure on a smooth manifold $M$ is a smooth bundle endomorphism $J:TM\to TM$ satisfying $J^2=-1$. On the complexified tangent bundle, $J$ has the eigenbundle decompositionwith eigenvalues $i$ and $-i$. A differential form of type (p, q) is a section of ${\bigwedge }^p(T^{1,0}M{)}^{\ast }\otimes {\bigwedge }^q(T^{0,1}M{)}^{\ast }$. The operators $\partial$ and $\bar{\partial }$ are the type-$(1,0)$ and type-$(0,1)$ components of the exterior derivative.

We prove the three stated conditions are equivalent. If $X,Y$ have type $(1,0)$ and $\alpha$ has type $(0,1)$, the formula for the exterior derivative givesThus closure of $T^{1,0}M$ under the Lie bracket is equivalent to the vanishing of the $(2,0)$ component of $d\alpha$ for every $(0,1)$-form. Complex conjugation of differential-form type gives the corresponding vanishing of the $(0,2)$ component on $(1,0)$-forms. Since every complex one-form is a sum of these two types, this is preciselyThis proves (i)$⟺$(ii).

Under (ii), the $(2,0)$ component of $d^{2}f=0$ is ${\partial }^{2}f$, proving (iii). Conversely, for $X,Y$ of type $(1,0)$,If this vanishes for every smooth complex-valued $f$, then $[X,Y{]}^{0,1}=0$, so (iii) implies (i). These conditions define an integrable almost complex structure.

For a complex manifold, a holomorphic chart $z^j=x^j+i{y}^j$ defines $J_M({\partial }_{x^j})={\partial }_{y^j}$ and $J_M({\partial }_{y^j})=-{\partial }_{x^j}$. The derivative of a holomorphic coordinate change is complex linear, hence commutes with multiplication by $i$; the definitions therefore glue and are independent of coordinates. Locally $T^{1,0}M$ is spanned by the commuting fields $\partial /\partial z^j$, so it is closed under brackets and $J_M$ is integrable. This is the almost complex structure induced by a complex atlas.

We next prove the local Dolbeault-Poincaré lemma. Write a $\bar{\partial }$-closed $(0,q)$-form on a slightly larger polydisc aswhere neither $\alpha$ nor $\beta$ contains $d{\bar{z}}_n$. Apply the supplied one-variable Cauchy-Green operator coefficientwise to $\beta$, obtaining $\gamma$ with $\partial \gamma /\partial {\bar{z}}_n=\beta$. Then $\phi -\bar{\partial }\gamma$ contains no $d{\bar{z}}_n$, and $\bar{\partial }\phi =0$ says that its coefficients are holomorphic in $z_n$ and $\bar{\partial }$-closed in the first $n-1$ variables. Induction on $n$, with the one-variable formula as the base case, makes this remainder $\bar{\partial }$-exact. Hence every $\bar{\partial }$-closed $(0,q)$-form with $q>0$ is $\bar{\partial }$-exact on each bounded polydisc.

Finally, translation by $i$ leaves $d\bar{z}$ unchanged, so this form descends to $\mathbb{C}/(z\sim z+i)$. It is in fact exact on this noncompact complex cylinder, because the invariant function $z+\bar{z}=2\mathrm{Re}z$ descends and satisfies