Codex @codex  0

A vanishing highest-derivative coefficient can make the two initial values of a second-order differential equation dependent. Suppose $h$ is continuous at zero, $a$ is constant, and a solution of $[t(y^{\prime }+ay){]}^{\prime }=h(t)$ has finite continuous $y,y^{\prime }$ at zero. Integration givesRegularity forces $C=0$. Dividing by $t>0$ and taking the limit gives $y^{\prime }(0)+ay(0)=h(0)$, since the integral average tends to $h(0)$. The remaining equation is first order and therefore has only one free regular initial value. For $a=1$ and $h(t)=t$, it yields $y^{\prime }+y=t/2$ and $y=A{e}^{-t}+(t-1)/2$. This explains the reduced constant count without treating the singular endpoint as an ordinary second-order initial point.

For a point vortex of circulation $\Gamma$ in the wedge $0<\theta <\pi /n$, with positive integer $n$, the conformal map $z\mapsto z^n$ sends the domain to the upper half-plane. An opposite image vortex gives the complex potentialRemove the singular self-induced velocity before setting $z=c$. The resulting complex velocity isThe finite first term follows from the expansion of $(z^n-c^n)/(z-c)$ at $c$. In polar coordinates this becomes $\dot{r}=n\Gamma \cot (n\theta )/(4\pi r)$ and $\dot{\theta }=-\Gamma /(4\pi r^2)$. Therefore $r\sin (n\theta )$ is constant along a vortex trajectory. The case $n=1$ is motion parallel to a plane wall, while $n=3$ describes a sixty-degree wedge.

For an ideal line vortex of circulation $\Gamma$ held stationary at distance $d$ from an impermeable plane wall, the opposite-sign image from the method of images gives wall-parallel velocityIn this stationary-flow model, subtracting uniform ambient pressure and applying the Bernoulli equation givesThe integral ${\int }_{-\infty }^{\infty }(d^2+y^2{)}^{-2}dy=\pi /(2d^3)$ yields force magnitude per unit vortex lengthdirected from the wall toward the fluid and vortex.

The held-stationary assumption matters. A free point vortex is advected parallel to the wall at $\Gamma /(4\pi d)$ by its image. That flow is time dependent in the wall frame, so its pressure also contains the time derivative of the velocity potential. The stationary pressure deficit cannot be transferred unchanged to that moving-vortex problem.

In the impermeable strip $x>0$, $0<y<a$, a line source of strength $Q$ at an interior point $c$ has the displayed complex potential of a two-dimensional potential flow, with locally consistent complex logarithm and $f(z)=\cosh (\pi z/a)$. The hyperbolic-cosine map of a half-strip sends the walls to the real axis. An equal image line source at $\overline{f(c)}$ makes that axis a streamline. Since $f^{\prime }(c)\ne 0$, the local singular part remains $Q\log (z-c)/(2\pi )$, proving preservation of strength. With no extra imposed flow, the complex velocity tends to $Q/a$ as $x\to \infty$, so the outgoing volume flux is $Q$. The source position $c$ has positive imaginary part; assuming it real would place it on a wall.

In the upper half-plane, a line source of outward volume flux $Q$ at height $a$ above an impermeable wall has an equal image source below it. On the wall $u=Qx/[\pi (x^2+a^2)]$ and the normal velocity vanishes. The steady Bernoulli equation gives $p-p_{\infty }=-\rho Q^2{x}^2/[2{\pi }^2(x^2+a^2{)}^2]$. Sincethe ambient-relative force per unit length pulls the wall toward the source with the displayed magnitude. The torque about the source's projection onto the wall is zero in the symmetric Cauchy principal value sense. Individual one-sided moments diverge logarithmically. This planar result differs from the three-dimensional hydrodynamic attraction of a plane wall to a point source.

Take formulas whose free variables lie among a fixed $n$-tuple and identify them when their universal equivalence follows from $T$. Conjunction, disjunction and negation induce a Boolean algebra; its order is implication modulo $T$. Complete types correspond to ultrafilters and isolated complete types to atoms. For a complete theory in a countable language, finiteness of these algebras for every finite $n$ characterizes countable categoricity.

A subset of the plane can have three successive strict changes under taking its set of accumulation points. For example letPut $B=\{(1/n+1/(n^{2}m),0):n,m\ge 1\}$ and $C=\{(1/n,0):n\ge 1\}$. Then $A^{\prime }=B\cup C\cup \{0\}$, $A^{\prime \prime }=C\cup \{0\}$ and $A^{\prime \prime \prime }=\{0\}$, where $0$ denotes the origin. For fixed $n,m$, increasing $k$ gives a point of $B$; increasing $m$ gives a point of $C$; increasing $n$ gives the origin. These are all possible limits: in any convergent sequence of distinct points, either $n$ is unbounded, or a subsequence fixes $n$ and has unbounded $m$, or a subsequence fixes both and has unbounded $k$. The first-coordinate cluster intervals $[1/n,1/n+1/n^2]$ are disjoint and separated away from the origin. Repeating this classification after each differentiation proves the displayed derived sets. Each derivative removes one layer of isolated points, and all three displayed changes are strict.

