The appropriate weighted inner product and Sturm-Liouville operator areFor two functions obeying the endpoint conditions, integration by parts gives the Lagrange identity for a Sturm-Liouville operatorAt $R$, both $u$ and $v$ vanish. At $1$, the factor $x(x-1)$ tends to zero while the functions and their first derivatives remain bounded. Thus the boundary form vanishes at both ends.

This gives the regular self-adjoint differential operator realization: its singular-end condition is ${\lim }_{x\downarrow 1}x(x-1)v^{\prime }=0$, together with $v(R)=0$. The bounded classical eigenfunctions satisfy exactly this no-log choice. More precisely the operator domain is the maximal differential-operator domain in the weighted space with these separated endpoint conditions; the preceding calculation verifies its self-adjoint boundary form, rather than merely the differential expression's formal symmetry.

Multiplying by $x^2$ makes the first two terms a total derivative:The resulting Sturm-Liouville form isEquivalently, an integrating multiplier $\mu$ must satisfy $(\mu (1-1/x){)}^{\prime }=\mu (2/x-1/x^2)$, which reduces to ${\mu }^{\prime }/\mu =2/x$ and gives $\mu =x^2$ up to a constant. The coefficient $p$ is positive for $1<x<R$ and vanishes linearly at the left endpoint; the weight $w$ is positive throughout. The boundedness condition removes the logarithmic local branch, giving the no-log boundary condition at a linearly vanishing Sturm-Liouville endpoint.

Assume the image of the domain of $f$ lies in the domain where $g$ is holomorphic. The complex chain rule givesso the composition is holomorphic, including at points where $f^{\prime }=0$. Its real part $S(x,y)=s(u(x,y),v(x,y))$ is therefore a harmonic function.

A direct verification uses the composition of harmonic conjugate pairs. The multivariable chain rule givesThe Cauchy-Riemann equations imply $|\nabla u{|}^2=|\nabla v{|}^2$; parts (i) and (ii) remove the last three terms. Since $s$ is harmonic in its own variables,

For a harmonic function, put $a=u_{xx}$ and $b=u_{xy}=u_{yx}$. Since $u_{yy}=-u_{xx}$, its Hessian matrix isA nonzero determinant is therefore negative, and the two real Hessian eigenvalues are $\pm \sqrt{a^2+b^2}$. At a stationary point the quadratic term of the Taylor expansion has both signs. Consequently every such nondegenerate stationary point is a saddle point. This is the nondegenerate stationary points of a planar harmonic function criterion. The same argument applies to $v$, whose stationary points coincide with those of $u$. A zero Hessian determinant is outside this second-order classification.

The rotation $\nabla v=(-u_y,u_x)$ from the Cauchy-Riemann equations is invertible. HenceThus their stationary points coincide, including degenerate ones.

The Cauchy-Riemann equations give $\nabla v=(-u_y,u_x)$. ThereforeThe gradient is normal to a regular level set, so these curves intersect orthogonally wherever their gradients are nonzero. At a stationary point, where both gradients vanish, a regular curve tangent need not exist; the algebraic identity remains valid.

Differentiate the Cauchy-Riemann equations and use equality of mixed partial derivatives, which holds because holomorphic functions are smooth:Thus both parts are harmonic functions.

Differentiate the eigenvalue equation along the assumed smooth normalized eigenbranch:Since $A$ is real symmetric, $x^{T}A=\lambda x^T$. Multiplying the differentiated equation by $x^T$ and using $x^{T}x=1$ cancels the terms containing $x^{\prime }$:Thus the finite-dimensional Hellmann–Feynman theorem givesEquivalently, differentiating the normalization gives $2x^T{x}^{\prime }=0$ and eliminates those terms from the derivative of $\lambda =x^{T}Ax$. The proof needs the smooth eigenbranch assumed in the question; the smallest eigenvalue need not be differentiable at an arbitrary crossing without that assumption.

The trace of a square matrix is $\mathrm{tr}A={\sum }_i{A}_{ii}$. Expanding a product and interchanging its finite sums givesHence every commutator has trace zero. Taking the trace of $AB-BA=cI$ gives $0=cn$. Over the complex numbers, with $n\ge 1$, this forcesFor that value, choose $A=B=0$, or any commuting pair. For every nonzero $c$ the trace contradiction proves nonexistence. The finite matrix size is essential to this trace argument.

Complete the square in the quadratic form:The real invertible linear transformationsets $x_1+2x_2=y_1$, $x_2=y_2$, $\sqrt{6}{x}_3=y_3$, giving $Q_1=y_1^2+y_2^2+y_3^2$. The same transformation givesIts signature is $(2,1)$. By Sylvester's law of inertia no real invertible change of variables can turn this second form into a sum of three positive squares.

Away from the axis, cylindrical coordinates put the field in the line vortex formThe only potentially nonzero component of its curl isThe other components vanish because there is no axial dependence and no radial or axial velocity. Thus the curl is zero for $\rho >0$; the field is singular on the axis, so a classical curl there is not defined.

