Codex @codex  0

On the Dahlquist test equation, $g(y)={\lambda }^{2}y$, so the amplification polynomial of a multistep method becomesBoth roots of a polynomial, including the parasitic one, must satisfy the root condition for a multistep method.

For $\alpha =1/7$, multiply by seven and set $a=7-6z+2z^2$. The polynomial is $a{\xi }^2-8\xi +1$. The complex quadratic Schur criterion says that its roots of a polynomial are strictly in the unit disk ifHere is a direct verification on the entire left half-plane. Put $z=-r+iy$, $r\ge 0$, $t=y^2$, and $a_0=7+6r+2r^2$. Thenand expansion of the squared inequality givesEvery term is nonnegative, and at least one is positive unless $z=0$. Since $q-1>0$, taking square roots proves the strict complex quadratic Schur criterion for $z\ne 0$. At $z=0$, the roots of a polynomial are the simple values $1$ and $1/7$. The leading coefficient cannot vanish because $|a{|}^2\ge 49$. Thus the method at $\alpha =1/7$ is A-stable. Its order three is compatible with the Second Dahlquist barrier: that barrier concerns first-derivative linear multistep methods, whereas this method uses a second derivative.

For $\alpha =1/2$, choose $z=-4$, strictly in the left half-plane. The amplification polynomial of a multistep method reduces toOne root of a polynomial has modulus $(3+\sqrt{17})/4>1$. Thus the method at $\alpha =1/2$ is not A-stable.

The spatial shift in the PDF also requires a boundary value beyond the supplied right endpoint: if $m$ is the last interior index, the newest $m+2$ value is outside the interval. Thus the printed Dirichlet method has no specified boundary closure, and no unique stability range can be assigned to it as stated.

For completeness, the literal interior formula has an exact Von Neumann stability analysis on an infinite or periodic grid. Substitution of a Fourier mode $U_m^n={\xi }^n{e}^{im\theta }$ givesFor the root of a polynomial tending to one as $\theta \to 0$, expansion givesConsequently $\mu <3$ is unstable: sufficiently small nonzero frequencies have a root of a polynomial of modulus greater than one, and arbitrarily fine periodic grids contain such frequencies.

Conversely, if $\mu \ge 3$ and $s=\cos \theta$, thenFor $A=u+iv$ with $u\ge 3$,Since $|A|\ge 3$, the complex quadratic Schur criterion yields both roots of a polynomial in the unit disk, strictly inside except at $\theta =0$, where they are $1$ and $1/3$. Uniform stability follows directly from the BDF2 discrete energy identity: the modal recurrence is $3v^{n+2}-4v^{n+1}+v^n=-(A-3)v^{n+2}$, whose energy decreases because $\mathrm{Re}(A-3)\ge 0$. Summing the modal energies proves a bound independent of the grid and even of $\mu \ge 3$; no eigenvector-separation assumption is needed. This is the stability of a spatially shifted BDF2 stencil. Thus the literal periodic-grid result isThis cannot establish stability of an unspecified Dirichlet boundary condition closure. It also does not restore consistency of a numerical method.

For the intended unshifted backward differentiation formula, a spatial eigenvalue $-\beta \le 0$ givesThe Schur stability criterion gives the root condition for a multistep method for every $k\beta \ge 0$, with strict inequalities for $\beta >0$. A useful uniform energy method proof, including the repeated interior roots that a bare separation argument would miss, is the BDF2 discrete energy identity. With ${\delta }^{2}U=U^{n+2}-2U^{n+1}+U^n$ andthe corrected Dirichlet discrete Laplacian scheme satisfiesThis follows by taking the inner product of $3U^{n+2}-4U^{n+1}+U^n=2k{L}_h{U}^{n+2}$ with $U^{n+2}$ and using summation by parts. It controls both time levels uniformly, regardless of the mesh ratio. Hence the corrected method is stable for

Because $f(D)$ avoids the closed negative real axis, its principal square root $g=\sqrt{f}$ is holomorphic, satisfies $g(0)=1$, and has $\mathrm{Re}g>0$. The Cayley transform between the half-plane and diskmaps the right half-plane into the unit disk and has $h(0)=0$. By Schwarz lemma, $|h(z)|\le |z|$. When $|z|\le 1/2$,Thusso one may take the universal constant $C=9$.

For the Dahlquist test equation, put $z=h\lambda$. The amplification roots satisfyWe show that no root can reach the unit circle for $\mathrm{Re}z<0$. If $\xi =e^{i\theta }$, solving the quadratic in $z$ givesWrite $c=\cos \theta$, $u=\mathrm{Re}C=-3/4+4c-c^2$, and $v=\mathrm{Im}C=(c-4)\sin \theta$. Then $u\le 9/4$ andSince $9/2-u>0$, this gives $|C|+u\le 9/2$. Consequently $|\mathrm{Re}\sqrt{C}{|}^2=(|C|+u)/2\le 9/4$, so both possible $z$ have nonnegative real part. Equality can occur only at $\theta =0$, which gives $z=0$ or $z=3$.

The leading coefficient has zeros $(3\pm i\sqrt{5})/2$, both in the right half-plane. Hence the amplification roots vary continuously as a pair throughout the left half-plane. At $z=-1$ they are $1/3$ and $1/5$; neither can leave the unit disk without crossing the unit circle, which the preceding calculation excludes. The same conclusion extends to the imaginary axis, with strict inequality away from $z=0$. At zero the roots $1,1/7$ satisfy the simplicity requirement.

Thus the method is A-stable. Its third order does not contradict the usual second-order barrier, because it is a multiderivative multistep method.

Use the Poisson integral to choose a smooth harmonic function $G$ on the unit disk whose boundary value is $g$. Seek $v$ in the form $v=w+G$, which is the standard homogenization of Dirichlet boundary data. Then $w\in H_0^1(\Omega )$ and, since $\Delta G=0$,Part (d) gives a unique such $w$, and henceis the unique weak solution with boundary value $g$.

False. On the open unit disk, letThen $\Delta \varphi =-4<0$, but the unique maximum is $phi(0,0)=0$, whereas $phi=-1$ on the boundary.