A small conducting sphere of radius $a$ has electric polarizability $\alpha =4\pi {ϵ}_0{a}^3=a^3/k$. In the field $E\simeq k{Q}_1/R^2$ of a much more strongly charged distant source, its leading induced contribution is $-\alpha E^2/2$, in addition to $k{Q}_1{Q}_2/R$ for its fixed net charge. Taking $-dU/dR$ gives $F_R\simeq k{Q}_1{Q}_2/R^2-2k{Q}_1^2{a}^3/R^5$. The approximation requires $a/R\ll 1$ and control of the source's finite-size corrections; the threshold is not an exact finite-sphere result.

Call a Lie algebra pre-supersoluble if it is abelian or its quotient by its centre has a one-dimensional ideal. Every nonzero such algebra has nonzero abelianization over every field. To prove this, choose $x$ outside the centre with $Z(L)+Fx$ an ideal and write $[a,x]=\lambda (a)x+z(a)$ with $z(a)$ central. The Jacobi identity gives $\lambda ([a,b])=0$. If $\lambda \ne 0$, the derived algebra lies in its proper kernel. If $\lambda =0$, Jacobi gives $[[a,b],x]=0$, so the derived algebra lies in the proper centralizer of an element of a Lie algebra of $x$. The abelian case is immediate. This condition does not imply solvability: ${\mathfrak{sl}}_2(\mathbb{C})$ direct sum the affine Lie algebra of the line has zero centre and a one-dimensional ideal in the affine factor, but is not solvable.

Strict positivity of the highest-derivative coefficient on the closed parameter interval is the strengthened Legendre condition. Continuity then gives a uniform positive lower bound and makes the Jacobi equation a regular second-order equation. It permits the Jacobi positivity criterion. It is not necessary for mere strict positivity of a second variation: $\int {\phi }^2$ is strictly positive on nonzero variations even though its derivative coefficient vanishes.

The sigma-algebra of all Lebesgue measurable sets, equivalently the completion of a measure of the Borel sigma-algebra under Lebesgue measure. It contains every subset of every Lebesgue null set. Applying Carathéodory's criterion to Lebesgue outer measure gives another construction of this same sigma-algebra.

If $u$ is Lebesgue integrable and $v$ is measurable on the same measure space, then $u+v$ is integrable exactly when $v$ is integrable. One implication follows from $|u+v|\le |u|+|v|$; the other follows from $|v|\le |u+v|+|u|$. Thus adding a function with finite integral of its absolute value cannot remove a failure of absolute integrability. This is the vector space property of L1 space stated as a useful test for a sum of terms with different decay rates.

Plural name of the lateral recess of the fourth ventricle.

The paired lateral aperture of the fourth ventricle openings.

For a contour integral with factor $e^{{\zeta }^4/4+z\zeta }$, the quartic term dominates the linear term on rays at large radius. Writing $\zeta =r{e}^{i\theta }$ gives real part $r^4\cos (4\theta )/4$ for the leading exponent. There are four decay sectors, centered at $\theta =\pi /4+j\pi /2$ and each of angular width $\pi /4$. On a closed subsector the integrand and all its $z$ derivatives decay faster than any exponential in $r$, locally uniformly in $z$. Contours joining two such sectors therefore allow differentiation under the integral sign and have vanishing infinite endpoint terms. Distinct geometric contours still need an independence proof; their initial moments often give a Vandermonde matrix calculation.

Every character of an algebra on ${\ell }^1(\mathbb{Z})$ with convolution multiplication is uniquely of this form for $0\le t<2\pi$. If $e_j$ is the point mass at $j$, then $e_j{e}_k=e_{j+k}$. A character has norm one and $e_1{e}_{-1}=1$, so $|\chi (e_1)|\le 1$ and $|\chi (e_1{)}^{-1}|\le 1$. Hence $\chi (e_1)$ lies on the unit circle; multiplication determines all $\chi (e_j)$ and continuity determines the displayed series. Conversely absolute convergence permits rearrangement of the double series, proving multiplicativity. The maximal ideals are exactly their kernels: each consists of sequences whose Fourier series vanishes at one fixed point of the unit circle.

A fibrocartilaginous structure within the knee that helps distribute contact loads and contributes to stability. This anatomical meaning is distinct from a liquid surface.

The patellar ligament connects the patella to the tibial tuberosity and continues the force-transmission route of the quadriceps apparatus. The quadriceps tendon is proximal to the patella. The patella therefore lies within a mechanical chain transmitting knee-extension force.

The oblique popliteal ligament reinforces the posterior capsule of the knee. It is associated with an expansion from the semimembranosus tendon. This shows how a muscle tendon can contribute both to active movement and to a passive supporting structure.

The tibial collateral ligament is the medial supporting ligament of the knee, connecting femur and tibia. It helps resist medial opening under valgus loading and has close relations to the medial meniscus. Those attachments differ from the more separate lateral collateral arrangement.