Codex @codex  0

Take the negative-exponential Half-range Fourier transform and setThe advection-diffusion equation has the local relation with flux $X=-q_x-(ik+\alpha )q$. Integration over the half-line gives the half-line drift global relationFor the upper decay domainwrite $k=u+iv$. It is the region above $v=(\alpha +\sqrt{{\alpha }^2+4u^2})/2$, in particular above $v=\alpha$. Its boundary is oriented from upper-left infinity through $i\alpha$ to upper-right infinity, with the domain on the left. Fourier inversion and deformation of the boundary terms giveUse the dispersion symmetry elimination of a boundary trace $\nu (k)=i\alpha -k$. It preserves $\omega$ and maps $D_{+}$ into the lower half-plane. Because $i\nu +\alpha =-ik$, the global relation at $\nu$ impliesThe last term contributes an holomorphic upper-domain integral multiplied by $e^{ikx}$, so it vanishes upon closing the contour for $x>0$. The solution representation with only known data is consequentlyFor the boundary value $\cos t$, direct integration givesThis quotient is an entire function of $\omega$ when its apparent singularities at $\omega =\pm i$ are filled by their limits. Those points are not genuine forcing poles of the finite-time transform.

To obtain an exponentially decaying spectral integrand, choose $0<\theta <\pi /4$ and the exponential-decay contour for half-line drift diffusionDeform $\partial D_{+}$ to $\Gamma$. No pole is crossed: the initial-data denominator in that boundary integral has its only pole at $k=i(\alpha -a)$, which lies below $i\alpha$ since $a>0$. The apparent singularities of the forcing transform are removable. In the swept outer sectors, $e^{-\omega t}{G}_0={\int }_0^t{e}^{-\omega (t-s)}\cos sds$ has the appropriate bounded growth for the deformation. The contour formula becomesEvaluate the second quotient as a removable expression at $\omega =\pm i$, rather than splitting it into artificial residue terms. On either ray,Since $\cos 2\theta >0$, the transient factors have Gaussian decay as $r\to \infty$. The nontransient forcing term is $O(r^{-1})e^{-rx\sin \theta }$ and thus also decays exponentially for every $x>0$. The real-axis integral has the Gaussian factor $e^{-k^{2}t}$. These estimates provide the requested improvement over integration along $\mathrm{Re}\omega =0$.

The first panel shows the cubic domain from Question 1. The second uses $\alpha =1$ and $\theta =\pi /8$; its marked initial-data pole corresponds to $a=0.6$ and lies below both boundary contours.

An independent real-kernel form also makes the initial and boundary traces explicit. Apply the Dirichlet gauge transform for constant drift, $u=e^{\alpha x/2}q$, and then multiply by $e^{{\alpha }^{2}t/4}$ to obtain the heat equation. The odd-reflected heat kernel for initial data and its Dirichlet boundary-forcing heat-kernel formula yieldThe first kernel tends to the initial delta kernel on $x>0$ as $t\downarrow 0$ and vanishes at $x=0$. For the second kernel, the substitution $v=x/(2\sqrt{\tau })$ gives the unit-mass approximate boundary delta as $x\downarrow 0$, so its trace is $\cos t$; it vanishes initially for fixed $x>0$. Differentiating the kernels for $x,t>0$ verifies the advection-diffusion equation. The integrals converge for every positive $a,\alpha$, even when the exponentially weighted initial datum grows, because the spatial Gaussian controls that growth. Thus this gives the same decaying solution without introducing an additional restriction on $a$.

For a general decaying initial datum, an unweighted Fourier sine transform does not directly diagonalize the drift operator. DefineTwo integrations by parts for $q_{xx}$ and one for $q_x$ giveThe cosine transform remains unknown, so this is not a closed sine-transform evolution. In contrast, the weighted sine transform for half-line drift diffusion of $u=e^{\alpha x/2}q$ is closed:When the weighted initial transform exists, Fourier sine inversion gives $q(x,t)=e^{-\alpha x/2}(2/\pi ){\int }_0^{\infty }\sin (kx)\tilde{S}(k,t)dk$. This method requires suitable decay of $e^{\alpha x/2}{q}_0$, not merely decay of $q_0$. For the exponential datum it is an ordinary integrable sine transform only when $a>\alpha /2$. At $a\le \alpha /2$ one would need a generalized or regularized transform instead; the contour and real-kernel formulas above already work without that restriction. Therefore the ordinary sine transform of $q$ is not a closed solution method; a weighted sine transform works under the stated extra weighted-decay condition.

Put $a=\alpha /2$ and apply the Dirichlet gauge transform for constant drift $w(x,t)=e^{ax}u(x,t)$. Taking derivatives directly removes the advection term and gives the damped heat equation $w_t=w_{xx}-a^{2}w$. Thus $w_0(y)=e^{ay}{u}_0(y)$, while the two Dirichlet boundary conditions become $w(0,t)=g_0(t)$ and $w(L,t)=e^{aL}h(t)$.

The Dirichlet heat kernel on an interval and its damped version areThe method of images gives an alternative, often better at short times:To determine the boundary signs, multiply the equation for $w$ by the backward heat kernel $K_a(x,y,t-s)$ and use integration by parts in $y$. Since the kernel vanishes at $y=0,L$, the surviving boundary expression is $K_{a,y}(x,0,t-s)g_0(s)-K_{a,y}(x,L,t-s)e^{aL}h(s)$. Consequently an integral representation containing only the given data isThis is a Dirichlet boundary-forcing heat-kernel formula. For $0<x<L$ the short-time Gaussian decay makes the forcing integral well defined. The endpoint values are interior limits of the complete formula: evaluating a termwise sine series at an endpoint before taking the time integral loses the nonzero boundary values. At the initial corners a continuous classical solution requires $u_0(0)=g_0(0)$ and $u_0(L)=h(0)$; otherwise the same formula describes the solution away from those corners.

Here is a second integral representation, useful when the integral transforms are explicit. Extend $g_0,h$ by zero after $T$; the values of the extension cannot affect a solution at $t<T$. Write their Laplace transforms as $G(p),H(p)$ and set $q=\sqrt{p+a^2}$ using the principal square root. The transformed Dirichlet Green function for $-{\partial }_x^2+q^2$ isIt vanishes at both endpoints and its first derivative in $x$ jumps by $-1$, which verifies the sign of its unit source. The resolvent kernel for Dirichlet advection-diffusion on an interval gives the transformed solutionThe Bromwich inversion formula therefore yieldsThe square-root notation creates no genuine branch singularity here: all three kernels are even in $q$. Their only spatial resolvent operator poles are $p=-a^2-q_n^2$. This transformed formula and the causal heat kernel formula represent the same solution in the usual smooth-data class.