Codex @codex  0

A pointed cone has no nonzero line through the origin: equivalently $K\cap (-K)=\{0\}$. If $A\in K\cap (-K)$, its quadratic form vanishes on the nonnegative orthant. Testing the coordinate vectors gives $A_{ii}=0$. Testing $e_i+e_j$ then givesSince $A$ is a symmetric matrix, every entry is zero. Thus $\boxed{K\cap (-K)=\{0\}}$.

The identity matrix gives an interior point. For a symmetric perturbation $E$ with operator norm $\Vert E{\Vert }_2<1$, the Cauchy-Schwarz inequality givesThis open norm ball around $I$ lies even in the positive semidefinite cone, hence in $K$. Consequently $\boxed{I\in \mathrm{int}K}$ and the interior is nonempty.

More generally, the interior of the copositive cone consists exactly of strictly copositive matrices. Positivity on the compact nonnegative unit sphere has a positive minimum and persists under small perturbations; a zero there is destroyed by an arbitrarily small negative multiple of $I$.

A Runge-Kutta method advances $y^{\prime }=f(t,y)$ through stagesThe Butcher tableau records $A,b,c$, normally with $c=Ae$. Linear absolute stability tests the amplification of a linear decay mode; nonlinear B-stability compares distances between two solutions of a dissipative vector field. Both describe propagation of perturbations, but they impose different conditions.

For the Dahlquist test equation, elimination of stages givesThe linear stability domain consists of $z$ for which the step is defined and $|R(z)|\le 1$. Poles or singular stage systems must be excluded, even if an output formula has a formal cancellation. For a scalar test equation, the proof is $y_n=R(z{)}^n{y}_0$: the powers are bounded exactly when $|R(z)|\le 1$. For $y^{\prime }=Ly$, the update is $R(hL)$. If $L$ is a normal matrix, unitary diagonalization of a normal matrix makes the operator norm equal to the largest scalar amplification modulus. For a diagonalizable matrix, powers are bounded by the condition number of the eigenvector matrix times the maximal scalar power. These constants must remain uniform for mesh-dependent systems. A defective unit-modulus eigenvalue can instead produce a growing Jordan block; the scalar spectral test alone does not control a general matrix.

An A-stable method accepts the entire closed left half-plane. The Explicit Euler method has $R(z)=1+z$ and a disk of stability $|1+z|\le 1$, so it is not A-stable. No nonconstant polynomial stability function can be A-stable, since it is unbounded on the negative real axis; this excludes all consistent explicit Runge-Kutta methods. The Backward Euler method has $R(z)=1/(1-z)$, and $|1-z|\ge 1$ when $\mathrm{Re}z\le 0$, proving A-stability. It is also L-stable, because $R(z)\to 0$ for large left-half-plane $z$.

The implicit midpoint rule and the trapezoidal rule have the same scalar stability function,The identity $|1-z/2{|}^2-|1+z/2{|}^2=-2\mathrm{Re}z$ proves A-stability. On the imaginary axis their amplification has unit modulus, and along the negative real axis it tends to $-1$. Thus neither is L-stable; very stiff decay can persist as alternating numerical values. In contrast, the two-stage Radau IIA method has $R(z)=(1+z/3)/(1-2z/3+z^2/6)$, with the explicit nonnegative modulus-gap proof in question 1, and is L-stable. This illustrates why L-stability matters beyond A-stability for a stiff differential equation.

For nonlinear problems, assume a real or complex Euclidean inner product and the dissipativity hypothesisfor all relevant states at each common time. Exact solutions satisfyA B-stable Runge-Kutta method reproduces this nonexpansion of distances whenever its stages exist. Put $d=y_n-{\tilde{y}}_n$, $D_i=Y_i-{\tilde{Y}}_i$, and $G_i=f(t_n+c_{i}h,Y_i)-f(t_n+c_{i}h,{\tilde{Y}}_i)$. Then $D_i=d+h{\sum }_j{a}_{ij}{G}_j$. Expansion of the output squared norm, followed by substituting $d=D_i-h{\sum }_j{a}_{ij}{G}_j$ in its linear terms, proves the Runge-Kutta contractivity identityIf $b_i\ge 0$ and $M=(m_{ij})$ is a positive semidefinite matrix, the first sum is nonpositive by dissipativity, and the second is nonnegative: expand each coordinate of the stage vectors to express it as a sum of nonnegative quadratic forms. These are exactly the conditions for algebraic stability of a Runge-Kutta method. Hence algebraic stability implies B-stability. Applying B-stability to the linear dissipative problem $y^{\prime }=\lambda y$, or its two-dimensional real form, also proves A-stability whenever stages are well defined.

