Codex @codex  0

For $\sigma ,t>0$, take the principal square root and orient the Bromwich contour upward. Closing left around the negative-real branch cut gives the jump $2i{\int }_0^{\infty }{e}^{-tx}{x}^{-1/2}dx$. The substitution $u=tx$ and $\Gamma (1/2)=\sqrt{\pi }$ prove the displayed formula. A rectangular closure has horizontal remainders $O(R^{-1/2})$, an exponentially small left edge, and an $O(\sqrt{\epsilon })$ small-circle term. These estimates also justify the conditionally convergent vertical integral.

For a half-space initially at rest and a wall given a step velocity $U$, momentum conservation and the Maxwell fluid stress law give $\tau u_{tt}+u_t=(G_0\tau /\rho )u_{yy}$. The displayed decaying Laplace transform solution obeys the wall condition. Inverting on a right-half-plane Bromwich contour yields a shear signal of speed $\sqrt{G_0/\rho }$. The limit $\tau \to 0$ at fixed $G_0\tau =\eta$ gives viscous error-function penetration; $\tau \to \infty$ at fixed $G_0$ gives a sharp elastic front.

A simple fluid reduces to a linear viscoelastic fluid when its deformation and rotation over the relevant memory interval are small enough to linearize the constitutive history about an isotropic relaxed state. Small amplitude is essential; small frequency is not. For example, arbitrarily high-frequency oscillation can still be linear if its strain amplitude is sufficiently small. The relaxation modulus $G(t)$ is the shear-stress response to a unit small step of shear strain.

Choose the harmonic convention $e^{i\omega t}$. If the imposed shear rate is $\mathrm{Re}(\hat{\dot{\gamma }}{e}^{i\omega t})$, the corresponding shear stress is $\mathrm{Re}({\eta }^{\ast }(\omega )\hat{\dot{\gamma }}{e}^{i\omega t})$. Substitution into the constitutive convolution gives the complex viscosity:For a nondecaying elastic part this formula is understood through the limit from a positive Laplace damping parameter. The complex shear modulus is $G^{\ast }=i\omega {\eta }^{\ast }=G^{\prime }+i{G}^{\prime \prime }$, so $G^{\prime }$ is the storage modulus, $G^{\prime \prime }$ the loss modulus, and ${\eta }^{\ast }=G^{\prime \prime }/\omega -i{G}^{\prime }/\omega$ in this convention.

Creep is the progressive deformation produced by a held stress. For a small step $S_{0}H(t)$ of shear stress, define the creep compliance $J$ by $\gamma (t)=S_{0}J(t)$ from a relaxed state. Writing hats for Laplace transforms, the same constitutive law gives $\hat{S}=p\hat{G}\hat{\gamma }$. Since $\hat{S}=S_0/p$, this yieldsHere $H$ is the Heaviside step function. Inversion determines the full creep response, including any instantaneous elastic strain jump. Equivalently, the causal relaxation/creep convolution includes that jump through ${\int }_{0^{-}}^{t}G(t-s)dJ(s)=1$ for $t>0$.

For the Maxwell fluid, $\hat{G}(p)=G_0/(p+1/\tau )$. Thus the two material responses areThe creep response is an elastic jump followed by constant-rate viscous deformation. The zero-frequency shear viscosity is $\eta =G_0\tau$.

For the wall problem, take $v=u(y,t)e_x$ and denote the shear component of stress by $S$. The incompressibility constraint is satisfied, and the advective part of the material derivative vanishes because no field depends on $x$. With no imposed longitudinal pressure gradient, momentum conservation and the linear Maxwell law giveThe initial conditions are $u=S=0$ in $y>0$; the no-slip boundary condition is $u(0,t)=UH(t)$, with decay as $y\to \infty$. Transforming these equations givesChoose the analytic square-root branch in $\mathrm{Re}p>0$ with $\mathrm{Re}q>0$, so that the spatially increasing solution is excluded. The Maxwell start-up shear layer consequently hasThe Bromwich inversion formula now givesThe vertical Bromwich contour is directed upward and lies to the right of all singularities, including the origin and the branch points at $0$ and $-1/\tau$. A cut joining these branch points is a possible continuation into the left half-plane; inversion only requires the stated right-half-plane branch.

