Codex @codex  0

Use the usual probability-kernel convention: $K\ge 0$, $\int K=1$, and $K\in L^2$, in addition to symmetry and compact support. These conditions are needed for the stated finite bound; symmetry and compact support by themselves do not impose normalization or nonnegativity. Interpret the differentiability assumption in the usual Sobolev space sense $f\in H^2(\mathbb{R})$, or assume classical regularity sufficient for the integral Taylor remainder. The kernel density estimator isThe bias-variance decomposition of mean squared error, followed by Tonelli theorem, yieldsIndependence and a change of variables give the exact integrated variance of a kernel density estimatorAll changes of integration order are justified either by nonnegativity or by the displayed finite integrals.

For the bias of a kernel density estimator, symmetry gives $\int uK(u)du=0$. Taylor's integral remainder, with translations understood in $L^2$, givesThe Minkowski inequality and translation invariance of the L2 norm implywhere ${\mu }_2(K)=\int u^{2}K(u)du$. Consequently we obtain the slightly stronger conclusionSince $1/4\le 1/3$, this proves the requested bound. For signed kernels, the same argument has $\int u^2|K(u)|du$ in place of ${\mu }_2(K)$; the printed bound is not generally justified merely by signed-kernel symmetry. For example, let $U_a=(2a{)}^{-1}{1}_{[-a,a]}$ and $K=(4/3)U_1-(1/3)U_2$. This symmetric compactly supported signed kernel has integral one and ${\mu }_2(K)=0$, but its fourth moment is nonzero. For a normal density its convolution has nonzero bias at any fixed positive bandwidth. Sending $n\to \infty$ would therefore contradict a bound containing only the integrated variance term.

Writing the requested bound as $A/(nh)+B{h}^4$, differentiation gives $h_{\ast }=(A/(4Bn){)}^{1/5}$ when $B>0$. Thus $h\asymp n^{-1/5}$ gives mean integrated squared error of order $n^{-4/5}$. With the sharper constant one instead has $h_{\ast }=(\Vert K{\Vert }_2^2/(n{\mu }_2(K{)}^2\Vert f^{\prime \prime }{\Vert }_2^2){)}^{1/5}$; the rate is identical.

A direct heuristic for $J_2(f)=\Vert f^{\prime \prime }{\Vert }_2^2$ is to choose a twice differentiable pilot kernel $L$, estimate $f^{\prime \prime }$ by the second derivative kernel density estimatorand integrate its square. Its integrated variance contains a diagonal term $\Vert L^{\prime \prime }{\Vert }_2^2/(n{b}^5)$, which should not be mistaken for the target. A useful corrected U-statistic removes that diagonal:Its expectation is $\Vert L_b\ast f^{\prime \prime }{\Vert }_2^2$. Thus smoothing bias of an estimator, rather than the diagonal contribution, remains. For a smooth compactly supported probability pilot kernel, the same variance calculation givesThe second term tends to zero because convolution with a shrinking probability kernel approximates every $L^2$ function. Thus $b\to 0$ and $n{b}^5\to \infty$ make the raw squared pilot estimate consistent for the quadratic density derivative functional. If $Q_b=\int ({\hat{f}}_b^{\prime \prime }{)}^2$, thenso the diagonal-corrected U-statistic is consistent under the same choice. Consistency already uses the assumed $f^{\prime \prime }\in L^2$; the additional third-derivative hypothesis is relevant to more ambitious rate heuristics.

Three bounded continuous derivatives do not justify a general root-$n$ estimation rate for $J_2$. For a smooth perturbation $a$ with compact support, the directional derivative iswhere the last expression requires a fourth derivative in the appropriate weak sense. A regular root-$n$ argument would need an influence function proportional to $f^{(4)}$, with finite variance under $f$. Three derivatives do not supply that condition.

For a more quantitative heuristic, impose the additional assumption $f\in H^{\beta }$, use a smooth Fourier cutoff of width $1/b$, and estimate the quadratic functional by its off-diagonal U-statistic. The tail bias of an estimator is $O(b^{2(\beta -2)})$ because the Plancherel theorem weights this functional by frequency to the fourth power. The degenerate part of its standard deviation is $O(n^{-1}{b}^{-9/2})$: the squared $L^2$ norm of the quadratic kernel scales as $b^{-9}$. At $\beta =3$, these two terms balance at $b\asymp n^{-2/13}$ and have size $n^{-4/13}$, already slower than $n^{-1/2}$; any additional first-order variance cannot improve that balance. To make both terms $O(n^{-1/2})$ requires $b^{2(\beta -2)}\lesssim n^{-1/2}$ and $b^{-9/2}\lesssim n^{1/2}$, which are compatible only when $\beta \ge 17/4$. This is an illustrative smoothness calculation under extra Sobolev and moment assumptions, not a rate theorem asserted solely from bounded third derivatives. Particular much smoother probability density functions may of course permit root-$n$ estimation.

