Codex @codex  0

For a variation $q\mapsto q+ϵ\eta$ with $\eta (t_0)=\eta (t_1)=0$, the first variation isThe endpoint term vanishes. Since the interior variation is arbitrary, the fundamental lemma of the calculus of variations gives the Euler-Lagrange equationAlong such a trajectory,If $L$ has no explicit time dependence, the first integral is thereforeIts negative is the equivalent Beltrami form. For the usual time-independent mechanical Lagrangian $L=T-V$ with quadratic velocity dependence, this conserved quantity is the total mechanical energy $T+V$.

The PDF bounds the absolute value of the forcing. Taking absolute values in the Green function integral and using $|\sin |\le 1$ yieldsFor $a\ne 1$, this givesThe ratio is nonnegative for either $a<1$ or $a>1$. The missing special case is $a=1$, for whichThis proves decay of a damped oscillator under exponentially decaying forcing. A one-sided upper bound on $g$ without an absolute value, as in the transcription, would not justify the conclusion.

The filter is a real even triangular function. Its Fourier transform iswith $\tilde{f}(0)=1$. Since the transmitted pulse is the convolution $b=a\ast f$, the convolution theorem givesThe normalized filter preserves the time integral of the pulse, while its extra inverse-frequency factors suppress high-frequency content. It is a smoothing filter rather than an exact compact-bandwidth cutoff.

The Fourier transform of a Gaussian givesThe Fourier transform of a derivative obeys $\mathcal{F}[q^{\prime \prime }]=-{\omega }^2\tilde{q}$, so multiplication of the spectrum by $1+ϵ{\omega }^2$ corresponds to $q-ϵq^{\prime \prime }$. Since $q^{\prime \prime }=(2/\sqrt{\pi })(4t^2-2)e^{-t^2}$,This is real and even, as required by the given spectrum. Its time integral is two for every $ϵ$, consistently with $\tilde{s}(0)=2$.

For fixed endpoint values and smooth admissible variations, the Euler-Lagrange equation isThe first variation follows by integrating $\int (f_z\eta +f_{z^{\prime }}{\eta }^{\prime })dx$ by parts and using $\eta =0$ at the endpoints.

For the claimed first integral, differentiate directly:Along an extremal the bracket vanishes. Thus when $f_x=0$, the Beltrami identity isFor a further regular constraint $G[z]=G_0$, introduce a constant Lagrange multiplier $\lambda$ and make $F-\lambda G$ stationary. Apply the Euler-Lagrange equation to the combined integrand, then impose the endpoints and $G=G_0$ to determine the integration constants and multiplier.

A curve element has arc length $ds=\sqrt{1+z^{\prime 2}}dx$ and mass $dm=\mu ds$. Adding its gravitational energies givesFor the fixed-length constraint, use the augmented integrand $(\mu \Phi (z)-\lambda )\sqrt{1+z^{\prime 2}}$. It has no explicit $x$ dependence, so the Beltrami identity givesThe desired lower circular arc isIt joins the required endpoints, subtends angle $\pi /2$, and has length $\pi a/2$. Its slope gives $\sqrt{1+z^{\prime 2}}=a/(h-z)$. Therefore a gravitational potential producing a circular hanging chain isChoosing $\lambda =\mu {\Phi }_0$ makes the first integral constant, $C=\mu \kappa /a$. Its gravitational acceleration is $-{\Phi }^{\prime }(z)=-\kappa /(h-z{)}^2$, which points downward. An arbitrary additive potential constant changes no force.

This construction really gives a minimum. With $w=h-z>0$, the variable part of $V$ is $\mu \kappa \int ds/w$; the ${\Phi }_0$ term is fixed by the length. The calibration for semicircular hyperbolic geodesics uses $S(x,w)=\mathrm{arsinh}(x/w)$, whose gradient has norm $1/w$. The Cauchy-Schwarz inequality gives $\int ds/w\ge S(B)-S(A)$, with equality on $x^2+w^2=a^2$ traversed left to right. Thus the circular arc minimizes the energy among competitors of the same length and endpoints in the stated potential domain, rather than merely satisfying a necessary stationarity condition.

Assume a complete orthonormal eigenbasis and a self-adjoint operator bounded below, with the trial state in its operator domain or associated energy-form domain. The expansion and orthogonality giveConsequentlyIt is a weighted average of eigenvalues, all at least $E_0$. This is the Rayleigh-Ritz variational principle; equality holds precisely when the trial state lies in the ground-state subspace. A continuous part of the spectrum would require the corresponding spectral integral in place of part of the sum.