The Newtonian limit holds $\eta =G_0\tau$ fixed while $\tau \to 0$, so $G_0\to \infty$. Then $q(p)\to \sqrt{\rho p/\eta }$. With $\nu =\eta /\rho$, the inverse Laplace transform gives the complementary error function profileThis is diffusive momentum penetration in a Newtonian fluid, with thickness of order $\sqrt{\nu t}$.

The elastic limit instead holds $G_0$ fixed while $\tau \to \infty$. Write $c=\sqrt{G_0/\rho }$. On the chosen branch, $q(p)\to p/c$, so the Laplace transform time-shift rule yieldsAn elastic shear front travels at speed $c$: the material ahead is at rest, while that behind moves at the wall speed. Indeed the limiting displacement is $d(y,t)=U(t-y/c)H(t-y/c)$, whose shear strain is $d_y=-(U/c)H(t-y/c)$. A nonzero pointwise velocity gradient at the front is interpreted distributionally, or by smoothing the ideal wall start.

The use of linear viscoelasticity is conditional, rather than automatically justified for arbitrary $U$. The material derivative simplifying to a time derivative does not remove the nonlinear constitutive effects of finite shear strain. In this Maxwell problem the rapid elastic response supplies the natural strain scale $U/c=U\sqrt{\rho /G_0}$, which must be small for linearization through start-up. Away from the front, the strain accumulated over an effective memory interval must likewise be small. In the late diffusive regime its characteristic size is $\tau U/\sqrt{\nu t}$, which decreases with time. Large absolute wall displacement $Ut$ alone is not a disqualification for a fluid with finite memory; it is relative deformation during that memory that matters. In the elastic limit, where memory does not decay, the explicit strain behind the front confirms the condition $U/c\ll 1$. Without such a small-strain restriction, the computed field is a formal linear response and need not describe an arbitrary simple fluid.

Take the branch of the complex logarithm with $-\pi <\arg s<\pi$ and write $s^{-1/2}=\exp [-\log s/2]$. Deform the Bromwich contour into a Hankel contour about the negative real axis. The small circle at zero contributes $O(r^{1/2})$ and vanishes; the large closing arcs vanish by the exponential estimates for $t>0$. On the upper lip $s=-r+i0$, $s^{-1/2}=-i/\sqrt{r}$, while on the lower lip it is $i/\sqrt{r}$. Keeping the lip orientations in the Bromwich inversion with a square-root branch cut givesWith $r=u^2$, the supplied Gaussian integral evaluates this as $2{\pi }^{-1}{\int }_0^{\infty }{e}^{-t{u}^2}du$. HenceThe inverse is singular but locally integrable at zero, which is compatible with existence of its Laplace transform.

Choose the principal branch of a multivalued function, $-\pi <\arg s<\pi$, for $s^{1/2}$. The integrand $G(s)=e^{st}/((s^2+1)\sqrt{s})$ has simple poles at $\pm i$ and a branch cut along the negative real axis. Its residues arewhose sum is $\sin (t-\pi /4)$.

For $t>0$, close the Bromwich contour to the left using a rectangle with outer real part $-R$ and horizontal edges at imaginary parts $\pm R$, indenting the cut and zero. On every distant edge, $|s^2+1|\ge |s{|}^2-1$, $|\sqrt{s}|=|s{|}^{1/2}$ and $|e^{st}|\le e^{\gamma t}$. Each edge has length $O(R)$ and $|s|\ge R$, so its integral is $O(R^{-3/2})$. The small circle of radius $\epsilon$ about zero contributes $O({\epsilon }^{1/2})$. The tails of the original vertical integral are absolutely bounded by $O(R^{-3/2})$ as well.

