Use the convention that positive vortex strength is counterclockwise and complex velocity is $u-iv$. A complex potential of a two-dimensional potential flow for the superposed uniform flow and two point vortices isLocal choices of logarithm branch change no velocity. Differentiation givesFor nonzero vortex strength and $U>0$, its two zeros areThe number under the square root is nonzero, so these are distinct stagnation points, neither at a vortex.

A free point vortex moves with the velocity induced by the other vortex and the background, omitting its own singular field. At either vortex, the other induces vertical velocity $-\Gamma /(4\pi a)$, while the background contributes $(U,0)$. Their velocities are therefore equal. Their separation stays $(2a,0)$, making this induced velocity constant for all time. Both travel along parallel straight lines with

A streamline is a curve whose tangent is parallel to the instantaneous fluid velocity field. In steady flow one may parametrize it by $d\mathbf{r}/ds=\mathbf{u}(\mathbf{r})$. Dotting the steady Euler equations with $\mathbf{u}$ eliminates the cross-product term, since $\mathbf{u}\cdot ((\nabla \times \mathbf{u})\times \mathbf{u})=0$. Hencewhich is Bernoulli's principle along each streamline.

For the supplied field, $xu+yv=0$, so along a streamlineWriting $r^2=x^2+y^2$, the tangential speed is $v_{\theta }=-br+c/r$ and the radial speed is zero. Both $r$ and $|\mathbf{u}{|}^2=(-br+c/r{)}^2$ are constant around each nonstagnant circular streamline. The Bernoulli quantity is constant there, so the pressure is constant on every such circle.

If a circle is wholly stagnant, the same conclusion follows directly from the steady Euler equations: on it $\mathbf{u}=0$ and $\nabla |\mathbf{u}{|}^2=0$, hence $\nabla p=0$. Equivalently the radial momentum equation gives $\nabla p=\rho (-br+c/r{)}^2{\mathbf{e}}_r/r$ and no angular pressure variation, including at zero tangential speed. Thus $p$ is constant on $x^2+y^2=a^2$ for every nonzero $a$, with no exception for a stagnation circle.

The one-dimensional time-independent Schrödinger equation isFor the infinite square well on $[0,a]$, $V=0$ inside and the wave function is zero outside. The boundary conditions are $\psi (0)=\psi (a)=0$. For positive integer $n$, ${\psi }_n=A\sin (n\pi x/a)$ satisfies them, and ${\psi }_n^{\prime \prime }=-(n\pi /a{)}^2{\psi }_n$. Substitution gives the energy levelsNormalization requires $1={\int }_0^a|{\psi }_n{|}^{2}dx=A^{2}a/2$. The requested real positive constant is therefore

The inertia tensor about the centroid has entries $J_{ij}={\int }_B\rho (r^2{\delta }_{ij}-x_i{x}_j)dV$. Reflection symmetry makes every off-diagonal entry zero. Under $x=a\xi$, $y=a\eta$, $z=c\zeta$, the ellipsoid becomes the unit ball. Its three coordinate second moments are equal, andUsing the stated mass gives ${\int }_B\rho x^{2}dV=M{a}^2/5$, the same for $y$, and ${\int }_B\rho z^{2}dV=M{c}^2/5$. ThereforeFor the parallel coordinate axes based at $P=(0,0,c)$, the parallel axis theorem in tensor form is $J^{(P)}=J^{(G)}+M(|d{|}^{2}I-d{d}^T)$, where $d=P-G$. Thus

Let $P=F_{y^{\prime }}$ and $Q=F_{y^{\prime \prime }}$. For a smooth variation $y+\epsilon \eta$, the first variation isHere the last expression follows by two integrations by parts. Taking variations supported in the interior and applying the fundamental lemma of the calculus of variations gives the Euler-Lagrange equation for a second-derivative functional:If both endpoint values and slopes are free, their independent variations force the natural boundary conditions for second-derivative functionalsIf an endpoint value or slope is fixed instead, its corresponding variation vanishes and the associated natural condition is not required.

For $H=y^{\prime \prime }Q-y^{\prime }(Q^{\prime }-P)-F$, differentiate using the chain rule:The Euler-Lagrange equation cancels the first term. Consequently $H^{\prime }=-F_x$, and if there is no explicit $x$ dependence,This is a Beltrami identity for a second-derivative functional.

An open cover of a topological space is a collection of open subsets whose union is the whole space. A compact space is one for which every open cover admits a finite subcover. The subspace topology on $A\subseteq Y$ consists of sets $A\cap O$ with $O$ open in $Y$.

Let $\{U_j\}$ cover $f(X)$ by relatively open sets, and write $U_j=f(X)\cap O_j$ with $O_j$ open in $Y$. By continuity, $\{f^{-1}(O_j)\}$ is an open cover of $X$. A finite subcollection covers $X$ by compactness, and its corresponding $U_j$ cover $f(X)$. Thus a continuous image of a compact space is compact.

For an image that is not closed, take $X$ to be a singleton and $Y=\{0,1\}$ with the indiscrete topology. Send the sole point to $0$. This map is continuous and $X$ is compact, while $f(X)=\{0\}$ is not closed in $Y$, whose only closed sets are $\varnothing$ and $Y$. A Hausdorff hypothesis on the target would exclude this example.

For sigma-finite measures, Tonelli's theorem states that the double integral of a nonnegative measurable function equals either iterated integral, allowing $+\infty$. Fubini's theorem states that if a measurable function is absolutely integrable, its sections are integrable almost everywhere, both iterated integrals exist, and they equal the double integral.

Assign any value at $(0,0)$, which does not affect Lebesgue integrability. Near that corner set $s=x+y$ and $t=(x-y)/(x+y)$. Then $x=s(1+t)/2$, $y=s(1-t)/2$, and the absolute Jacobian determinant is $s/2$. On $0<s<1$, the full range is $-1<t<1$, soThe remaining part of the unit square has $x+y\ge 1$ and is harmless. The improper power integral is finite precisely when $\alpha <3$. Under the given restriction,For those values, the change $(x,y)\mapsto (y,x)$ preserves the square and changes the sign of $F$. Absolute integrability justifies this change of variables, givingFor $\alpha \ge 3$ the positive and negative parts each diverge, so symmetry does not define a Lebesgue integral.