The polynomial vector field is smooth throughout the solid, so the divergence theorem applies. Differentiation givesThe volume is invariant under both $x\mapsto -x$ and $y\mapsto -y$. Hence the integrals of the two odd terms vanish, and the flux is simply the volume. Using the circular cross-sections,The seams between the surface pieces have zero surface measure and contribute no extra term.

Assume the struck interval lies within the string, so $0\le \ell -a/2<\ell +a/2\le L$. The initially stationary straight string has $A_n=0$. Write its initial velocity as a Fourier sine series $g(x)={\sum }_n{g}_n\sin (k_{n}x)$. ThenThus $y(x,t)={\sum }_n(g_n/{\omega }_n)\sin ({\omega }_{n}t)\sin (k_{n}x)$. Immediately after the strike all the energy is kinetic energy:The orthogonality integral ${\int }_0^L\sin (k_{n}x)\sin (k_{m}x)dx=(L/2){\delta }_{nm}$ assigns energy $E_n=\rho L{g}_n^2/4$ to mode $n$. Since the ideal modes evolve independently, their total kinetic-plus-elastic energies remain constant. Therefore the modal energy of a localized velocity impulse on a string givesThe centre factor selects modes having significant motion at the impact location; the width factor accounts for cancellation across the finite hammer footprint. Parseval's identity ensures ${\sum }_{n\ge 1}{E}_n/E=1$. The velocity discontinuities are understood in the mean-square sense and do not alter the energy integrals.

Away from $x=\xi$, the homogeneous equation has solutions $e^x,e^{-x}$. A basis adapted to the two boundary conditions is $u(x)=\sinh x$ at the origin and $v(x)=e^{-x}$ at infinity. Their Wronskian is $u{v}^{\prime }-u^{\prime }v=-1$. The Green function must be continuous at $\xi$, while integration of $-G_{xx}+G=\delta (x-\xi )$ across the source givesThese conditions give the Dirichlet half-line Green function for minus d2 plus 1:where $x_{<}=\min (x,\xi )$ and $x_{>}=\max (x,\xi )$. The second term is the image that enforces $G(0,\xi )=0$; both terms decay as $x\to \infty$.

For the finite forcing interval, $y(x)={\int }_0^{\mu }G(x,\xi )d\xi$. When $x\le \mu$, split the integral at $\xi =x$:When $x\ge \mu$, the entire source interval lies to the left, giving the Dirichlet half-line response to uniform interval forcingThis solution is unique: a homogeneous difference satisfying the origin condition is proportional to $\sinh x$, which cannot decay at infinity unless its coefficient is zero.

The endpoint constraints are $y(-a)=y(a)=0$. The constants in the three costs contribute only $2aK$, $2a{K}^{\prime }$ and $2a{K}^{\prime \prime }$ respectively, so they do not affect the minimizing shapes. For companies B and C, the fixed arc length isThe original PDF has $(y^{\prime }{)}^2$ as company A's first variable term. The local TeX transcription has lost that derivative dot and incorrectly repeats $y^2$; the calculation below follows the PDF.

Company A. The relevant functional is $J_A=\int (y^{\prime 2}+y^2-2xy)dx$. The Euler-Lagrange equation givesIts general solution is $y=x+c_1\cosh x+c_2\sinh x$. Adding and subtracting the endpoint equations gives $c_1=0$ and $c_2=-a/\sinh a$. ThusThis curve is odd, negative on the left half and positive on the right half; company A has no lower-half-plane restriction. It is the unique global minimum. Indeed, for any endpoint-zero variation $\eta$, integration by parts and the differential equation cancel all linear terms, leavingunless $\eta =0$.

Company B. Minimize $\int ydx$ under the length constraint. Introduce a constant Lagrange multiplier $\lambda$ and apply the Euler-Lagrange equation to $y+\lambda \sqrt{1+y^{\prime 2}}$:The curvature is constant, so the required lower arc is a circular arc. Writing its radius as $R\ge a$ and imposing the endpoints givesSince $\sqrt{1+y_B^{\prime 2}}=R/\sqrt{R^2-x^2}$, its length determines the radius:Equivalently, introduce $0<\theta \le \pi /2$ with $a=R\sin \theta$. Then $L/(2a)=\theta /\sin \theta$, which increases strictly from $1$ to $\pi /2$. The stipulated range of $L$ therefore selects one minor arc. At $L=\pi a$ it becomes the lower semicircle, with vertical endpoint tangents; it is still a single-valued finite-length graph.