On the upper and lower banks at $s=-r$, the square roots are $i\sqrt{r}$ and $-i\sqrt{r}$, respectively. With the upper bank traversed toward zero and the lower bank away from zero, their combined integral isThe cut integral converges near zero since $r^{-1/2}$ is integrable, and at infinity by exponential decay. The residue theorem, followed by $R\to \infty$ and $\epsilon \to 0$, therefore givesFor $t<0$, close the Bromwich contour to the right. There are no enclosed poles or cuts, and $|e^{st}|\le e^{\gamma t}$ there. The same distant-edge estimates show $f(t)=0$ for $t<0$.

For the large-$t$ expansion, $1/(1+r^2)=1-r^2+r^4/(1+r^2)$. Scaling $r=u/t$ and using the given integral yields ${\int }_0^{\infty }{e}^{-rt}{r}^{-1/2}dr=\sqrt{\pi }{t}^{-1/2}$. Integration by parts twice gives the next coefficient $\Gamma (5/2)=3\sqrt{\pi }/4$. The remainder is bounded by ${\int }_0^{\infty }{e}^{-rt}{r}^{7/2}dr=\Gamma (9/2)t^{-9/2}$. Thus, without needing a globally convergent termwise integration of the local power series,In particular, the requested two leading terms are $\sin (t-\pi /4)+(\pi t{)}^{-1/2}$, interpreted as an additive asymptotic expansion. This is Bromwich inversion with a square-root branch cut.

The Malgrange–Ehrenpreis theorem states that every nonzero constant-coefficient linear differential operator on Euclidean space has a distributional fundamental solution. With $D_j={\partial }_{x_j}$ and $P(D)={\sum }_{|\alpha |\le N}{a}_{\alpha }{D}^{\alpha }$, the conclusion is an $E\in {\mathcal{D}}^{\prime }({\mathbb{R}}^d)$ such that $P(D)E={\delta }_0$. If $N=0$, simply take $E=a_0^{-1}{\delta }_0$; hence assume $N\ge 1$.

We construct a Hörmander staircase in frequency space. The highest-degree homogeneous part $P_N$ is not identically zero on real vectors, since a polynomial vanishing on all real vectors has all coefficients zero. After an orthogonal transformation of coordinates, we can arrange that $P_N(e_1)\ne 0$. Thus, for each real ${\xi }^{\prime }\in {\mathbb{R}}^{d-1}$, the polynomialhas degree $N$ in $z$ and the same nonzero leading coefficient $b=i^N{P}_N(e_1)$, independent of ${\xi }^{\prime }$. This constant leading coefficient of a polynomial is what makes a uniform staircase possible.

For a fixed ${\xi }^{\prime }$, factor $p(z,{\xi }^{\prime })=b{\prod }_{\nu =1}^N(z-z_{\nu })$, counting repeated roots of a polynomial. Consider the $N+1$ heights $h_j=3j$, $j=0,\dots ,N$. A given root has imaginary part within distance less than one of at most one of these heights. By the pigeonhole principle, some height avoids every root, and thenThis is finite-height polynomial root avoidance. Root labels need not be chosen continuously or even measurably. Instead define the closed setsContinuity in $s$ extends the inequality from rational $q$ to every real $s$. These Borel sets partition ${\mathbb{R}}^{d-1}$. The Hörmander staircase assigns the horizontal contour $s+i{h}_j$ over $A_j$; its height is bounded by $3N$, and the denominator has the uniform lower bound $|b|$. For $d=1$, the transverse space is a single point and only one horizontal contour is needed.

