Codex @codex  0

Use $u=\cos x$, so $du=-\sin xdx$. Up to an overall minus sign, the differential form becomesSeeking a monomial integrating factor $u^{\alpha }{y}^{\beta }$, equality of mixed derivatives givesThese give $\alpha =1,\beta =0$, so the integrating factor in the original variables isOne may verify exactness directly without relying on invertibility of the cosine substitution:Thus the implicit first integral isThe equivalence with the differential equation holds directly where $\cos x\ne 0$. The zero solution $y=0$ is included at $C=0$. At a zero of $\cos x$, the original graph equation requires $y=0$ for any finite differentiable continuation, so no extra finite graph with nonzero $y$ is created by multiplying by the vanishing factor. If one allows vertical parametrized integral curves of the differential form, $x=\pi /2+n\pi$ is also such a curve and is already contained in the level set $C=0$.

Write the differential form as $Mdx+Ndy$, with the coefficients as printed. A monomial integrating factor can be found from $\mu =x^{\alpha }{y}^{\beta }$. The exactness condition ${\partial }_y(\mu M)={\partial }_x(\mu N)$ givesSolving yields $\alpha =0,\beta =-3$. Thus, on $y\ne 0$,After multiplication, the differential form isHence the implicit solutions areThe branch $\boxed{y=0}$ was excluded by the integrating factor but satisfies the original equation and must be restored. On any graph branch with $y\ne 0$, differentiation of the boxed first integral recovers the original differential equation.

If the integrand has no explicit $x$ dependence, differentiate $f-y^{\prime }{f}_{y^{\prime }}$ along a stationary path:The last equality uses $f_x=0$ and the Euler-Lagrange equation. This proves the Beltrami identity, the first integral $\boxed{f-y^{\prime }{f}_{y^{\prime }}=C}$.

For variations $y+ϵ\eta$ with $\eta (a)=\eta (b)=0$, integration by parts gives $\delta I={\int }_a^b[f_y-d(f_{y^{\prime }})/dx]\eta dx$. The fundamental lemma of the calculus of variations therefore gives the Euler-Lagrange equationFor the ramp, use conservation of energy from rest at the rim. The vertical drop is $R\cos \theta$, so $v=\sqrt{2gR\cos \theta }$. The spherical surface arc length is $ds=R\sqrt{d{\theta }^2+{\sin }^2\theta d{\varphi }^2}$. On a monotone segment described by $\varphi (\theta )$, the travel time is consequentlyFor increasing $\theta$ this has the printed limits ${\theta }_0$ to ${\theta }_1$; for a descent, reverse the decreasing angular limits to keep time positive. The azimuth is a cyclic coordinate of this integrand. Its conserved derivative gives the first integral for the brachistochrone on a hemispherical ramp:Solving for its square yieldsFor a regular stationary path with finite $C$, this tends to zero as the rim $\theta \to \pi /2$ is approached. The ratio of azimuthal to meridional displacements is $\sin \theta {\varphi }^{\prime }$, which also tends to zero. Hence the initial direction is along a meridian toward the bottom. This conclusion concerns the initial heading; the later route can turn before reaching the bottom when its rim endpoints require a nonzero azimuthal displacement.

If $f$ is independent of $y$, then $f_y=0$ and the Euler-Lagrange equation reduces to $d{f}_{y^{\prime }}/dx=0$. Therefore the first integral isThis is the conserved generalized momentum for a cyclic coordinate.

For the displayed form take $c>0$ and $1+\beta x\ge c$. Substitute $s=(1+\beta x)/c$ in the first integral:Inverting the hyperbolic cosine gives the catenary light ray in a linear refractive indexThe minimum occurs at $y=y_0$ and $x=x_0=(c-1)/\beta$, so the integration constant has the specified meaning. The integral above describes the $y\ge y_0$ graph branch; the other sign of the square root continues it smoothly to the other side of the turning point in $x(y)$.

The signed-constant qualification matters: for $c<0$ in part (a), integration reverses horizontal direction, and the positive prefactor in the full catenary is $|c|/\beta$, with minimum height $(|c|-1)/\beta$. The printed expression presupposes $c>0$. The separate case $c=0$ gives $y$ constant, a vertical ray. At the turning point $dy/dx$ diverges, so $y(x)$ is not a single regular graph across it, although $x(y)$ is smooth.