For a primitive Dirichlet character the previous formula gives $|\hat{\chi }(a)|=|\chi (a)||\hat{\chi }(1)|$. The Plancherel theorem for the unitary finite transform yieldsThus $|\hat{\chi }(1)|=1$, the normalized Gauss sum of a Dirichlet character magnitude.

For an imprimitive character modulo $p^k$ with $k\ge 2$, its values on residues are periodic modulo $p^{k-1}$: descent preserves the values on units, and divisibility by $p$ is unchanged by that shift. Splitting the sum into these residue classes gives a factor ${\sum }_{j=0}^{p-1}e(-j/p)=0$. Hence $\hat{\chi }(1)=0$. If $k=1$, the only imprimitive character is principal, and its Gauss sum is ${\sum }_{n=1}^{p-1}e(-n/p)=-1$, giving $|\hat{\chi }(1)|=p^{-1/2}$. All cases satisfy the required bound.

Use the Fourier transform convention $\hat{\nu }(\xi )=\int e^{-ix\cdot \xi }d\nu (x)$ throughout this question. The decay assumption implies square integrability, since polar coordinates giveNear zero the integrand is bounded by $r$, and at infinity it is bounded by $r^{-1-2ϵ}$. The positive $ϵ$ is what makes the latter integrable.

By the Plancherel theorem, there is a function $g\in L^2({\mathbb{R}}^2)$ whose Fourier transform is $\hat{\mu }$. It is the density of $\mu$ with respect to Lebesgue measure. To justify this step rather than assume a density, for every Schwartz function $\phi$, Fourier inversion givesThe finite measure and the locally integrable function thus define the same tempered distribution, so they agree as measures: $d\mu =gdx$. In particular $g\ge 0$ almost everywhere and $\int g=\mu ({\mathbb{R}}^2)<\infty$. This is the L2 density from a square-integrable Fourier transform principle.

For $f\in L^{\infty }(\mu )$, the density of $fd\mu$ is $fg$. The inequality $|f|\le \Vert f{\Vert }_{L^{\infty }(\mu )}$ holds wherever $g>0$, apart from a Lebesgue measure zero set, soA second application of the Plancherel theorem yields the explicit boundThe implicit constant in the requested estimate may depend on the measure and its Fourier-decay bound, but is independent of $f$.

We use the homogeneous version of the Sobolev embedding theorem in three dimensions:Here homogeneous Sobolev space ${\dot{H}}^1$ is the completion of compactly supported smooth functions in the L2 norm of the gradient, identified with its $L^6$ representative. Apply this Sobolev inequality both to $\varphi$ and to its spatial derivatives.

LetThe Plancherel theorem identifies the L2 norm of the Hessian matrix with $\Vert \varphi {\Vert }_{{\dot{H}}^2}$, because ${\sum }_{i,j}{\xi }_i^2{\xi }_j^2=|\xi {|}^4$. In particular,Differentiating the defocusing semilinear wave equation gives $\square ({\partial }_i\varphi )=3{\varphi }^2{\partial }_i\varphi$. By the Holder inequality with exponents $3$ and $6$, the preceding Sobolev inequality, and conservation of the positive wave energy,Use the inhomogeneous wave energy estimate simultaneously for the three spatial derivatives. It givesThe Gronwall inequality therefore yields $B(t)\le D\exp (CEt)$. We may take the continuous, locally bounded functionThe constant is universal; the dependence on the initial data is only through $D$ and $E$. The H2 bound for the defocusing cubic wave equation holds on every existing smooth interval, without assuming the global conclusion. If $D=0$ or $E=0$, the zero solution satisfies the same estimate.

Use the unnormalized Fourier transform in the question and the Plancherel theorem, with inverse factor $1/(2\pi )$. For a general $L^2$ scaling function, the transform is interpreted in the $L^2$ sense; the printed integral need not be absolutely convergent. All frequency identities are almost-everywhere statements.

Changing variables in the Fourier transform givesThus taking the transform of the scaling refinement equation gives $f(\xi )=m(\xi /2)f(\xi /2)$, orConversely the same calculation and injectivity of the Fourier transform recover refinement, with convergence understood in $L^2$.