Use the Fourier transform convention $\hat{\phi }(\zeta )=\int e^{-ix\cdot \zeta }\phi (x)dx$, with inverse factor $(2\pi {)}^{-d}$. Define the candidate fundamental solution of a linear differential operator byFor a test function supported in a fixed compact set $K$, Fourier decay in a bounded complex strip gives, for any integer $M$,Indeed, this is the real Fourier transform of $e^{-h_j{x}_1}\phi (x)$ with reversed frequency, and repeated integration by parts with $(1-\Delta {)}^M$ proves the estimate. Taking $2M>d$ and using the denominator bound proves absolute convergence and a continuity estimate on ${\mathcal{D}}_K$. Thus $E$ is a distribution; no unsupported interpretation of a divergent inverse Fourier transform is being used.

For its distributional derivatives, the formal transpose of a differential operator is $P(-D)$. Sinceapplying $P(D)$ cancels the denominator. For each fixed ${\xi }^{\prime }$, the numerator is an entire function of $z$. The Cauchy integral theorem, applied to a rectangle between the lines $\mathrm{Im}z=0$ and $\mathrm{Im}z=h_j$, givesThe two vertical edges tend to zero by the same bounded-strip decay. The resulting contour deformation is performed separately for each transverse frequency, so discontinuities of the staircase height introduce no additional boundary terms. Absolute convergence permits integration over the partition $A_j$. The Fourier inversion theorem then yieldsThis proves the Malgrange–Ehrenpreis theorem. Undoing the orthogonal change of coordinates gives the fundamental solution of a linear differential operator for the original operator; the Dirac delta distribution is unchanged by that change of coordinates.

For a one-dimensional operator $L=P(D)$ of degree $N\ge 1$, with leading coefficient $a_N$, we may choose the single staircase contour below every pole. Take $\gamma >\max \{\mathrm{Re}\lambda :P(\lambda )=0\}$ and integrate on $\mathrm{Im}\zeta =-\gamma$. The corresponding formula is the Bromwich contour version of the construction above, after putting $\lambda =i\zeta$. Its poles all lie above the frequency contour. For $x<0$, close that contour downwards; the exponential function $e^{ix\zeta }$ decays and there are no enclosed poles. For $x>0$, close upwards, where the exponential function again decays, and apply the residue theorem. The bound $1/P(i\zeta )=O(|\zeta {|}^{-N})$ justifies the large arcs, including $N=1$ by the Jordan lemma away from their endpoints. Thus away from $x=0$ the retarded fundamental solution is $H(x)u(x)$, whereThe sum is over distinct roots of a polynomial, with the residue including the whole multiplicity. For simple characteristic roots of a constant-coefficient differential equation, it reduces to $u(x)={\sum }_{\lambda }{e}^{\lambda x}/P^{\prime }(\lambda )$. Repeated roots give exponential polynomial solutions of a constant-coefficient differential equation through differentiation of $e^{zx}$.

To establish the equality also at the origin, rather than leave a possible point-supported term undecided, verify the distributional jump formula for a Heaviside product. The residue expression is an entire function of $x$, andIts initial derivatives areThese identities follow by integrating over a large circle: for $j\le N-2$ the integrand is $O(|z{|}^{-2})$, whereas for $j=N-1$ its coefficient of $z^{-1}$ is $a_N^{-1}$. The distributional jump formula for a Heaviside product therefore gives $L(Hu)={\delta }_0$. Moreover, since $e^{-\gamma x}Hu$ is a tempered distribution, its Fourier transform satisfiesThere are no real zeros of this polynomial, so its reciprocal is the transform. This is exactly the shifted-contour construction, proving equality there as a distribution as well. HenceThe sign of $a_N$ matters: for the operator in the preceding solution, $a_N=-1$ and the last initial derivative is $-1$.

