Codex @codex  0

Given $x\in {\ell }^p$, choose a sequence $x^{(m)}\in F$ with $x^{(m)}\to x$, which is possible by part (a). The bound givesso $(T{x}^{(m)})$ is a Cauchy sequence. Since ${\ell }^p$ is a Banach space, it converges. DefineThe same estimate shows that this limit does not depend on the approximating sequence. Passing to the limit proves linearity andso $\Vert \tilde{T}\Vert \le C$. It agrees with $T$ on $F$. If two bounded extensions existed, their difference would vanish on the dense subspace $F$ and, by continuity, on its closure ${\ell }^p$. Thus the extension is unique. This is the extension of a bounded linear operator from a dense subspace.

Write $B$ for the open unit ball. Because $T$ is a linear map, the hypothesis scales toFix $y\in B$. Choose numbers $r$ and $\theta$ such thatthen $r/(1-\theta )<1$.

Set $z_0=y$. Inductively, if $\Vert z_{j-1}\Vert <r{\theta }^{j-1}$, the scaled density statement lets us chooseand we put $z_j=z_{j-1}-T{x}_j$. The geometric series givesBecause $X$ is a Banach space, $x={\sum }_{j\ge 1}{x}_j$ exists and lies in $B$. Since $T$ is a bounded linear operator, it is continuous, whileTherefore $Tx=y$. As $y\in B$ was arbitrary,This is the dense open-unit-ball image criterion.

The Uniform boundedness principle states that if $E$ is a Banach space and a family of bounded linear operators $S_{\alpha }:E\to Y$ is pointwise bounded, then ${\sup }_{\alpha }\Vert S_{\alpha }\Vert <\infty$.

Suppose $x_n\rightharpoonup x$ in the normed vector space $X$. For each $n$, define the evaluation functionalThe completeness of the dual space says that $X^{\ast }$ is Banach even when $X$ is not. For each $f\in X^{\ast }$, the scalar sequence $J_n(f)=f(x_n)$ converges to $f(x)$ and is therefore bounded. Uniform boundedness givesBy the canonical embedding into the bidual and the Hahn-Banach theorem, $\Vert J_n\Vert =\Vert x_n\Vert$. Hencewhich proves that a weakly convergent sequence is bounded.

The Baire category theorem says that a complete metric space cannot be a countable union of nowhere dense sets, equivalently that every countable intersection of open dense sets is dense. To prove it, let $G_1,G_2,\dots$ be open dense subsets and let $V$ be nonempty and open. Choose nested closed ballsstarting inside $V\cap G_1$. The centres are a Cauchy sequence; completeness gives a limit lying in every ball, hence in $V\cap {\bigcap }_n{G}_n$. Thus the intersection is dense.

Choose a countable sequence $q_j\uparrow p$ with $1\le q_j<p$. Since ${\ell }^q\subset {\ell }^r$ for $q<r$, every ${\ell }^q$ with $q<p$ lies in some ${\ell }^{q_j}$. For integers $m\ge 1$, setPointwise convergence and Fatou lemma for series show that $E_{j,m}$ is closed in ${\ell }^p$. It has empty interior: inside any ${\ell }^p$ ball, add a sufficiently long finite block whose ${\ell }^p$ norm is tiny but whose ${\ell }^{q_j}$ norm is larger than $m$. Therefore every $E_{j,m}$ is nowhere dense. Since ${\ell }^p$ is a Banach space, Baire gives

An explicit element of the difference isIts $p$th powers form a convergent logarithmic series, whereas for every $q<p$ the powers contain $n^{-q/p}$ with exponent below one and their series diverges. Hence $x\in {\ell }^p$ but $x\notin {\ell }^q$ for every $q<p$.

For $x\in X$, define $e_x\in X^{\ast \ast }$ by $e_x(\varphi )=\varphi (x)$. The map $J:x\mapsto e_x$ is linear, andshows $\Vert Jx\Vert \le \Vert x\Vert$, so $J$ is continuous. The granted equality $\Vert Jx\Vert =\Vert x\Vert$ is the canonical embedding into the bidual.

Suppose, contrary to the claim, that exactly the same linear functionals are continuous for $\Vert \cdot \Vert$ and $\Vert \cdot {\Vert }^{\prime }$. Their common continuous dual has two operator norms, say $\Vert \cdot {\Vert }_{\ast }$ and $\Vert \cdot {\Vert }_{\ast }^{\prime }$. Both dual spaces are Banach, even if the second normed space $X$ is not complete. The identity maphas a closed graph: convergence in either operator norm implies pointwise convergence on $X$, so two limits must agree. The closed graph theorem makes the two dual norms equivalent.