The Backward Euler method has $b=A=1$, hence $M=1$; the implicit midpoint rule has $b=1$, $A=1/2$, hence $M=0$. Both are algebraically stable and B-stable. For the two-stage Radau IIA method,a positive semidefinite matrix, while both weights are positive. It therefore combines third-order accuracy, B-stability, and L-stability. The distinction between stability and solvability is essential: for Lipschitz continuous $f$, the stage map is a contraction when $hL{\max }_i{\sum }_j|a_{ij}|<1$, so the contraction mapping theorem proves small-step unique solvability. The preceding algebraic stability proof is an estimate for existing stages; it is not a theorem asserting stage existence for arbitrary step sizes and domains.

Linear A-stability is insufficient for nonlinear B-stability. The trapezoidal rule fails B-stability, even though its scalar stability function is identical to that of the B-stable implicit midpoint rule. Its Runge-Kutta method coefficients areFailure of this sufficient algebraic stability test alone would not prove failure of B-stability. An actual counterexample does: take $f(y)=-y^3$ and $h=2$. Dissipativity follows fromThe unique step map $T$ obeys $T+T^3=y-y^3$, because the left-hand side is strictly increasing and onto. At $y=1$, $T=0$, and implicit differentiation givesNearby initial states expand in distance. This proves a true nonlinear failure rather than merely failure of a coefficient criterion.

Finally, stability of a numerical method on finite intervals connects these contractivity properties to accuracy. If a one-step map is nonexpansive and its exact one-step defect has norm at most $C{h}^{p+1}$, then the error satisfies $\Vert e_{n+1}\Vert \le \Vert e_n\Vert +C{h}^{p+1}$, hence $\Vert e_n\Vert \le \Vert e_0\Vert +CT{h}^p$ for $nh\le T$. A Lipschitz step bound $1+Kh$ gives the same order using the discrete Gronwall inequality. For a stiff differential equation, the value of B-stability is that the propagation estimate need not grow with a large negative dissipative rate. The accuracy constant still needs appropriate smoothness and uniform derivative bounds; stability alone does not establish a mesh-uniform error order.

For a fully discrete linear partial differential equation evolution, write $U^{n+1}=C_{h,k}{U}^n$ in a specified discrete norm. Finite-time stability of a numerical method meanswith $C_T$ independent of the allowed meshes. For a multistep method, augment the state with its time-history values and include a stable starter. Bounds may grow as $e^{\omega T}$ when the continuous problem has growth; demanding decay for all time would be a stronger assertion. The treatment of initial data, forcing, Dirichlet boundary conditions, and the norm is part of the hypothesis, not a detail supplied by an interior calculation.

For constant coefficients on an infinite or periodic uniform grid, von Neumann stability analysis substitutes the Fourier mode $U_j^n=G(\theta {)}^n{e}^{ij\theta }$. The discrete Fourier transform and the Parseval identity turn a uniform multiplier estimate into a discrete L2 norm estimate. In a one-step scalar scheme, $|G(\theta )|\le 1$ proves contractivity, while $|G(\theta )|\le 1+\omega k$ gives finite-time stability. In a multilevel scheme, every root of a polynomial in its amplification polynomial of a multilevel finite difference scheme matters, as does uniform control of the associated companion matrix.