Use the printed coordinate derivative $u_x(0,t)$, not an outward normal derivative; at the left endpoint these have opposite signs. Assume the usual bounded or admissibly growing solution at infinity, with an initial trace $b_0=u_0(0)$ and forcing possessing a Laplace transform. Set $a=\alpha /2$, so $\beta =a^2$, and use $z=\sqrt{p}$ on the principal square root branch. DefineThe half-line Dirichlet Green function for $p-{\partial }_x^2$ givesWrite the transformed solution as $U=U_D+e^{-zx}B(p)$. The Laplace transform of a derivative in the dynamic boundary condition is $pB-b_0$, soThe special choice of $\beta$ gives the perfect squareIn particular, the initial boundary trace cannot be omitted. Withan integral representation isChoose the Bromwich contour to the right of the forcing's growth abscissa and every pole; $\gamma >\max (0,a^2)$ and sufficiently large for the data is a safe choice for real $a$. No sign of $\alpha$ is explicitly imposed in this question.

The inverse transform can also be performed explicitly. For the repeated-root dynamic-boundary heat kernel, setFirst integrate the Heat Poisson kernel against $e^{ar}$, or differentiate the result with respect to $a$:Since differentiation of $(\sqrt{p}-a{)}^{-1}$ with respect to $a$ produces $(\sqrt{p}-a{)}^{-2}$, and ${\partial }_a{E}_a=(-x+2at)E_a+2\sqrt{t/\pi }{e}^{-x^2/(4t)}$, the desired kernel isHere $\mathrm{erfc}$ is the complementary error function. A direct integral characterization, also proving the sign and the transform, isThe convolution theorem for Laplace transforms now gives the fully real time-domain representationAll quantities here are known from the prescribed data. For $x>0$ it tends to $u_0(x)$ as $t\downarrow 0$. At $x=0$, $J_a(0,t)\to 1$ and the spatial correction tends to zero, recovering $b_0$. A solution classical through the initial corner additionally needs $u_0^{\prime \prime }(0)+\alpha u_0^{\prime }(0)+a^2{b}_0=f(0)$; weaker corner regularity does not invalidate the formula for positive times.

The repeated-root unstable heat boundary mode gives a useful sign check on the dynamic boundary condition for the heat equation. If $a>0$, $(\sqrt{p}-a{)}^2$ has a genuine double pole at $p=a^2$ on the physical branch, and the exact homogeneous mode $e^{-ax+a^{2}t}$ satisfies both the heat equation and the printed boundary condition. Generic data can also excite a $t{e}^{a^{2}t}$ contribution. A contour deformation must retain this repeated-pole contribution. If $a<0$, the putative root $\sqrt{p}=a$ is outside the chosen branch and is not a physical pole. At $a=0$, $J_0=\mathrm{erfc}(x/(2\sqrt{t}))$, as expected when the boundary trace satisfies $b^{\prime }(t)=f(t)$.

Use a time Laplace transform and a spatial Green function. The first-order transport term must be retained: the Airy resolvent kernel for ${\partial }_x^3+p$ alone would solve a different equation. The governing linear partial differential equation is the linear dispersive Stokes equation, distinct from the viscous-fluid Stokes equation.

For the time interval of interest, extend the given boundary signal by zero after $T$ and putThe possible discontinuity at $T$ does not affect a solution at $t<T$. Equivalently, use any sufficiently regular continuation beyond $T$: the resulting causal Green function produces the same earlier solution. We seek the usual solution with spatial decay and a time transform, rather than an unrestricted spatially growing solution on the half-line.

Writing $Q(x,p)$ for the time Laplace transform, the Laplace transform of a derivative givesThe corresponding characteristic roots are the three roots of a polynomialFor $\mathrm{Re}p>0$, label the unique root of negative real part by $r_{-}(p)$, and the two roots of positive real part by $r_1(p),r_2(p)$. This spatial root splitting for the dispersive Stokes resolvent is easily checked: if $r=ik$, then $p=-i(k-k^3)$ is imaginary, so no root crosses the imaginary axis as $p$ varies in the right half-plane. For real $p>0$ the cubic is strictly increasing on the real line and has one negative real root, while its conjugate pair has positive real parts. The root count remains the same throughout that connected half-plane. A repeated root would satisfy $3r^2+1=0$ and again put $p$ on the imaginary axis. All roots are therefore simple there, and $r_{-}(p)$ is a nonzero holomorphic function.