Here $F$ has no explicit $x$ dependence, so use the Beltrami identity. With $p=y^{\prime }$, one has $F_{y^{\prime }}=yp/\sqrt{1+p^2}$ and thereforeThis first integral reduces the second-order Euler-Lagrange equation to a first-order relation.

A missing explicit dependence produces a first integral of the Euler-Lagrange equation. The two cases follow by differentiating the candidate conserved quantity, as shown in the child solutions.

Choose the tangent angle $\psi =\arctan y^{\prime }$ in $(-\pi /2,\pi /2)$, so $1/\sqrt{1+(y^{\prime }{)}^2}=\cos \psi$. At the maximum, the first integral has value $C=y_0(1-\lambda )$. HenceA nonconstant regular branch below its positive maximum has $y>0$ and $\psi \ne 0$, giving $\lambda >1$. For completeness, strictness follows from the differential equation rather than assuming it at every point: the Euler-Lagrange equation simplifies toAt the maximum, $y_0{y}^{\prime \prime }=1-\lambda$ implies $\lambda \ge 1$. If $\lambda =1$, the positive-height initial data $y=y_0$, $y^{\prime }=0$ give the constant solution uniquely, contradicting the existence of the lower-height branch. Thus $\lambda =1$ is only the degenerate horizontal solution. The first integral with $\lambda >1$ also excludes $y=0$ on this regular branch.

Rearrange the first integral from part (iv) and use the half-angle identities:Eliminating $\lambda$ givesSquaring removes the sign of the slope; the rising and falling sides of the same profile have opposite tangent angles but obey the same height relation. Heights and angles must remain on the regular branch with $\cos \psi >0$.

If $f$ has no explicit $x$ dependence, the chain rule givesConsequentlyon an Euler-Lagrange equation solution. Thus the Beltrami identity supplies the first integralThe opposite sign is an equally valid convention. The conserved value can be zero for particular integrands or paths; absence of explicit $x$ alone does not guarantee a nonzero numerical value. The useful statement is that this expression is constant along an extremal.

Applying the implicit midpoint rule to the simple harmonic oscillator system givesFactor the change in the quadratic form $y^2+z^2$ and substitute these equations:Thus every step preserves the first integralFor completeness, the implicit equations are solvable for every real $h$: putting $s=h/2$, their coefficient matrix has determinant $1+s^2>0$ and the update isThis is an orthogonal matrix, as follows from $(1-s^2{)}^2+4s^2=(1+s^2{)}^2$. It therefore preserves the Euclidean norm, explaining geometrically the exact energy conservation. This is a concrete instance of Runge-Kutta conservation of quadratic invariants. Preservation of the circle does not assert that the numerical and exact solutions have the same phase at a fixed nonzero step size.

For a regular isoperimetric constraint, introduce a constant Lagrange multiplier $\lambda$ and set $L=F-\lambda G$. With fixed endpoint values, the Euler-Lagrange equation isIf $F$ and $G$ have no explicit $x$ dependence, the Beltrami identity gives the first integralThe regularity assumption excludes the exceptional case in which the constraint itself has zero first variation for every admissible perturbation.

Parametrize the surface of revolution by $r(z,\theta )=(f(z)\cos \theta ,f(z)\sin \theta ,z)$. The magnitude of $r_z\times r_{\theta }$ is $f\sqrt{1+f^{\prime 2}}$. Integrating the resulting surface area element over $\theta$, and integrating the circular cross-sectional areas for the volume, givesHere $f\ge 0$ because it is a radius. For a regular connected closed surface, take $f>0$ in the interior; the closing endpoints can have unbounded $f^{\prime }$ even when the surface itself is smooth.

After dividing $A-\lambda V$ by $\pi$, its integrand is $L=2f\sqrt{1+f^{\prime 2}}-\lambda f^2$. The Euler-Lagrange equation and Beltrami identity becomeAs $f$ tends to zero at an endpoint, $0\le 2f/\sqrt{1+f^{\prime 2}}\le 2f$ also tends to zero, so $C=0$. On the positive interior this implies $\lambda >0$ and, writing $R=2/\lambda$,The Euler-Lagrange equation also yields $f^{\prime \prime }=-R^2/f^3$. Thereforeincluding at the maximum where $f^{\prime }=0$. Integrating and using the first integral givesThus the regular extremal is a sphere. The two zeros fix its center and radius:Equivalently, the prescribed volume fixes $R=(3V/(4\pi ){)}^{1/3}$. If $a,b$ are fixed in advance, their separation and the prescribed volume must be compatible with these equations; there is no positive regular stationary profile of the stated type for an incompatible volume.