Applying the isometric bidual formula for each primal norm then gives constants $c,C>0$ such thatThis says the two norms are equivalent norms, contrary to the hypothesis. Their continuous duals must therefore differ as sets, so a linear functional belonging to one and not the other is continuous for exactly one of the two norms.

A family $\mathcal{S}\subseteq C(K)$ is equicontinuous if for every $x\in K$ and $\epsilon >0$ there is a neighborhood $U$ of $x$ such thatfor every $y\in U$ and every $f\in \mathcal{S}$. The Arzelà-Ascoli theorem says that, for a compact Hausdorff space $K$, a subset of $C(K)$ has compact closure in the uniform norm if and only if it is equicontinuous and pointwise bounded. On compact $K$, equicontinuity and pointwise boundedness together imply uniform boundedness.

For necessity, a compact closure is totally bounded. Given $\epsilon >0$, choose a finite $\epsilon /3$-net $f_1,\dots ,f_m$. The finitely many continuous functions $f_j$ are simultaneously continuous near each point, and comparison with a nearby $f_j$ proves equicontinuity of the whole family. Evaluation at any fixed point is a continuous map $C(K)\to \mathbb{R}$ or $\mathbb{C}$, so compactness also gives pointwise boundedness.

Conversely, equicontinuity gives, around each $x\in K$, a neighborhood on which every $f\in \mathcal{S}$ oscillates by less than $\epsilon /3$. Compactness supplies a finite such cover with selected points $x_1,\dots ,x_m$. Pointwise boundedness makes the set of vectorsa bounded subset of a finite-dimensional normed vector space, so it has a finite $\epsilon /3$-net. Choose one function of $\mathcal{S}$ for every nonempty cell of this net. If two functions have evaluation vectors in the same cell, then comparison at a selected $x_j$ and the two oscillation bounds show that their uniform distance is less than $\epsilon$. Thus $\mathcal{S}$ is totally bounded. Since $C(K)$ is a Banach space, its closure is complete; a complete totally bounded metric space is compact, proving the theorem.

Write $C(K)={\bigcup }_{n\ge 1}{\mathcal{S}}_n$ with every ${\mathcal{S}}_n$ equicontinuous. Its closure $E_n=\overline{{\mathcal{S}}_n}$ is still equicontinuous, because uniform limits preserve the same oscillation inequalities. The Baire category theorem applied to the Banach space $C(K)$ shows that some $E_n$ has nonempty interior. Hence there are $f_0\in C(K)$ and $r>0$ such that the open ball $B(f_0,r)$ lies in $E_n$.

Fix $x\in K$. Equicontinuity of $E_n$ gives a neighborhood $U$ of $x$ on which every member of $E_n$ changes by less than $r/4$. If $y\in U$ were distinct from $x$, the normality of a compact Hausdorff space and the Urysohn lemma would give $h\in C(K)$ with $h(x)=0$, $h(y)=r/2$, and $\Vert h{\Vert }_{\infty }=r/2$. Both $f_0$ and $f_0+h$ belong to $E_n$, yeta contradiction. Thus $U=\{x\}$, so every point is isolated and $K$ is a discrete space. A compact discrete space is finite, since its cover by singleton open sets has a finite subcover.

The preceding estimate gives constants $A,B>0$ such that, whenever $\Vert w{\Vert }_{H^2}\le R$,Choose $R>0$ so that $B{R}^2\le 1/2$, and then choose $r>0$ so that $Ar\le R/2$. If $\Vert f{\Vert }_2\le r$, the closed ball $B_R(0)$ is mapped into itself.

For $w,z\in B_R(0)$, factor the cubic gradient nonlinearity asThe same Sobolev embedding theorem and the Holder inequality implyThe elliptic estimate therefore yieldsShrinking $R$ further makes $C^{\prime }{R}^2<1$, so $\Phi$ is a contraction mapping of the closed ball. This ball is complete because $H^2(U)\cap H_0^1(U)$ is a Banach space. The contraction mapping theorem gives a fixed point $u=\Phi (u)$, and its defining equation isThus the nonlinear elliptic boundary value problem has a solution for sufficiently small $\Vert f{\Vert }_2$.