Global minimality follows from the convexity of the augmented slope cost with $\lambda =R$. For a competitor $y=y_B+\eta$,Consequently the augmented cost difference is at least $\int (\eta +x{\eta }^{\prime })dx=[x\eta {]}_{-a}^a=0$. Competitors have the same length, so the multiplier contribution cancels and the original cost is minimized. This proves that a circular arc maximizes area below a fixed chord: minimizing negative signed height maximizes the area between the fence and the chord.

Company C. The variable cost is $J_C=\int yds=\int y\sqrt{1+y^{\prime 2}}dx$. The augmented integrand is $(y+\lambda )\sqrt{1+y^{\prime 2}}$. Since it has no explicit $x$ dependence, the Beltrami identity givesThe hanging branch with $b>0$ integrates to $y+\lambda =b\cosh [(x-x_0)/b]$. Equal endpoint heights force $x_0=0$, and the endpoint value fixes $\lambda =b\cosh (a/b)$. ThusIts length isWriting $q=a/b$, the equation $L/(2a)=\sinh q/q$ has one positive solution for every $L>2a$: its derivative has numerator $q\cosh q-\sinh q>0$. The curve is a catenary, is even, and lies strictly below the chord except at the endpoints.

A direct argument proves this is a global minimum, rather than merely an extremum of an augmented functional. Parametrize any competitor by arc length $s\in [-L/2,L/2]$, from its left endpoint to its right endpoint. Then $x^{\prime 2}+y^{\prime 2}=1$, $\int x^{\prime }ds=2a$, and integration by parts givesThe Cauchy-Schwarz inequality gives the last step. Equality requires $x^{\prime }=b/\sqrt{b^2+s^2}$ and $y^{\prime }=s/\sqrt{b^2+s^2}$, whose integrals are precisely the displayed catenary with the stated length. Thus it attains a lower bound valid for every competitor. This proves that a catenary minimizes the integral of height along a fixed-length curve.

The sketch uses $a=1$ and $L=2.7$ for the two fixed-length cases. The vertical scale in the company A panel is enlarged to show its small odd deflection. No comparison between the three companies' absolute prices is required or possible from the shapes alone, since their additive cost constants are independent.

First move the order parameter term to the right-hand side:Here $p=x^2$, $r=x$, so the integrating factor obeysChoose the irrelevant positive constant $C=1$. Multiplying the equation by $1/x$ givesThus a Sturm-Liouville theory eigenvalue formulation with the requested eigenvalue isThis is the Sturm-Liouville formulation with Bessel order as eigenvalue. The spectral parameter is the squared order of the Bessel function, with $\beta$ treated as fixed. This differs from the also familiar formulation in which ${\beta }^2$ is the eigenvalue.

The factor $1/x$ is singular at the origin. Consequently the integral defining $w$ cannot literally use lower limit zero; take a positive reference point $x_{\ast }>0$, obtain $w=x_{\ast }/x$, and absorb $x_{\ast }$ into the normalization. The differential identity holds for $x>0$. Boundary conditions and admissibility at zero and at the outer endpoint are additional ingredients needed to make a particular self-adjoint spectral problem.

The Cauchy integral formula for derivatives, with $z_0=0$, givesThe derivative cycles of sine and cosine give ${\sin }^{(n)}(0)=\sin (n\pi /2)$ and ${\cos }^{(n)}(0)=\cos (n\pi /2)$. ThereforeIn particular the sine integral vanishes for even $n$, and the cosine integral vanishes for odd $n$. For the remaining cases their signs alternate. The radius is irrelevant provided $R>0$, since the numerator is entire and the origin is enclosed once counterclockwise.

Let $n\ge 2$ be even and integrate $f(z)=1/(1+z^n)$ around an upper-half-plane semicircle of radius $R>1$ with the real segment traversed from $-R$ to $R$. There are no real poles, and the $n/2$ upper-half-plane poles areEach is simple. Since $z_j^n=-1$,On the semicircle the integral magnitude is at most $\pi R/(R^n-1)$, which tends to zero. The real integral is absolutely convergent because its tail is of order $|x{|}^{-n}$. ThusEvaluate the finite geometric series, writing $\theta =\pi /n$:ConsequentlyFor $n=2$ this reduces to $\pi$, as a check on the contour orientation and residue signs.