For minimality, the three-dimensional isoperimetric inequality states that every sufficiently regular closed surface enclosing volume $V$ haswith equality precisely for a sphere. Our extremal has $A=4\pi R^2$ and $V=4\pi R^3/3$, so it attains equality and is a global minimum of area at the fixed volume. This also makes clear the connected-surface assumption behind uniqueness: allowing several disconnected components introduces stationary collections of spheres, rather than the single positive generating profile used here.

For $F(y,y^{\prime })=y\sqrt{1+y^{\prime 2}}$, the Euler-Lagrange equation isSince $F$ has no explicit $x$ dependence, the Beltrami identity givesSolving this first integral, or substituting into the second-order equation, yieldsThe constants satisfy $y_1=C\cosh ((x_1-K)/C)$ and $y_2=C\cosh ((x_2-K)/C)$. There need not be a solution for arbitrary endpoint data, and when there is one these equations can have more than one pair of constants. These are the possible stationary catenoids, so the axisymmetric second variation of a catenoid still matters when deciding whether they minimize surface area.

Take $\alpha >0$, $t\ne 0$, and the negative-norm convention for a timelike curve used by the printed metric. Writing $v=dx/dt$ and $d{s}^2=-c^{2}d{\tau }^2$ givesSpatial translation is a Killing vector field. Equivalently, the geodesic Lagrangian has the cyclic coordinate $x$, so its conserved momentum isTherefore the correct first integral for this metric isThe first-integral assertion in the PDF is false. Its dimensionless square root requires $v/c$, and even after setting $c=1$ it is missing the factor $|t|$. For example, the nonvertical geodesics below have $v/\sqrt{1-v^2/c^2}$ proportional to $1/|t|$.

Set $b=\sqrt{\alpha }P/c$. Solving for the velocity, with increasing $t$ as the time orientation, gives $v=cb/\sqrt{t^2+b^2}$. The complete unparametrized family of timelike geodesics of a quadratic-time conformal metric isEach curve is restricted to a connected positive- or negative-$t$ patch; $t=0$ is excluded because the metric becomes degenerate. For $t\ne 0$, $|v|<c$, and the two independent constants are $x_c$ and $b$. If an explicit affine parametrization is desired,while the vertical family has $d\tau =|t|dt/\sqrt{\alpha }$. A reversal of the time orientation reverses the parameter without changing these paths.

With $H>0$, setThen the first integral gives $1/\sqrt{1+y^{\prime 2}}=s$. On the descending and ascending halves of the physical track choose respectively $0<\varphi <\pi$ and $\pi <\varphi <2\pi$, so that $y^{\prime }=\cot (\varphi /2)$. Solving for $y$ givesThe unsquared equation requires $1-bs>0$. At $s=1$ this says $b<1$; it is not permissible to retain other values merely because the displayed formula for $y$ has a squared denominator.

For completeness, the Euler-Lagrange equation also gives $y^{\prime \prime }=(A^{\prime }(y)/A(y))(1+y^{\prime 2})<0$. Thus $y^{\prime }$ decreases through zero exactly once, so the chosen parameter runs through the whole single arch without an extra branch. Differentiating the formula for $y$ and dividing by $y^{\prime }=\cot (\varphi /2)$ gives, continuously also at $\varphi =\pi$,Using $x(0)=0$ yieldsSince $\sqrt{1+y^{\prime 2}}=1/\sin (\varphi /2)$, the arc length is obtained by cancelling one factor of $\sin (\varphi /2)$ in $dx/d\varphi$. The conditions $x(2\pi )=1$ and $S=L$ becomeThese determine a unique parameter pair for each $L>1$. To see uniqueness, regard $L$ as the expected value of $1/s$ under a probability density function proportional to $s^2/(1-bs{)}^3$ on $0<u<2\pi$. Differentiation under the integral sign gives the covariance identityThe first argument decreases with $s$ and the second increases. The strict sign follows by applying $(f(s)-f(t))(g(s)-g(t))<0$ to two independent unequal values and averaging; the integrable endpoint singularity of $1/s$ causes no problem. As $b\uparrow 1$, the weight concentrates at $s=1$, so $L\downarrow 1$. As $b=-k\to -\infty$, endpoint estimates give numerator $\sim 2/k^2$ and denominator $\sim 4\log k/k^3$, so $L\sim k/(2\log k)\to \infty$. Continuity then covers every $L>1$. At $b=0$ one recovers the cycloid and $L=4/\pi$.