For the Forward Euler diffusion scheme with $\mu =k/h^2$,Thus $|G|\le 1$ for all frequencies exactly whenSufficiency follows since $G\in [-1,1]$; necessity follows from the highest-frequency mode $\theta =\pi$ on even periodic grids. This gives the usual parabolic mesh restriction $k\le h^2/2$. For the Backward Euler diffusion scheme,so every $\mu \ge 0$ is stable. The Crank-Nicolson method hasagain of modulus at most one for all $\mu \ge 0$, but stiff modes approach $-1$ rather than zero. These are PDE manifestations of the A-stability and L-stability distinctions for time integration.

For advection $u_t+a{u}_x=0$, assume $a>0$ and set $\nu =ak/h$. The upwind finite difference scheme is $U_j^{n+1}=(1-\nu )U_j^n+\nu U_{j-1}^n$, withIt is contractive when $0\le \nu \le 1$. This also has a direct maximum-norm proof: each newest value is a convex combination of two old values. The resulting Courant–Friedrichs–Lewy condition expresses that the numerical domain of dependence covers the physical one. For negative $a$, the upwind direction must be reversed. By contrast, Forward Euler method time stepping with the centered first finite difference has $G=1-i\nu \sin \theta$ and $|G|>1$ for nonzero $\nu \sin \theta$. Under fixed nonzero $\nu$ refinement it is unstable, since a fixed nontrivial mode grows geometrically over $T/k$ steps. This is not a claim of instability under every imaginable mesh coupling: $k=O(h^2)$ instead bounds its spurious finite-time growth, since $\log |G|\le a^2{k}^2/(2h^2)$.

The leapfrog advection scheme illustrates a multilevel subtlety. Its amplification polynomial of a multilevel finite difference scheme isFor $|\nu |<1$, both roots of a polynomial have unit modulus and separation at least $2\sqrt{1-{\nu }^2}$. A uniformly conditioned eigenbasis of the companion matrix then proves power boundedness of a two-level Fourier scheme for arbitrary history data. At $|\nu |=1$ and a grid admitting $\theta =\pi /2$, the roots coincide on the unit circle, and a Jordan block produces $n{\xi }^n$ growth. Thus the endpoint fails the ordinary arbitrary-history root condition for a multistep method; checking only that both moduli equal one misses the instability. Restricting the starter or filtering the parasitic mode is an additional hypothesis.

The energy method handles variable coefficients and finite boundaries for which Fourier stability analysis may be unavailable. For the Backward Euler diffusion scheme with homogeneous Dirichlet boundary conditions, define $\Vert U{\Vert }_h^2=h{\sum }_j|U_j{|}^2$. The discrete summation by parts identity isTake the inner product of $U^{n+1}-U^n=k{L}_h{U}^{n+1}$ with $2U^{n+1}$. The elementary identity $2\mathrm{Re}⟨x-y,x⟩=\Vert x{\Vert }^2-\Vert y{\Vert }^2+\Vert x-y{\Vert }^2$ givesThis proves unconditional contractivity including the actual boundary treatment. More generally, a dissipative operator $L_h$ gives $(I-k{L}_h{)}^{-1}$ of operator norm at most one: with $V=(I-k{L}_h)U$, dissipativity implies $\mathrm{Re}⟨V,U⟩\ge \Vert U{\Vert }^2$, and the Cauchy-Schwarz inequality gives $\Vert U\Vert \le \Vert V\Vert$. In finite dimensions this also proves invertibility. For the second-order backward differentiation formula, the BDF2 discrete energy identity used in question 4 controls both time levels and proves unconditional diffusion stability. A repeated root strictly inside the disk is harmless here; the energy argument supplies the uniform bound without a singular eigenvector formula.

