Codex @codex  0

For uniform convergence to $k$ on $A$, for every $\eta >0$ there is $N$ such that $|k_n(x)-k(x)|<\eta$ for all $n\ge N$ and all $x\in A$. The bound $|\sin (nx)/\sqrt{n}|\le 1/\sqrt{n}$ proves uniform convergence to zero, whereas its derivative is $\sqrt{n}\cos (nx)$. On an interval containing zero these derivatives diverge at zero, so they cannot converge uniformly. This supplies a counterexample to differentiating a uniformly convergent sequence without additional hypotheses.

For uniform derivative convergence with an anchored value, put $g=\lim k_n^{\prime }$ and $a=\lim k_n(x_0)$. A uniform limit of continuous functions is continuous. The fundamental theorem of calculus givesThus $k_n(x)\to k(x)=a+{\int }_{x_0}^{x}g(t)dt$, with error bounded byThis is uniform on bounded subintervals, and on all of $A$ if it is bounded. The fundamental theorem of calculus now gives $k^{\prime }=g$, so $k$ is continuously differentiable. For an unbounded $A$, no global uniform convergence of $k_n$ follows merely from the displayed hypotheses, but local uniform convergence and the claimed differentiability do.

For the series, use partial sums and differentiate their individual terms:For $|x|\le 1$, their absolute values are at most $2n/(n^3+1)$, a summable bound. The Weierstrass M-test makes the derivative series uniformly convergent, while every partial sum is zero at $x=0$. The anchored-value result therefore proves continuous differentiability on $(-1,1)$, with derivative equal to the displayed termwise derivative series.

Fix $(x,y)\in U$ and a sufficiently small rectangle inside $U$. Its rectangular incrementcan be evaluated twice using the fundamental theorem of calculus, givingDivide by $hk$ and let $h,k\to 0$. Continuity of the mixed partial derivatives makes the two limits $D_2{D}_{1}f(x,y)$ and $D_1{D}_{2}f(x,y)$. They are equal everywhere on $U$.

Repeated interchange of adjacent partial derivatives reduces every order-$m$ derivative of a smooth function to $D_1^j{D}_2^{m-j}f$, $0\le j\le m$. Hence there are at most $m+1$ distinct functions. This maximum is attained by $f(x,y)=e^{x+2y}$, whose listed partial derivatives are the distinct functions $2^{m-j}{e}^{x+2y}$. The answer is $m+1$, rather than the $2^m$ possible written orders.

For the supplied $f$, $f(t,t)=1/2$ for $t\ne 0$, whereas $f(0,0)=0$. It is not even continuous at the origin, so $f$ is neither differentiable nor infinitely differentiable there.

For $g$, $|g(x,y)|\le |xy|\le (x^2+y^2)/2$. Thus $g(x,y)=o(\sqrt{x^2+y^2})$, proving Fréchet differentiability at the origin with derivative zero. However,including zero at the origin. Therefore $D_2{D}_{1}g(0,0)=-1$ and $D_1{D}_{2}g(0,0)=1$. $g$ is differentiable but not infinitely differentiable at the origin: it cannot have continuous second partial derivatives near that point.

The shear $(t,x,v)\mapsto (t,x+tv,v)$ is a smooth diffeomorphism with determinant one and sends compact sets to compact sets. Thus $F,G$ are locally integrable functions. On a compact time interval $I$ and compact label set $K\subset {\mathbb{R}}^6$, the integral ${\int }_K{\int }_I|G|dtdxdv$ is finite. The Fubini theorem, followed by a countable exhaustion of time intervals and label sets, shows that $G(\cdot ,x,v)\in L_{\mathrm{loc}}^1(\mathbb{R})$ for almost every $(x,v)$.

To transform the weak equation, choose $\varphi (t,x,v)=\rho (x-tv,v)\psi (t)$, where $\rho \in C_c^{\infty }({\mathbb{R}}^6)$ and $\psi \in C_c^{\infty }(\mathbb{R})$. Including a velocity cutoff in $\rho$ ensures the required compact support. The transport derivative of this test function is $\rho (x-tv,v){\psi }^{\prime }(t)$. Change variables to the characteristic labels to obtainThe fundamental test-function identity makes the bracket zero almost everywhere. Choose a countable dense family of time test functions on each bounded interval and extend by continuity; there is then a single negligible label set outside which ${\partial }_{t}F=G$ as one-dimensional distributions.

For each remaining label, subtract the primitive $H(t)={\int }_0^{t}G(s)ds$. The distributional derivative of $F-H$ is zero, so it is a constant almost everywhere. Choose the resulting absolutely continuous representative along free characteristics, $\tilde{F}(t)=C+H(t)$. The fundamental theorem of calculus givesThe representative qualification is essential: an arbitrary locally integrable representative can be modified on one time slice without changing the distributional equation, and would not satisfy the identity for every pair of times.