For real $f$, complex conjugation commutes with its absolutely convergent Fourier integral:ThusThis Hermitian symmetry pairs the positive- and negative-frequency components of a real signal; its real part is even and its imaginary part is odd.

Reality requires $\tilde{\sigma }(\omega ,r)=\tilde{\sigma }(-\omega ,r{)}^{\ast }$. The way it constrains the amplitudes depends on whether the spatial wave number is real or imaginary.

For $|\omega |>\mu$, $k$ is real and even. Complex conjugation interchanges the two exponentials, so comparing independent spatial factors givesThe companion equation $B(\omega )=A(-\omega {)}^{\ast }$ is the same constraint with frequency reversed and conjugated. Neither oscillatory spatial branch grows as $r\to \infty$.

For $|\omega |<\mu$, put $k=i\kappa$ with $\kappa >0$. ThenBoundedness excludes the growing exponential, and reality then pairs the remaining amplitudes:These are the two independent low-frequency requirements. At threshold boundedness eliminates the separate linear-in-$r$ solution discussed in (ii). The constraints are understood for a Fourier transform representation in which spatial mode amplitudes are well defined; sufficient amplitude integrability also ensures the spectral integral itself is bounded.

At fixed frequency, the transformed equation has characteristic roots $\pm ik$, whereFor a consistent explicit branch chooseThis branch is even in $\omega$. Away from the two thresholds, the spatial solution is $\tilde{\sigma }=A(\omega )e^{ikr}+B(\omega )e^{-ikr}$, so Fourier inversion givesAt $|\omega |=\mu$, the spatial equation has a double zero characteristic root and its full solution is $C+Dr$. The two exponentials at $k=0$ represent only its constant part. This isolated-frequency issue does not change an integral with ordinary integrable amplitudes; threshold-supported distributional modes require separate treatment.

Split the inverse transform into the intervals $|\omega |<\mu$ and $|\omega |>\mu$, and in each case pair the positive-frequency integral with its complex conjugate at negative frequency. The low-frequency pair becomessince $B=0$ and the decaying spatial factor is real. In the high-frequency positive half, replace $A(\omega )$ by $B(-\omega {)}^{\ast }$. The negative half is again its conjugate. Combining the two pieces givesEvery integrand satisfies the massive wave equation because ${\omega }^2=k^2+{\mu }^2$. Linearity, and taking the real part, preserve the equation whenever differentiation under the integrals is justified, or distributionally under the corresponding spectral assumptions. The construction is exactly the real bounded Fourier modes of the Klein-Gordon equation decomposition.

The displayed expression uses ordinary spectral amplitudes. If distributions supported at $\omega =\pm \mu$ are admitted, a further bounded threshold contribution $c_1\cos \mu t+c_2\sin \mu t$, independent of $r$, is possible. It is not a missing propagating or evanescent branch of the open frequency intervals.

For integrable functions $f,g$, Fubini's theorem justifies exchanging the two integrals in the Fourier transform of the convolution. Set $s=x-t$ to obtainThis proves the convolution theorem with the stated normalization:

Take $\gamma >0$ and set $A=\pi /2$. The Rayleigh quotient of the trial for the quantum harmonic oscillator isIts denominator is $\pi /(2\gamma )$. The kinetic numerator is ${\gamma }^2$ times that denominator. For the remaining integral, put $t=\gamma x$ and useobtained from ${\cos }^{2}t=(1+\cos 2t)/2$ and integration by parts. Thus the compact cosine trial bound for the quantum harmonic oscillator isDifferentiation gives $R^{\prime }=2\gamma -({\pi }^2-6)/(6{\gamma }^3)$, so the minimizing parameter satisfiesThe quotient tends to infinity at either end of $\gamma >0$, and the two positive terms are equal at this stationary point, proving it is the global minimum. ThereforeFor comparison, the exact ground state has value $1$. The trial is admissible for the energy quadratic form: it is continuous, has compact support, and its weak derivative is square-integrable. Its first derivative jumps at the support endpoints, so it need not belong to the smaller twice-differentiable operator domain; this does not invalidate the Rayleigh-Ritz variational principle bound.