A second technique is eigenvalue stability analysis of a finite difference method. Under the method of lines, a time integrator advances $U^{\prime }=L_{h}U$ by $R(k{L}_h)$. If $L_h$ is a normal matrix, the scalar linear stability domain criterion on all $k{\lambda }_j(L_h)$ controls its powers exactly in the corresponding L2 norm. For the centered Dirichlet discrete Laplacian, its eigenvalues lie between $-4/h^2$ and zero; intersecting this interval with a time integrator's stability interval determines its mesh restriction. A uniform bound on the diagonalization of a matrix is needed for nonnormal diagonalizable systems. Eigenvalues alone can be misleading. For example,has both eigenvalues inside the disk for $0<k<1$, but the upper-right entry of $C_{h,k}^n$ is $nk(1-k{)}^{n-1}/h$. Taking $k=h$, $nk\to T>0$, this grows like $T{e}^{-T}/h$. Hence stable scalar eigenvalues do not give mesh-uniform stability. Boundary closures can introduce precisely the extra growth that an interior Fourier symbol overlooks, so boundary stability of a finite-difference method must be checked separately.

For nonlinear spatial discretizations, a useful replacement for Fourier stability analysis is a convexity argument. If the Forward Euler method map $E_k(U)=U+kF(U)$ is nonexpansive in a chosen norm for $k\le k_{\mathrm{FE}}$, the second-order strong stability preserving Runge-Kutta methodis also nonexpansive under the same restriction. Indeed, for two inputs, the triangle inequality gives $\Vert U_{\mathrm{new}}-{\tilde{U}}_{\mathrm{new}}\Vert \le \frac{1}{2}\Vert U-\tilde{U}\Vert +\frac{1}{2}\Vert E_k(Y)-E_k(\tilde{Y})\Vert \le \Vert U-\tilde{U}\Vert$. Its Taylor expansion is $U+kF(U)+k^2{F}^{\prime }(U)F(U)/2+O(k^3)$, proving order two. Such strong stability preserving Runge-Kutta methods transfer suitable forward-step bounds without relying on a linear spectral calculation.

Finally, consistency of a numerical method explains what stability buys. For a linear Hadamard well-posed problem, the Lax equivalence theorem equates convergence of a consistent discretization with its stability, under the stated approximation-space and norm hypotheses. Directly, if the error satisfies $e^{n+1}=C_{h,k}{e}^n+k{\tau }^n$, iteration gives the discrete Duhamel principleThus vanishing normalized local truncation error and initial error yield convergence. With a nonlinear Lipschitz step estimate, the discrete Gronwall inequality plays the same role. A stable but inconsistent stencil, such as the literal defective formulas in questions 3 and 4 under their usual refinement, is not rescued by any amplification bound. The decisive checks are a mesh-uniform evolution bound, a valid boundary closure, and consistency with the actual PDE.

The continuous dual space $X^{\ast }$ consists of all bounded real linear functionals on $X$, with operator norm $\Vert f\Vert ={\sup }_{\Vert x\Vert \le 1}|f(x)|$. Let $(f_n)$ be Cauchy in this norm. For each $x$, $|f_n(x)-f_m(x)|\le \Vert f_n-f_m\Vert \Vert x\Vert$, so $f_n(x)$ converges in $\mathbb{R}$; define its limit to be $f(x)$.

Pointwise limits of the linear identities show that $f$ is linear. The sequence of norms is bounded, say by $M$, so $|f(x)|\le M\Vert x\Vert$ and $f\in X^{\ast }$. Given $\epsilon >0$, choose $N$ so that $\Vert f_n-f_m\Vert \le \epsilon$ for all $m,n\ge N$. Holding $n$ fixed and taking the pointwise limit in $m$ gives $|f_n(x)-f(x)|\le \epsilon \Vert x\Vert$ for all $x$. Thus $\Vert f_n-f\Vert \le \epsilon$, provingCompleteness of $X$ is not needed; completeness of the scalar field supplies the pointwise limit.

Let $A$ be the interior-grid matrix representing ${\Gamma }_9$, with zero boundary error. It is real symmetric and has the stated sine eigenbasis. Put $s={\sin }^2(k\pi h/2)$ and $t={\sin }^2(\ell \pi h/2)$; the negative of its eigenvalue isThis increases in each variable on $[0,1{]}^2$. With $s_1={\sin }^2(\pi h/2)\ge h^2$, the smallest absolute eigenvalue is at least $8s_1-(8/3)s_1^2\ge (16/3)h^2$. Hence its Euclidean norm operator norm satisfiesThe corrected scheme has an unscaled residual $r$ whose individual entries are uniformly $O(h^6)$. There are $m^2$ entries and $m<h^{-1}$, so $\Vert r{\Vert }_2=O(h^5)$. Subtracting the exact nodal equations from the numerical equations gives $Ae=-r$ (with sign depending on the residual convention), and thereforeChoose a constant slightly larger than the resulting bound to obtain the requested strict $\Vert e\Vert <c{h}^3$ for all sufficiently small $h$. Uniform smoothness is needed for an $h$-independent constant; unspecified smoothness only in the interior would not by itself guarantee it.