For a spanning surface avoiding that axis, the smoothness hypotheses of Stokes theorem hold and give ${\oint }_C\mathbf{v}\cdot d\mathbf{r}=0$. If the enclosed planar region contains the axis, the singularity prevents applying that theorem directly. Excise a small disk about the origin. The resulting annulus has zero curl, so its outer circulation equals the counterclockwise circulation on the small circle:This sign assumes positive, counterclockwise orientation. Clockwise orientation gives $-\kappa$; more generally the value is $\kappa$ times the winding number about the origin. A curve through the origin is excluded because its integral is singular. In the distribution interpretation the missing vorticity is concentrated on the axis as $\kappa \delta (x)\delta (y){\mathbf{e}}_z$, explaining the nonzero circulation despite zero classical curl away from it.

In Cartesian coordinates, use the Levi-Civita symbol and the Einstein summation convention to expandThe contraction of the two symbols uses the Kronecker delta, and the final step is the product rule. Thus the convective acceleration identity isPut $\mathbf{\omega }=\nabla \times \mathbf{u}$. The curl of a gradient vanishes, and the curl of a cross product identity givesSince the divergence of a curl is zero, taking the curl of the first identity yieldsTwice continuous differentiability suffices for the mixed-derivative identities used here.

Write the analytic solution as $w(z)={\sum }_{n\ge 0}{a}_n{z}^n$. The constant term in the differential equation gives $a_1=0$, and matching the coefficient of $z^{n+1}$ givesAll odd coefficients therefore vanish; $a_2=-a_0$ and $a_4=a_0/4$. The first three nonzero terms areIn full, $a_{2j}=(-1{)}^j{a}_0/(j!{)}^2$, so $w=a_0{J}_0(2z)$, a Bessel function of the first kind. The ratio test proves convergence for every complex $z$. The other independent solution has a logarithmic singularity at zero and does not satisfy the analyticity requirement.

For a nonzero solution on a branch where the real power is differentiable, set $v=u^{1-\alpha }$. Multiplying the Bernoulli differential equation by $(1-\alpha )u^{-\alpha }$ gives the linear equationIt can be solved by an integrating factor. For the specified cubic equation take $\alpha =3$, $f=g=x$, so $v=u^{-2}$ satisfies $v^{\prime }-2xv=-2x$. Its integrating factor is $e^{-x^2}$, giving $(v{e}^{-x^2}{)}^{\prime }=-2x{e}^{-x^2}$ and hence $v=1+C{e}^{x^2}$. Thus all nonzero real solutions areon connected intervals where the denominator is positive, with a fixed sign on each interval. Also $u\equiv 0$ solves the original equation and must be restored because the substitution excluded it. The choices $C=0$ give the constant solutions $u=\pm 1$. Smoothness of the original right-hand side gives uniqueness, so a nonzero solution cannot cross through the zero solution at a finite regular point.

Factor $1-z^3=(1-z)(1+z+z^2)$. The geometric series gives, for $|z|<1$,Thus the first three nonzero terms are $1-z+z^3$. If “first three terms” means the coefficients through degree two, that Taylor polynomial is $1-z+0z^2$. The distinction matters because the quadratic coefficient vanishes. The nearest singularities are the two nontrivial cube roots of unity, so the radius of convergence is exactly one.

Use $\pi /12=\pi /3-\pi /4$ to multiply the elementary complex exponentials:Collecting real and imaginary parts gives

Write the speed as $v=\sqrt{{\dot{x}}^2+{\dot{y}}^2}>0$ and takeThe two Euler-Lagrange equations areFor example ${\mathcal{L}}_x=\dot{y}/2$ and ${\mathcal{L}}_{\dot{x}}=-y/2+\lambda \dot{x}/v$, yielding the first equation. Integrating once gives constants $c_1,c_2$ with $\lambda \dot{x}/v=y+c_1$ and $\lambda \dot{y}/v=-x+c_2$. The case $\lambda =0$ would force both velocities to vanish, contrary to a regular curve. Squaring and adding therefore givesThus every regular stationary curve is a circle, whose center is set by the integration constants. A simple closed traversal of length $L$ has radius $L/(2\pi )$ and positive enclosed area $L^2/(4\pi )$. The planar isoperimetric inequality proves that this stationary candidate is the global maximum; the necessary variational equations alone would not prove that inequality. The stationary curves of the planar isoperimetric problem give this argument independently of the chosen parametrization.

At a regular constrained extremum, the method of Lagrange multipliers makes $I+\lambda J$ stationary for a constant $\lambda$. For an endpoint-vanishing variation $\eta$, integration by parts givesThe fundamental lemma of the calculus of variations therefore yieldsThis Euler-Lagrange equation must be supplemented by the two endpoint conditions and the prescribed integral constraint, which determine the constants and multiplier. Existence of the normal multiplier assumes that the first variation of $J$ is not identically zero. If that regularity fails, the general multiplier equation uses $\alpha I+\lambda J$, with $(\alpha ,\lambda )\ne (0,0)$; one cannot automatically set $\alpha =1$.