Codex @codex  0

Cover the product by $U_0={\mathbb{C}}_z\times {\mathbb{C}}_w$ and $U_{\infty }={\mathbb{C}}_{\zeta }\times {\mathbb{C}}_w$, with $\zeta =1/z$ on their intersection ${\mathbb{C}}^{\ast }\times \mathbb{C}$. The permitted vanishing and the Dolbeault theorem make this an acyclic cover for both $\mathcal{O}$ and ${\Omega }^2$. The acyclic cover theorem lets its two-term Čech complex compute the cohomology. In particular, all groups with $q\ge 2$ vanish.

For $p=0$, a global holomorphic function is constant on each compact complex projective line fibre, by the maximum modulus principle. Its remaining dependence on $w$ is entire. Hence $H_{\bar{\partial }}^{0,0}=\mathcal{O}(\mathbb{C})$. For the first Čech group, a function on the intersection has a Laurent seriesEach coefficient is entire in $w$ by its Cauchy integral formula. The nonnegative powers extend to $U_0$, and the negative powers extend to $U_{\infty }$ in coordinate $\zeta$. These two series converge locally uniformly with the parameter $w$, by the usual Laurent estimates on compact parameter sets. Thus every intersection function is a Čech coboundary and $H_{\bar{\partial }}^{0,1}=0$.

For $p=2$, write a two-form on the intersection as $F(z,w)dz\wedge dw$. The other chart hasForms extending from $U_0$ have coefficient powers $j\ge 0$; those extending from $U_{\infty }$ have powers $j\le -2$. A globally defined two-form would need to have both types of expansion, so it is zero. In the first Čech quotient, precisely the $z^{-1}$ term remains, and its coefficient is an arbitrary entire function of $w$. ConsequentlyThe second nonzero group is represented in Čech cohomology by $a(w)z^{-1}dz\wedge dw$. This explicit residue description is the Dolbeault cohomology of the projective line times the affine line; it also identifies that group naturally with the holomorphic one-forms on the affine factor.

Give $\mathcal{O}(U)$ the compact-open topology, that is, uniform convergence on compact subsets. Put $R(z)=(z1-x{)}^{-1}$. Choose a finite oriented contour $\Gamma$ in $U\setminus \sigma (x)$ with winding number one on $\sigma (x)$ and zero outside $U$; boundaries of a finite union of sufficiently small rectangles around the compact spectrum provide such a contour. Define the holomorphic functional calculus byThe integral is a Bochner integral along the piecewise smooth contour. It is independent of the admissible contour by the Cauchy integral theorem, since the resolvent is holomorphic off the spectrum. In particular, restricting $f$ to a smaller open spectral neighborhood leaves its value unchanged.

Linearity is immediate, andproves continuity for the compact-open topology. For the constant and coordinate functions, move the corresponding resolvent integrals to a large circle. The norm-convergent expansion $R(z)={\sum }_{n\ge 0}{x}^n{z}^{-n-1}$ there gives ${\Theta }_x(1)=1$ and ${\Theta }_x(u)=x$.

To check multiplication, take two nested admissible contours, with $z$ on the outer one and $w$ on the inner one. The resolvent identity givesIn the double integral for ${\Theta }_x(f){\Theta }_x(g)$, the term with $R(w)$ integrates in $z$ to $f(w)R(w)g(w)$ by the Cauchy integral formula. The term with $R(z)$ integrates in $w$ to zero, because $z$ lies outside the inner region. Thus ${\Theta }_x(fg)={\Theta }_x(f){\Theta }_x(g)$. Nested regions can be chosen with closures inside $U$, so the argument also handles disconnected $U$ and contours with several boundary components.

For uniqueness, use the following form of the Runge theorem: rational functions whose poles lie outside an open set $U$ are dense in $\mathcal{O}(U)$ for uniform convergence on compact subsets; polynomials are included, with a pole at infinity allowed. This follows by a Runge exhaustion of $U$; no connectedness of $U$ is required. Any unital algebra homomorphism sending $u$ to $x$ must send $(u-a{)}^{-1}$ to $(x-a1{)}^{-1}$ for $a\notin U$. Consequently it agrees with the constructed map on every such rational function. Continuity and density give uniqueness. This is continuity and uniqueness of holomorphic functional calculus.

For the holomorphic spectral mapping theorem, first suppose $\mu \notin f(\sigma (x))$. The reciprocal $g=1/(f-\mu )$ is holomorphic on some smaller open neighborhood $V$ of $\sigma (x)$, even if it is not holomorphic on all of $U$. Restriction consistency and multiplicativity on $V$ show that ${\Theta }_x(g)$ is an inverse of ${\Theta }_x(f)-\mu 1$. Thus $\sigma ({\Theta }_x(f))\subseteq f(\sigma (x))$.

Conversely, if $\lambda \in \sigma (x)$, thenis holomorphic on $U$, with the singularity at $\lambda$ removed. HenceIn a commutative algebra, an invertible product has invertible factors. The displayed product cannot be invertible because $x-\lambda 1$ is not. Therefore

For the operator conclusion, work over complex scalars and let $\sigma (T)=K_1\cup K_2$ be a partition into disjoint nonempty compact sets. To apply the preceding commutative-algebra result precisely, take the closed unital subalgebra of $\mathcal{B}(X)$ generated by $T$ and all its resolvents $(zI-T{)}^{-1}$, $z\notin {\sigma }_{\mathcal{B}(X)}(T)$. The generators commute, so this is a resolvent-generated commutative algebra. Its spectrum of $T$ is exactly the operator spectrum: every resolvent outside the latter was included, and an inverse inside the subalgebra would also be an inverse in $\mathcal{B}(X)$.

Choose disjoint open neighborhoods $U_1,U_2$ of $K_1,K_2$, and let $f$ equal one on $U_1$ and zero on $U_2$. The corresponding Riesz projection $P=f(T)$ satisfiesThe last spectrum is computed in the chosen commutative algebra and already ensures $P\ne 0,I$. Its range $Y=PX=\ker (I-P)$ is closed, nonzero and proper. The commutation identity makes it invariant under $T$. This proves that a disconnected spectrum yields a nontrivial invariant subspace. Using all resolvents avoids inadvertently replacing the operator spectrum by the possibly larger spectrum in a polynomial-generated subalgebra.

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.