To justify both the orthogonality assertion and this convergence precisely, put $P(t)={\sum }_{k\in \mathbb{Z}}|f(t+2\pi k){|}^2$. It belongs to $L^1[-\pi ,\pi ]$ by monotone integration. The Plancherel theorem givesHence orthonormality of all integer translates is equivalent, by uniqueness of Fourier coefficients in L1, to the periodized-energy conditionWhen this holds, the squared norm of ${\sum }_n{a}_n\varphi (2\cdot -n)$ is $\frac{1}{2}{\sum }_n|a_n{|}^2$, so square-summable coefficient series converge in $L^2$. In the converse direction the refinement identity and $P=1$ give, by splitting the periodization of $|f(2t){|}^2$ into even and odd translates,Thus $m$ is bounded and its Fourier coefficients $a_n/2$ are square summable. If $m_N$ are its Fourier partial sum, thenThis verifies the transformed refinement series converges to $f$, completing the equivalence of the two pairs of conditions without imposing an unnecessary $L^1$ assumption on $\varphi$.

We place the definitions and the unheaded preliminary requests here before addressing the first labelled property. The Schwartz space consists of smooth functions with finite seminormsfor every pair of multi-indices. Convergence means convergence in each seminorm. The tempered distribution space ${\mathcal{S}}^{\prime }({\mathbb{R}}^n)$ is its continuous dual space, with weak convergence tested against every Schwartz function. A continuous functional satisfies a bound by finitely many of these seminorms, equivalently by one sufficiently large weighted derivative seminorm.

Use the Fourier transform conventionDifferentiation under the integral and integration by parts express ${\xi }^{\alpha }{\partial }_{\xi }^{\beta }\hat{f}$ as a constant of modulus one times the Fourier transform of ${\partial }_x^{\alpha }(x^{\beta }f)$. Its supremum is bounded by the $L^1$ norm of that function. For $s>n$, this norm is at most a constant times finitely many Schwartz seminorms, using the integrable weight $(1+|x|{)}^{-s}$. Thus $\mathcal{F}:\mathcal{S}\to \mathcal{S}$ is continuous.

For completeness, Fourier inversion follows by inserting $e^{-\epsilon |\xi {|}^2}$ in the inverse integral and using Fubini's theorem. The result is convolution with the Gaussian approximate identityIt tends to $f$, while integrability of $\hat{f}$ allows the damping factor to be removed by dominated convergence theorem. Consequently ${\mathcal{F}}^{2}f=(2\pi {)}^{n}f(-\cdot )$. Reflection preserves every Schwartz seminorm, so the inverse transform is continuous as well. This proves the Fourier transform isomorphism of the Schwartz space.

Define the Fourier transform of a tempered distribution by transposition,The Schwartz-space continuity just proved makes this a tempered distribution. Its inverse is $(2\pi {)}^{-n}\mathcal{R}\mathcal{F}$, where $⟨\mathcal{R}u,\psi ⟩=⟨u,\psi (-\cdot )⟩$. These maps are continuous for weak convergence, since each pairing is a pairing with a fixed transformed test. They are also continuous for the strong dual topology, because the Schwartz-space maps take bounded sets to bounded sets.

The convolution of a tempered distribution with a Schwartz function isSmooth dependence of translated Schwartz functions gives ${\partial }^{\alpha }(u\ast \phi )(x)=⟨u,{\partial }^{\alpha }\phi (x-\cdot )⟩$. The finite-seminorm estimate and $1+|y|\le (1+|x|)(1+|x-y|)$ show that each derivative has at most polynomial growth. In particular, $u\ast \phi$ is a smooth function defining a tempered distribution. It need not itself be a Schwartz function; for example $1\ast \phi =\int \phi$.

Writing $\check{\phi }(y)=\phi (-y)$, its distributional pairing is $⟨u\ast \phi ,\psi ⟩=⟨u,\check{\phi }\ast \psi ⟩$. The inner convolution is a Schwartz function, and this identity follows by integration in the Schwartz topology, justified by the weighted seminorm estimates. A direct Fubini's theorem calculation gives $\check{\phi }\ast \hat{\psi }=\mathcal{F}(\hat{\phi }\psi )$. HenceMultiplication is well defined because multiplication by $\hat{\phi }$ acts continuously on $\mathcal{S}$.

Now write the Hilbert transform as convolution with $K={\pi }^{-1}\mathrm{pv}(1/x)$, the principal-value reciprocal distribution. The given Heaviside function transform, together with ${\mathcal{F}}^{2}H=2\pi H(-\cdot )$, yieldsThe value of the sign function at zero is irrelevant to its regular distribution. Thus the Hilbert-transform Fourier multiplier isApplying Plancherel theorem, whose normalization here is $\Vert f{\Vert }_2^2=(2\pi {)}^{-1}\Vert \hat{f}{\Vert }_2^2$, proves the isometry:The principal-value integral agrees with this convolution: near its singular point subtract $\phi (x)$, and use odd cancellation; at infinity the Schwartz decay gives convergence. The Hilbert transform has domain $\mathcal{S}$, but generally does not take values in $\mathcal{S}$, as the tail in part (c) demonstrates.