Smoothness qualification. Near $\varphi =0$,and the other endpoint has $y^{\prime }\to -\infty$. These are smooth graphs on $0<x<1$, not $C^1$ graphs on the closed interval. Indeed a finite endpoint slope would make the conserved $H$ diverge as $y\to 0$. The travel time remains finite becauseThus the printed phrase “smooth solution” must be understood on the interior, with improper endpoint limits. The variational calculation supplies necessary stationary arches; it does not by itself prove global minimality in every larger class of tracks.

At these parameters the equation becomes $g^{\prime \prime }+g^2-4=0$, where $g=f^{\prime }$. Multiply by $g^{\prime }$ and integrate:Outer matching gives $g\to -2$ and $g^{\prime }\to 0$, so $C=16/3$. No slip gives $g(0)=0$. At that point the first integral fixes $g^{\prime }(0)=\pm 4\sqrt{2/3}$, so there are exactly two smooth initial-value solutions of the second-order equation satisfying the matching condition. Put ${\eta }_0=\mathrm{arctanh}\sqrt{2/3}$. Translation invariance of the supplied profile gives them explicitly:The first decreases monotonically from zero to $-2$. The second first rises to $4$ at ${\eta }_0$, crosses zero again at $2{\eta }_0$, and then tends to $-2$. Integrating either profile from zero recovers $f$ with $f(0)=0$.

One would not expect both branches to be equally stable. The rising branch contains flow opposite to its negative outer stream and interior inflection points, typical ingredients for shear instability. The monotone branch has $g^{\prime \prime }=4-g^2>0$ at finite positive $\eta$ and no interior inflection point, so the classical inviscid inflection-point mechanism is absent there. This motivates expecting the reversed-flow branch to be unstable and the monotone branch to be the stable candidate. A definitive viscous temporal-stability result requires perturbing the time-dependent equations; the steady first integral alone is not a stability proof.

Write $S_0=S_{initial}$ and $I_0=I_{initial}$. Until quarantine and while $I,S>0$, division of the equations givesIntegration from the initial state yields the first integralLet $S_{\ast }$ be the susceptible count at the first time $I=I_{\ast }$. It is the root of an equation reached on the decreasing-$S$ outbreak trajectory ofFor a strictly rising threshold crossing this is the larger admissible root of an equation, with $a/r<S_{\ast }<S_0$; if the threshold equals the peak, $S_{\ast }=a/r$. The assumption that quarantine is reached selects the physically relevant branch and excludes a merely hypothetical declining-branch crossing after an earlier one.

Since there is no incubation period here, all removals from $S$ have already become infection cases by quarantine. No further susceptible individuals are infected after isolation. The requested number among the initially susceptible individuals is therefore

Substitute $gb=c{g}^{\prime }$ into the bacterial profile equation. This giveswhich integrates once toAt the asymptotic constant states the profile derivative tends to zero. The state ahead of the travelling wave, where $b\to 0$ and $g\to 1$, therefore gives $C=c$. The state behind it, where $g\to 0$ and $b\to b_0$, gives $C=c{b}_0$. Since $c>0$,This first integral expresses the matching between biomass produced and biological growth factor consumed after the chosen nondimensionalization.

The first integral and $b_0=1$ yield the linear identity $b^{\prime }+cb=c(1-g)$. Multiply by the integrating factor $e^{cy}$ and integrate from $-\infty$. Since the bounded limit $b(-\infty )=1$ makes $e^{cy}b(y)\to 0$ there,Positivity of $g$ makes the last integral nonnegative, and strictly positive at any finite point of a strictly positive travelling wave. Thuswith equality approached only at the far-behind boundary. This bound uses the first integral rather than an unsupported assumption that the bacterial profile is monotone.