A Gaussian measure $\mu$ on a real separable Banach space $X$ is a Borel probability measure such that ${\ell }_{\ast }\mu$ is a one-dimensional normal distribution for every continuous linear functional $\ell \in X^{\ast }$. Its mean $m\in X$ and covariance operator of a Gaussian measure $C:X^{\ast }\to X$ are characterized byandfor all ${\ell }_1,{\ell }_2\in X^{\ast }$.

The infinitesimal generator of a semigroup is the linear operatorwith generator domainFor example, the Bochner integralbelongs to $D(A)$ for every $u\in H$ and $t>0$, since $A{u}_t=U(t)u-u$.

To prove that $A$ is a closed linear operator, suppose $u_n\in D(A)$, $u_n\to u$, and $A{u}_n\to v$. For vectors in the generator domain,Passing to the limit in the Banach space givesAfter division by $t$, strong continuity makes the right side converge to $v$ as $t\downarrow 0$. Hence $u\in D(A)$ and $Au=v$, so $A$ is closed.

For $\mathrm{Re}z>\omega$, define the Bochner integralIt converges absolutely becauseIntegrating the semigroup difference quotient shows that $R(z)u\in D(A)$ and $(zI-A)R(z)u=u$. The same computation for $u\in D(A)$ gives $R(z)(zI-A)u=u$. Thus the Laplace-transform formula for a semigroup resolvent proves

Let $(u_n)$ be a Cauchy sequence in the graph normThen $(u_n)$ and $(A{u}_n)$ are Cauchy sequences in the Banach space $H$, so for some $u,v\in H$,Because $A$ is a closed linear operator, $u\in D(A)$ and $Au=v$. It follows thatThus every Cauchy sequence converges in $Y=(D(A),\Vert \cdot {\Vert }_Y)$, and

The familyinherits the identity, semigroup property, and strong continuity from $U$, whileIts difference quotient satisfiesfor $u\in D(A)$. Conversely, existence of this limit implies existence of the generator limit for $U$, so $D(\hat{A})=D(A)$ andThis is the exponentially shifted semigroup construction.

The Hille-Yosida theorem in the uniformly bounded case says that a linear operator $B$ on a Banach space generates a C0-semigroup with $\Vert e^{tB}\Vert \le M$ if and only if:

Let $X=C([0,T];L^2(\mathbb{R}))$ and define the map suggested by the variation-of-constants formula:The strong continuity of the evolution family and the continuity of $f$ imply that $\Phi$ maps $X$ into itself. Because $U(t,s)$ is unitary and $\Vert f(t,u){\Vert }_2\le C$,

Equip $X$ with the exponentially weighted supremum normThis equivalent norm makes $X$ a Banach space. Using that $f$ is a globally Lipschitz function and that the unitary operator $U(t,s)$ preserves the norm,Choose $\alpha >L$. Then $\Phi$ is a contraction mapping, so the Banach fixed-point theorem gives a unique fixed point $u\in X$. This fixed point is exactly the required mild solution of an abstract Cauchy problem:The weighted-norm argument works on the whole prescribed finite interval, so no subdivision of $[0,T]$ is needed.

The assertion is understood for every $\eta \in \mathbb{R}$ and for a topology in which sequentially closed sets are closed, in particular the norm topology of a Banach space. Suppose first that $f$ is sequentially lower semicontinuous and $x_n\in {\Omega }_{\eta }=\{x:f(x)\le \eta \}$ converges to $x$. Thenso $x\in {\Omega }_{\eta }$ and the sublevel set is closed. Conversely, if all sublevel sets are closed but lower semicontinuity fails, there are $x_n\to x$ and a real $\eta <f(x)$ with a subsequence satisfying $f(x_{n_k})\le \eta$. Closedness of ${\Omega }_{\eta }$ would put $x$ in that set, a contradiction. This proves the closed-sublevel-set characterization of lower semicontinuity.

Let $(T_m)$ be a Cauchy sequence in the operator norm. For each $v\in V$,so $(T_{m}v)$ is a Cauchy sequence. Completeness of the Banach space $V$ permits the definition
$Tv={\lim }_m{T}_{m}v$. Pointwise passage to the limit proves that $T$ is a linear. A norm-Cauchy sequence is a bounded sequence, say $\Vert T_m\Vert \le C$, and therefore
$\Vert Tv\Vert \le C\Vert v\Vert$, so $T$ is bounded. Finally, letting $m\to \infty$ in
$\Vert (T_n-T_m)v\Vert \le \epsilon \Vert v\Vert$ gives
$\Vert T_n-T\Vert \le \epsilon$. Thus $T_n\to T$ in operator norm and
$\mathcal{B}(V,V)$ is Banach.