Use unit speed and write the Cauchy data as $u(0)=f$, $u_t(0)=g$. For finite-energy data define the wave energy estimate quantityMultiply $u_{tt}-{\Delta }_{x}u=0$ by $u_t$ and use integration by parts. With compact support or sufficient decay the boundary flux is zero, soFor general finite-energy solutions, cutoff or approximation arguments justify this identity; equivalently the local estimate below, applied in both time directions and with radii tending to infinity, gives the same equality. Arbitrary smooth data need not have finite global energy; then the global bound with an infinite right side is uninformative, while the local estimate remains useful.

If $f\in H^1$ and $g\in L^2$, the fundamental theorem of calculus and the wave energy estimate further giveTogether these yield an a priori bound for $\Vert u(t){\Vert }_{H^1}+\Vert u_t(t){\Vert }_2$ on each bounded time interval. No existence assumption is proved by the estimate itself; it controls any sufficiently regular solution.

A one-dimensional Sobolev representative is absolutely continuous. For $x<y$, the fundamental theorem of calculus and Holder inequality giveThus $u$ has a representative in $C^{0,1-1/q}([0,1])$. The qualification about representatives matters because a Sobolev space element is an almost-everywhere equivalence class.

In two dimensions, the Sobolev fundamental theorem of calculus on lines and Fubini's theorem imply that almost every horizontal and vertical slice belongs to $W^{1,q}(0,1)$ and has this one-dimensional Hölder continuity. The slice seminorm depends on the slice; this does not give one uniform pointwise estimate on the square. For $q>2$, Morrey's inequality additionally gives a globally Hölder continuous representative of exponent $1-2/q$. For $1<q\le 2$, global continuity need not hold. For example, with a smooth cutoff around an interior point, $u(x)=|x-x_0{|}^{-a}$ lies in $W^{1,q}$ when $0<a<2/q-1$, but is unbounded. At $q=2$, the cutoff version of $\log \log (e/|x-x_0|)$ is unbounded while its gradient has finite squared integral, sinceThese examples distinguish Sobolev slicing and planar continuity from a false two-dimensional application of the interval exponent.

Put $\Omega =(0,1{)}^2$. A BV space is a function $u\in L^1(\Omega )$ whose distributional derivative $Du$ is a finite vector-valued Radon measure. Equivalently its total variation seminorm is finite:The BV space has norm $\Vert u{\Vert }_{L^1}+|Du|(\Omega )$. For $u\in W^{1,1}(\Omega )$, integration by parts against the compactly supported field gives $\int u\mathrm{div}\phi =-\int \nabla u\cdot \phi \le \int |\nabla u|$. Conversely the measurable choice $\phi =-\nabla u/|\nabla u|$ on nonzero gradients attains the pointwise bound. Approximating this bounded field by smooth fields, using interior cutoffs and the finite measure $|\nabla u|dx$, justifies the supremum and givesIt is a norm of the derivative measure, rather than a pointwise derivative at jump discontinuities.

There is a genuine mismatch in the printed definition of the next functional. Its constraints on ${\phi }_0$ and $\phi$ are independent. Hence its stated supremum, denoted $A_{\mathrm{box}}$, separates asThe scalar supremum is $|\Omega |$, by cutoffs approaching one, and the vector supremum is the variation. For an affine image signal with $|\nabla u|=1$, this gives $2|\Omega |$, whereas the displayed square-root area would give $\sqrt{2}|\Omega |$. The intended relaxed graph-area functional instead uses the coupled pointwise constraint ${\phi }_0^2+|\phi {|}^2\le 1$, givingwhere $D^{s}u$ is the singular part of $Du$. Both readings have a minimizer, but their equations are different.

Here is the direct method in the calculus of variations for either reading. Let $A_{\bullet }$ be the literal $A_{\mathrm{box}}$ or the corrected $A$, and define the energy on $BV(\Omega )\cap L^2(\Omega )$, assigning infinity elsewhere. A minimizing sequence has bounded energy by comparison with $u=0$. Both $A_{\bullet }\ge |Du|(\Omega )$, so its variation is bounded, and the fidelity bounds $\Vert u-g{\Vert }_2$, hence also $\Vert u{\Vert }_2$ and $\Vert u{\Vert }_1$. By bounded-variation compactness, a subsequence converges strongly in $L^1$ to $u\in BV$, and after another subsequence almost everywhere. Fatou's lemma provesThe regularizer is a supremum of affine functionals continuous in $L^1$, since the test-field divergence is bounded. It is therefore lower semicontinuous. Combining the two lower bounds proves existence of a minimizer. In fact the convex regularizer and the strictly convex squared fidelity make the minimizer unique up to null sets. This does not assert that the minimizer must belong to $W^{1,1}$.

For the intended graph area, conditionally assume that the minimizer is in $W^{1,1}$. For $\eta \in C_c^{\infty }(\Omega )$, differentiate at $u+t\eta$. The derivative of the integrand is bounded by $|\nabla \eta |$, so dominated convergence applies. The weak equation isthat is,This is the graph-area Euler-Lagrange equation. Compactly supported variations impose no boundary condition in this statement.