For $x\ne y$, $|({\delta }_x-{\delta }_y)(f)|\le 2\Vert f{\Vert }_{\infty }$, giving an upper bound $2$ for the operator norm. By Urysohn lemma, there is $h:K\to [0,1]$ with $h(x)=1,h(y)=0$. Then $f=2h-1$ has uniform norm $1$ and $({\delta }_x-{\delta }_y)(f)=2$. Thus every distinct pair has operator norm $2$, andThe stated hypotheses also permit a singleton $K$. Then there are no distinct pairs, so the infimum is $+\infty$ under the extended-real convention, or undefined as a real number. This edge case cannot be assigned the value $2$.

Let $\eta =f^{\delta }-f$, so $\Vert \eta \Vert \le \delta$. By linearity, $u_{\delta }^{(k)}-u^{(k)}=R_{1/k}\eta$. The preceding operator norm estimate givesMoreover, $K{R}_{1/k}$ has factors $1-(1+\tau {\sigma }_j^2{)}^{-k}$ on the data singular vectors, and is zero on $\mathcal{R}(K{)}^{\perp }$. Every factor is in $[0,1]$, henceThus, for any fixed $k$, one can take $C=\sqrt{k\tau }$ and $\gamma =1$.

The first constant cannot generally be chosen independently of the iteration count. On the l2 sequence space, take $(Ku{)}_n=u_n/n$, $\tau =1$, and noise $\eta =\delta e_n$. At $k=n^2$ the solution perturbation has normThis disproves a uniform-in-$k$ interpretation of the stated first estimate. For a closed operator range, boundedness of the Moore–Penrose inverse of an operator instead supplies the uniform constant $\Vert K^{†}\Vert$.

Write the residual of an inverse problem as $r_k=K{u}_{\delta }^{(k)}-f^{\delta }$. The iteration can be rearranged asApplying $K$ gives $(I+\tau K{K}^{\ast })r_{k+1}=r_k$. Since $K{K}^{\ast }$ is a positive operator, its resolvent operator $(I+\tau K{K}^{\ast }{)}^{-1}$ has operator norm at most one. HenceMore explicitly, taking the inner product of the residual equation with $r_{k+1}$ givesThis directly proves the same monotonicity by the Cauchy-Schwarz inequality, including the case $r_{k+1}=0$. An unresolvable data component in $\mathcal{R}(K{)}^{\perp }$ remains unchanged.

The relevant norm is the operator norm induced by the complex Euclidean norm, also called the matrix 2-norm:The maximum exists because the unit sphere in finite dimensions is compact. It obeys $\Vert Bq{\Vert }_2\le \Vert B{\Vert }_2\Vert q{\Vert }_2$ and is the norm relevant to the specified perturbation energy. Other matrix norms do not in general give this gain.

The matrix exponential is the absolutely convergent power seriesIt converges in any finite-dimensional operator norm, since $\Vert L^m\Vert \le \Vert L{\Vert }^m$. Termwise differentiation gives $B^{\prime }=LB$, $B(0)=I$, so the solution is $q(t)=B(t)q_0$. Also $e^{Lt}{e}^{-Lt}=I$, proving invertibility without requiring $L$ itself to be invertible.

The question's expansion in eigenvectors tacitly needs an eigenbasis: an invertible matrix alone need not be a diagonalizable matrix. The exponential solution and the singular-value arguments remain valid without that assumption.