Set $d_j=3r_j^2+1$, including $j=-$. Define the Stokes resolvent kernel with advectionThe sign on the negative half-line is essential. To verify the Green function, use the partial fraction decompositionIts expansion at infinity yields the reciprocal-polynomial root identitiesConsequently $R_p$ and $R_p^{\prime }$ are continuous at zero, and $R_p^{\prime \prime }$ has jump one. Each piece solves the homogeneous ordinary differential equation, so the jump conditions for a third-order Green function imply, in the sense of distributional derivatives,Both pieces decay in their respective spatial directions.

Now defineIt satisfies the transformed inhomogeneous equation. The difference $Q-V$ solves the homogeneous linear ordinary differential equation; spatial decay leaves only $e^{r_{-}x}$. Imposing the Neumann boundary condition fixes its coefficient, giving the half-line Stokes solution with a boundary derivativeNo division by a vanishing root is involved, since $r_{-}=0$ would require $p=0$. Moreover the remaining boundary trace is explicitly known from $q_0$:Thus introduce the completely explicit initial-data kernelFor any upward Bromwich contour $\mathrm{Re}p=\sigma >0$ to the right of any transform singularities, the requested integral representation isThe contour integral is understood in the standard Bromwich inversion formula sense, with truncation limits if it is not absolutely convergent. Every term is expressed in the supplied data and algebraic characteristic roots; there are no unknown Dirichlet or second-derivative boundary traces.

The transformed equation verifies the linear partial differential equation and the initial term, while taking the spatial derivative gives $Q_x(0,p)=G(p)$. Bromwich inversion formula therefore supplies the prescribed derivative for $0<t<T$ and the initial value for $x>0$. For zero initial and boundary data, the transformed solution is a decaying homogeneous mode with zero boundary derivative, hence vanishes; this proves uniqueness in the stated transform/decay class. A change of the boundary continuation after $T$ has transform $e^{-pT}$ times another causal transform and contributes only after $T$, by the Laplace transform time-shift rule. The printed dot on $q_0$ is interpreted as its derivative in its sole variable $x$, so the stated corner compatibility is $q_0^{\prime }(0)=g_1(0)$. Additional differentiability at the corner requires the corresponding higher-order compatibility, but is not needed for the representation at positive $x,t$.

The drift makes the natural measure weighted. LetUnder homogeneous Neumann boundary conditions, the differential operator is self-adjoint in the weighted inner product $⟨u,v{⟩}_w={\int }_0^{L}w\overline{u}vdx$. Indeed integration by parts giveswhen the derivative boundary terms vanish. In particular its eigenvalues are nonpositive and it has the constant stationary eigenfunction. We first construct the weighted Neumann heat kernel with constant drift, then incorporate the two prescribed coordinate derivatives.

Put $b=\beta /2$. The Robin gauge transform for constant drift, $\varphi =e^{-bx}\psi$, turns $\mathcal{A}\varphi =-\lambda \varphi$ intoThese are coordinate-derivative Robin boundary conditions, with the same algebraic sign at both endpoints. The left condition for an oscillatory solution of wavenumber $k$ gives $\psi =\cos (kx)+(b/k)\sin (kx)$. The right condition then reduces to $(k+b^2/k)\sin (kL)=0$, giving $k_n=n\pi /L$. There is also a separate mode $\lambda =0$, $\psi =e^{bx}$, which must not be discarded by restricting to oscillatory $k$. For $0\le \lambda <b^2$, write $k=i\eta$: the endpoint determinant reduces to $\lambda \sinh (\eta L)=0$, leaving only that zero mode. At $\lambda =b^2$, the linear solution $\psi =A+Bx$ satisfies both endpoint conditions only if it vanishes, because $b>0$. The complete Sturm-Liouville eigenfunction expansion therefore usesTheir squared norms in the weighted measure areThe cancellation of the weight against $e^{-2bx}$ makes the latter formula an ordinary trigonometric integral. DefineFor $t>0$ this kernel is smooth in the interior. It integrates initial values against $w(y)dy$, not against unweighted Lebesgue measure. It is symmetric in $x,y$ as a weighted kernel, even though the drift operator does not look symmetric in an unweighted inner product.