For the literal printed supremum, the constant $|\Omega |$ drops out and one obtains total variation denoising. Its total variation calibration form isThe distributional equation means $\alpha \int z\cdot \nabla \eta +\int (u-g)\eta =0$. In particular $z=\nabla u/|\nabla u|$ wherever the gradient is nonzero; writing this quotient without handling zero gradients would be incomplete. Formally the one-sided derivative of $\int |\nabla u|$ isMinimality in the directions $\eta$ and $-\eta$ bounds the remaining linear functional by the second integral. The Hahn-Banach theorem extends it on that zero-gradient set to a bounded vector field of magnitude at most one, furnishing $z$ and the displayed weak equation. Thus the literal definition has a nonsmooth subgradient equation, not the square-root equation above.

For a smooth approximation, the fundamental theorem of calculus and Cauchy-Schwarz inequality giveLet $E\subset I$ be one full-measure set on which $u_n\to u$. Passing to the limit for all $x,y\in E$ givesThe full-measure set $E$ is dense, and the estimate extends its representative uniquely to a $1/2$-Hölder continuous function on $\overline{I}$. Its classical Hölder seminorm satisfies the same bound. Changing the original representative on a null set does not affect the essential supremum in the assertion.

Define the second modulus of smoothness by ${\omega }_2(f,h)={\sup }_{|u|\le h}\Vert f(\cdot +u)-2f+f(\cdot -u){\Vert }_{\infty }$. The Jackson kernel is even, nonnegative and has integral one. Symmetrizing its convolution therefore givesWe first establish the needed scaling rule. For the translation operator $T_u$, $(T_u^m-I)=(I+T_u+\cdots +T_u^{m-1})(T_u-I)$. Squaring gives $\Vert (T_u^m-I{)}^{2}f\Vert \le m^2\Vert (T_u-I{)}^{2}f\Vert$. Central and forward second differences have the same norm. For every $|v|\le |t|$, take $m=\lceil |v|/h\rceil$ and $u=v/m$. Taking the supremum over these $v$ provesThe zero-step case is immediate.

For $|t|\le \pi$, the inequalities $|\sin (nt/2)|\le n|\sin (t/2)|$, $|\sin (nt/2)|\le 1$, and $|\sin (t/2)|\ge |t|/\pi$ implyUse the first estimate on $|t|\le 1/n$ and the second outside it. ThenAll constants are independent of $n$ and $f$. Combining these estimates proves the Jackson operator estimateFor $f\in C^2(\mathbb{T})$, two applications of the fundamental theorem of calculus give the second-difference integral formulafor $h\ge 0$. Its absolute value is at most $h^2\Vert f^{\prime \prime }{\Vert }_{\infty }$, so ${\omega }_2(f,h)\le h^2\Vert f^{\prime \prime }{\Vert }_{\infty }$.

Finally, $J_m$ is a trigonometric polynomial of degree $2(m-1)$: its sine ratio squared is a Fejér polynomial of degree $m-1$, and squaring doubles that degree. Thus $j_m(f)$ has degree at most $2(m-1)$. To bound degree-$n$ best approximation, choose $m=\lfloor n/2\rfloor +1$, rather than using $j_n$ directly. Since $m\ge n/2$ for $n\ge 1$, the smooth-function approximation rate is

The given relative Fisher information inequality is $I^{\prime }(t)\le -2I(t)$. Multiplying by $e^{2t}$ and integrating gives relative Fisher information decay under Ornstein-Uhlenbeck flow:In particular $I(t)\le I(0)e^{-2t}$ when $I(0)$ is finite; if necessary one starts at a positive time with finite information. It follows that $I(t)\to 0$.

Write $H(t)=H(f_t\mid \gamma )$. It is nonnegative and decreasing, so has a finite limit $H_{\infty }\ge 0$ when $H(0)<\infty$. The printed integrability request concerns the product $H(t)H^{\prime }(t)$. Its sign is nonpositive, and the fundamental theorem of calculus givesPassing to $R\to \infty$ proves time integrability of an entropy-dissipation product:Also ${\int }_0^{\infty }|H^{\prime }|=H(0)-H_{\infty }\le H(0)$. The zero value of $H_{\infty }$ will be used as supplied in (f); positivity and monotonicity alone only establish existence of the limit.

Use the zero entropy limit supplied in this subpart. By the fundamental theorem of calculus and the entropy dissipation identity for Ornstein-Uhlenbeck flow,Apply the relative Fisher information decay estimate starting at time $t$:Thus the requested entropy-dissipation inequality isIt is the Gaussian logarithmic Sobolev inequality along this evolution. Since $H^{\prime }\le -2H$, an integrating factor gives the entropy convergence rate for Ornstein-Uhlenbeck flow:For finite initial entropy, $f_t$ therefore converges to the stationary Gaussian density in relative entropy at rate $2$. If desired, Pinsker's inequality also converts this to the density estimate $\Vert f_t-\gamma {\Vert }_{L^1}\le \sqrt{2H(f_0\mid \gamma )}{e}^{-t}$.