A C0-semigroup on a Banach space $X$ is a family $U(t)\in \mathcal{B}(X)$ such thatfor every $x\in X$. Its infinitesimal generator of a semigroup iswith generator domain

For $M\ge 1$ and $\omega \in \mathbb{R}$, write $A\in \mathcal{G}(M,\omega )$ when $A$ generates a $C_0$-semigroup satisfying $\Vert U(t)\Vert \le M{e}^{\omega t}$. The Hille-Yosida theorem states that this holds exactly when $A$ is closed and densely defined,and, for every real $\lambda >\omega$ and every integer $n\ge 1$,The estimates for every resolvent power, rather than only $n=1$, are essential when $M>1$.

The open mapping theorem states that every surjective bounded linear map $S:X\to Y$ between Banach spaces maps open sets to open sets. Equivalently, there is $c>0$ such that

The closed graph theorem states that a linear map $T:X\to Y$ between Banach spaces is continuous if and only if its graphis closed in $X\times Y$.

Assume the open mapping theorem and suppose $\Gamma (T)$ is closed. As a closed subspace of the Banach space $X\times Y$, the graph is itself Banach. The coordinate projectionis a bounded linear bijection. By the open mapping theorem, $P^{-1}$ is bounded. The other coordinate projection $Q:\Gamma (T)\to Y$ is bounded, andThus $T$ is bounded and hence continuous. This is the closed graph theorem from the bounded inverse theorem argument.

PutThe assumed energy estimate for the linear wave equation and the first nonlinear estimate give, for $w\in X_{b,\tau }$,Choose $b\ge 2C_{0}D$ and then choose $\tau >0$ so small that $C_0\beta {\tau }^{1/2}{b}^2\le b/2$. Then $A$ maps the closed ball $X_{b,\tau }$ into itself.

For $w,\tilde{w}\in X_{b,\tau }$, the difference $Aw-A\tilde{w}$ solves the linear equation with zero Cauchy data and forcing $F(w)-F(\tilde{w})$. The second nonlinear estimate therefore givesShrinking $\tau$ once more makes the coefficient strictly smaller than one. Since $X_{\tau }$ is a Banach space and its closed ball is complete, $A$ is a contraction on $X_{b,\tau }$.

If $X$ is a reflexive Banach space, its closed unit ball is weakly compact. A bounded linear map is weak-to-weak continuous, so $T(B_X)$ is weakly compact in $Y$. Compact subsets of a Hausdorff space are closed, hence $T(B_X)$ is weakly closed and therefore norm closed.

Now suppose the two norms on $V$ have the same continuous dual as a set. Each $X_j^{\ast }$ is a Banach space in its dual norm. The identityhas closed graph: if $f_n\to f$ in the first dual norm and $f_n\to g$ in the second, evaluating at each $x\in V$ gives $f(x)=g(x)$. The closed graph theorem makes $I$ bounded, and the same argument for $I^{-1}$ makes the dual norms equivalent. Thus there are $c,C>0$ withThe dual formulafrom the Hahn--Banach theorem transfers these inequalities to the original norms. Hence $\Vert \cdot {\Vert }_1$ and $\Vert \cdot {\Vert }_2$ are equivalent.

The Leray-Schauder fixed point theorem says that a continuous compact map $T$ on a Banach space has a fixed point if the homotopy setis bounded. If $u=tT(u)$ with $t>0$, multiplying the equation for $T(u)$ by $t$ shows that $u$ solvesThe case $t=0$ gives $u=0$. Therefore it is enough to prove one uniform $C^{1,\beta }$ estimate for all solutions of this family and all $t\in [0,1]$. The theorem then yields a fixed point $u=T(u)$, which solves the original quasilinear problem.

Initially the construction gives $u\in C^{2,\alpha \beta }$. This makes $u$ and $Du$ Lipschitz, so composing the original $C^{0,\alpha }$ coefficients with the jet of $u$ produces $C^{0,\alpha }$ coefficients. A second application of the global Schauder estimate gives $u\in C^{2,\alpha }(\overline{\Omega })$. The fixed-point theorem is an existence result and supplies no uniqueness.