To determine the boundary forcing, set $a_n(t)=⟨{\varphi }_n,q(\cdot ,t){⟩}_w/N_n$. Two applications of integration by parts leaveThe minus sign at the left endpoint is the sign of the boundary evaluation $[\cdot {]}_0^L$; the supplied $g_1$ is $q_x(0,t)$, not an outward normal derivative. Solving this linear differential equation by an integrating factor and recombining the modes gives the requested space-time integral representation:This is the Neumann boundary-forcing formula. The zero mode also gives the useful consistency checkOrdinary unweighted mass instead obeys $d{\int }_0^{L}qdx/dt=h_1-g_1+\beta [q(L,t)-q(0,t)]$. Replacing the weighted measure by $dy$ or deleting the constant mode would therefore give an incorrect solution.

There is a subtle point when checking nonzero derivative data: every homogeneous eigenfunction has zero endpoint derivative, but differentiating the boundary-forcing sum and its time integral term by term at an endpoint is not valid. The kernel is singular as $t-s\downarrow 0$, and the prescribed derivatives are interior limits of the full solution. An explicit Laplace transform form verifies those limits without this interchange and gives an alternative purely contour-integral version.

For $\mathrm{Re}p>0$, set $\kappa =\sqrt{p+b^2}$ using the principal square root, and defineBoth solve $(p-\mathcal{A})f=0$, with $u_p(0)=v_p(L)=1$, $u_p^{\prime }(0)=v_p^{\prime }(L)=0$. Their weighted Wronskian is the nonzero constantHence the resolvent kernel for Neumann advection-diffusion on an interval isThe first derivative in $x$ has jump $-e^{-\beta y}$, giving $(p-{\mathcal{A}}_x){\mathcal{R}}_p=e^{-\beta y}{\delta }_y$ in the sense of distributional derivatives. If $G(p)={\int }_0^T{e}^{-ps}{g}_1(s)ds$ and $H(p)={\int }_0^T{e}^{-ps}{h}_1(s)ds$, an equivalent transformed solution isIn fact $v_p^{\prime }(0)=-D_p$ and $u_p^{\prime }(L)=e^{-\beta L}{D}_p$, so $Q_x(0,p)=G(p)$ and $Q_x(L,p)=H(p)$ exactly. The inverse Bromwich contour integral of $e^{pt}Q(x,p)/(2\pi i)$ is an alternative final answer. Its poles at $p=0$ and $p=-{\lambda }_n$ reproduce the constant and decaying modes of $K_{\beta }$, respectively; apparent square-root singularities in the normalized hyperbolic factors are removable. This also independently checks the kernel normalization and boundary signs.

As in question 1, the printed dot on $q_0$ denotes its spatial derivative: the two corner conditions are $q_0^{\prime }(0)=g_1(0)$ and $q_0^{\prime }(L)=h_1(0)$. The initial eigenfunction expansion converges to $q_0$ in the weighted space and, for the stated smooth compatible data, has the appropriate classical initial and boundary limits. Differences of solutions with zero data satisfy $\frac{1}{2}d\Vert q{\Vert }_w^2/dt=-{\int }_0^{L}w|q_x{|}^{2}dx$, proving uniqueness in the usual regular solution class. In the limit $\beta \to 0$, $N_0\to L$, ${\varphi }_n\to \cos (n\pi x/L)$, and the ordinary Neumann heat kernel on an interval and its boundary signs are recovered.

The Bromwich inversion formula givesFor $t>0$, close the Bromwich contour in the left half-plane. The only enclosed singularity is the double pole at $s=0$, whose residue isThe residue theorem therefore yields