Let $E=\mathbb{R}[x{]}_{\le d}$ with the supremum norm. By equivalence of norms in finite dimensions, there is $C_d$ such that ${\sum }_{j=0}^d|a_j|\le C_d\Vert p{\Vert }_{\infty }$ whenever $p={\sum }_j{a}_j{x}^j$. Henceso ${\epsilon }_n:=\Vert B_n-I{\Vert }_{\mathrm{op}}\le C_d{\max }_{0\le j\le d}\Vert B_n(x^j)-x^j{\Vert }_{\infty }\to 0$. This upgrades convergence on fixed polynomials to operator norm convergence on the fixed space.

For sufficiently large $n$, ${\epsilon }_n<1$, and a Neumann series givesThus the inverse Bernstein approximation on a fixed-degree polynomial space satisfies $\Vert g_n-f{\Vert }_{\infty }\to 0$. By the extreme value theorem, strict positivity on the compact interval gives $\mu ={\min }_{[0,1]}f>0$. Eventually $\Vert g_n-f{\Vert }_{\infty }<\mu /2$, and consequentlyApplying pointwise convergence to the varying polynomials $g_n$ without this finite-dimensional operator argument would not justify the conclusion.

Let $(T_m)$ be Cauchy in the operator norm on $\mathcal{B}(X,Y)$. For each $x\in X$,so $(T_{m}x)$ is Cauchy in the Banach space $Y$. DefinePointwise passage to the limit shows that $T$ is linear. A norm-Cauchy sequence is bounded, say $\Vert T_m\Vert \le M$, and henceThus $T$ is bounded. Finally, for fixed $m$,The right-hand coefficient tends to zero with $m$, so $T_m\to T$ in operator norm. ThereforeThis is the Banach space of bounded linear operators.

For finite-dimensional matrices $A_1,\dots ,A_m$, the Lie-Trotter product formula stateswhere convergence is in operator norm. In particular, for Hermitian matrices $H_j$, set $A_j=-i{H}_j$ to obtain a product of unitary operators approximating $e^{-it{\sum }_j{H}_j}$.

The spectral norm is the operator norm induced by the Euclidean norm:The Pauli operators $X_1$ and $Z_2$ act on different qubits, and each is a unitary operator. Their product is therefore unitary and preserves the norm of every vector. Hence

Use the intended strong convexity bound ${\gamma }^{\top }{D}^2\phi (x)\gamma \ge \lambda |\gamma {|}^2$. The original PDF omits $|\gamma {|}^2$ on the right. The printed bound for every $\gamma \in {\mathbb{R}}^d$ is impossible when $\lambda >0$, as $\gamma =0$ shows. Equivalently, the intended bound is stated for unit vectors. The norm of $D^2\zeta$ is the operator norm induced by the Euclidean norm, or any matrix norm that bounds it.

SetThis function is $C^2$, and its Hessian matrix satisfiesPart (i) therefore proves that ${\phi }_{\epsilon }$ is a convex function. The perturbation can use up the entire positive lower bound defining a strongly convex function; only convexity, rather than strict positivity of the Hessian matrix, is asserted.

The continuous dual space of a real normed vector space $X$ iswith the operator normTwo normed spaces are isometrically isomorphic when there is a bijective linear map between them that preserves norms.

For $y=(y_j)\in {\ell }^{\infty }$, defineThe series is absolutely convergent andso ${\Phi }_y\in ({\ell }^1{)}^{\ast }$ and $\Vert {\Phi }_y\Vert \le \Vert y{\Vert }_{\infty }$. For every $\epsilon >0$, choose $j$ with $|y_j|>\Vert y{\Vert }_{\infty }-\epsilon$ and test on $\mathrm{sgn}(y_j)e_j$. This gives the reverse inequality, hence

Conversely, given $\Phi \in ({\ell }^1{)}^{\ast }$, set $y_j=\Phi (e_j)$. Then $|y_j|\le \Vert \Phi \Vert$, so $y\in {\ell }^{\infty }$. For $x\in {\ell }^1$, its finite partial sums converge to $x$ in norm; continuity of $\Phi$ therefore givesThe representing sequence is unique, and the construction is linear and norm preserving. Thus the duality of l1 and l infinity proves