Use ${\hat{u}}^n(\theta )={\sum }_m{u}_m^n{e}^{-im\theta }$, initially for finite-support sequences and then by Plancherel theorem for ${\ell }^2$. A shift by $k$ multiplies the transform by $e^{ik\theta }$. Hence the recurrence givesHere the last equality is understood with time-zero data, and the scheme is assumed well-defined, so the denominator is nonzero or any removable singularity is filled continuously.

If $|H|\le 1$, Plancherel gives $\Vert u^n{\Vert }_2\le \Vert u^0{\Vert }_2$ for every $n$. Conversely, if the continuous amplification factor has $|H({\theta }_0)|>1$, it exceeds $1+\delta$ on an interval of positive length. Choose a nonzero initial Fourier transform supported in that interval. Then $\Vert u^n{\Vert }_2\ge (1+\delta {)}^n\Vert u^0{\Vert }_2$, contradicting a uniform stability bound. Therefore uniform power stability holds exactly whenWithout continuity the exact condition is an essential-supremum bound, since isolated Fourier frequencies have zero measure. The fixed recurrence here uses a bound uniform over all time steps; mesh-dependent finite-time growth bounds are a different stability convention.

Let $w(\xi )=(1+|\xi {|}^2{)}^{s/2}$. The map $U:f\mapsto w\hat{f}$ is linear, and $\Vert U(f+g){\Vert }_2\le \Vert Uf{\Vert }_2+\Vert Ug{\Vert }_2$ proves the vector-subspace claim. The stated inner product is $\int w^2\hat{f}\overline{\hat{g}}$. By the Plancherel theorem it is positive definite.

More strongly, $U:H^s\to L^2$ is onto: for $h\in L^2$, $w^{-1}h\in L^2$, since $w\ge 1$, and $f={\mathcal{F}}^{-1}(w^{-1}h)$ satisfies $Uf=h$. Thus $U$ is an isometric linear bijection, and completeness of $L^2$ givesThis argument includes $s=0$ if zero is allowed in the printed ${\mathbb{R}}_{+}$ convention.

At zero, the partial products are $m(0{)}^n$. Their assumed convergence and $|m(0)|=1$ force $m(0)=1$ and $\Theta (0)=1$. Uniform convergence on compact sets makes $\Theta$ continuous. The identity with $k=0$ gives $\Theta \in L^2$ with squared norm $2\pi$. Define $\phi$ by the inverse Fourier transform in $L^2$. The Plancherel theorem and the other given integral identities giveDefine $V_j$ as the closed span of ${\phi }_{j,k}(x)=2^{j/2}\phi (2^{j}x-k)$. These functions form an orthonormal basis of $V_j$, and dyadic dilation gives the scale axiom. Shifting the infinite product givesso the finite Fourier series of $m$ gives a scaling refinement equation and $V_j\subset V_{j+1}$. The coarse-scale projection argument of part 1(b) proves the trivial-intersection axiom.

For density, take a function $f$ with bounded Fourier support. The MRA projection Fourier identity gives, for large $j$,Uniform convergence of $\Theta (2^{-j}\xi )$ to one on that support proves the limit. Since $P_j$ is an orthogonal projection, $\Vert f-P_{j}f{\Vert }_2^2=\Vert f{\Vert }_2^2-\Vert P_{j}f{\Vert }_2^2\to 0$. Such functions are dense in $L^2$, givingThus all the multiresolution analysis axioms hold. Under the strong convergence and orthogonality assumptions supplied here, the additional nonvanishing condition is not needed in this last verification; it is useful when establishing those assumptions from a filter.

For $f=1_{[-1,1]}$, part (b) gives $\hat{f}(u)=2\sin u/u$. The Plancherel theorem in the stated Fourier convention givesSince the left side is two,The integrand is even, so the sinc-squared integral is

Extend $u$ by zero to ${\mathbb{R}}^n$; its compact support inside the ball makes the extension smooth. The Fourier transform of a derivative givesThe assumption says that $L_0$ is a uniformly elliptic operator, soMoreover,The Plancherel theorem therefore yieldsAll integrands vanish outside the original support where appropriate, so

Taking the Fourier transform of a derivative givesThus, away from $\xi =0$,This formula determines the $L^2$ solution uniquely; a distribution supported only at $\xi =0$ cannot belong to $L^2$ unless it is zero.

For $|\xi |\le 1$, the Fourier transform estimate $|\hat{f}(\xi )|\le C\Vert f{\Vert }_1$ and local integrability of $|\xi {|}^{-2}$ in three dimensions control the squared norm. For $|\xi |>1$,The Plancherel theorem therefore yields $\Vert B_j{\Vert }_{H^{s+1}}\le C(\Vert f{\Vert }_1+\Vert f{\Vert }_{H^s})$. Finally the Sobolev embedding theorem in three dimensions gives $H^{s+1}\subset C^1$ when $s+1>1+3/2$, namely when $s>3/2$.