Compactness gives a stronger statement than the one requested. Since $T(B_H)$ has compact closure, finitely many open balls of radius $\delta$ cover it. Choose their centres from $T(B_H)$ and let $E$ be their finite-dimensional linear span. ThenFor the orthogonal projection $P_E$, best approximation in a Hilbert space givesIn particular this holds for every vector $e_n$ in the given orthonormal basis.

The operator $P_{E}T$ has image in $E$ and hence has finite rank, whileThus every compact operator is an operator norm limit of finite-rank operators. This is the finite-rank approximation theorem for compact operators on a Hilbert space.

Write $A=T-\lambda I$. We first prove that $\mathrm{im}A$ is dense. Otherwise some nonzero $y$ lies in its orthogonal complement, soBy part (b), choose finite-dimensional spaces $E_j$ containing $y$ such that $S_j=P_{E_j}T\to T$ in operator norm. Sincethe operator $S_j^{\ast }-\overline{\lambda }I$ is not injective. Therefore $S_j-\lambda I$ is not surjective; the contrapositive of part (c) makes $\lambda$ an eigenvalue of $S_j$. Choose unit vectors $x_j$ with $S_j{x}_j=\lambda x_j$. ThenCompactness gives a subsequence for which $T{x}_j$ converges. Since $\lambda \ne 0$, the displayed relation makes $x_j$ converge to a unit vector $x$, and continuity gives $Tx=\lambda x$, contradicting the hypothesis. Thus $\mathrm{im}A$ is dense.

Next suppose $A$ were not bounded below, or equivalently that its lower norm were zero. There would be unit vectors $x_j$ with $A{x}_j\to 0$, henceAgain a convergent subsequence of $T{x}_j$ forces the corresponding $x_j$ to converge to a unit vector $x$ satisfying $Ax=0$, another contradiction. Therefore some $c>0$ satisfies

This lower bound makes $\mathrm{im}A$ closed: if $A{x}_j$ converges, then $x_j$ is Cauchy and its limit maps to the same limit. Since the image is both dense and closed, it is all of $H$. We have proved the Fredholm alternative for a compact operator: every nonzero spectral value of a compact operator is an eigenvalue.

For $y\in D(A)$, the semigroup property givesHence $U(t)y\in D(A)$ andThe generator domain is therefore an invariant subspace, and the operator norm bound givesThusMoreover, strong continuity applied separately to $y$ and $Ay$ givesTherefore the restrictions form the semigroup restricted to its generator domain. Its derivative at zero exists in the graph norm exactly when $y\in D(A)$ and $Ay\in D(A)$, namely when $y\in D(A^2)$, and then the derivative is $Ay$. Hence its generator is

A solution operator for a nonautonomous evolution equation is an evolution family $U(t,s)$ satisfyingand, on a suitable common domain $\mathcal{D}$,

One applicable nonautonomous generation theorem is the following. Suppose $\mathcal{D}$ is a dense linear subspace of $H$, each $A(t)$ has domain $\mathcal{D}$, the family is a stable family of semigroup generators with constants $M,0$, and $t\mapsto A(t)$ is continuously differentiable as a map from $[0,T]$ to $\mathcal{B}(\mathcal{D},H)$, where $\mathcal{D}$ carries one of the uniformly equivalent graph norms. Then there is a unique evolution family such that:

For the uniform partition $t_j=s+j(t-s)/N$, the frozen-generator product approximation isAs $N\to \infty$, $U_N(t,s)u\to U(t,s)u$ in the norm of $H$ for every $u\in H$, uniformly for $(t,s)$ in the compact time triangle $0\le s\le t\le T$. This is convergence in the strong operator topology, rather than convergence in the operator norm.

It remains to verify the second differential equation. The evolution family law gives, for $h>0$,Divide by $h$. Since $u\in \mathcal{D}$,while strong continuity gives $U(t,s+h)A(s)u\to U(t,s)A(s)u$. ThereforeThe left derivative follows in the same way, so $s\mapsto U(t,s)u$ is differentiable.