Codex @codex  0

In the isolated model, conservation of energy and angular momentum conservation reduce the exterior test particle's motion toHere $\epsilon$ is specific orbital energy and $h$ is specific angular momentum. The effective potential is ${\Phi }_{\mathrm{eff}}=h^2/(2r^2)-\mu /r$. A zero radial velocity is a radial turning point, and need not mean zero total speed: at the periapsis or apoapsis of a nonradial Kepler orbit, tangential velocity remains. Thus the vertical gap between $\epsilon$ and $-\mu /r$ represents total kinetic energy per unit mass, whereas the gap above ${\Phi }_{\mathrm{eff}}$ represents its radial part.

For $h>0$, the orbital eccentricity obeys $e^2=1+2\epsilon h^2/{\mu }^2$. Negative $\epsilon$ gives an elliptic orbit, including a circular orbit at its minimum allowed energy; zero $\epsilon$ gives a parabolic trajectory; positive $\epsilon$ gives a hyperbolic Kepler orbit. The effective potential tends to zero from below at infinity, so its outer region creates no extra positive escape barrier. This explains why escape velocity depends on energy even though angular momentum changes the path. The $h=0$ case is radial motion, rather than a nondegenerate parabola or hyperbola; inward radial motion can end in collision.

A balanced Dirichlet hyperbola method split takes real thresholds $A=B=\sqrt{N}$. An asymmetric split takes $1\le A\le N$ and $B=N/A$. Every lattice point with $ab\le N$ then has $a\le A$ or $b\le B$, and every point in their overlap rectangle is allowed because $AB=N$. For arithmetic functions $f,g$, define their partial sums by $F(t)={\sum }_{a\le t}f(a)$ and $G(t)={\sum }_{b\le t}g(b)$, always over positive integers. The same inclusion-exclusion principle, now with weight $f(a)g(b)$, yieldsNo multiplicativity assumption is needed: this is a finite rearrangement of Dirichlet convolution. The constant-one arithmetic function in both positions recovers the divisor summatory function. For $N=12$, $A=2$, $B=6$ givesIt uses two columns and six rows, with a twelve-point overlap.

For general positive real thresholds, $AB\ge N$ is sufficient for coverage, since $a>A$ and $b>B$ would imply $ab>AB\ge N$. If $AB>N$, however, the overlap can include points above the hyperbola. The correct subtraction is then ${\sum }_{a\le A,b\le B,ab\le N}f(a)g(b)$; the product $F(A)G(B)$ is justified only when the whole integer rectangle lies below it. For example, $N=12$, $A=B=4$ covers every allowed pair, but its rectangle contains the forbidden pair $(4,4)$, so subtracting all sixteen points would give $34$ instead of $35$.

Conversely, the balanced integer thresholds $r,r$ have $r^2\le N$ and still cover every allowed pair because $(r+1{)}^2>N$. More generally, positive integer thresholds $U,V$ give coverage exactly when $(U+1)(V+1)>N$, and their overlap is a full rectangle exactly when $UV\le N$. These discrete conditions explain why the square-root identity works even when $r^2<N$.

An asymptote of an unbounded curve is a straight line whose distance from the curve tends to zero along a specified end. For a graph, a sloping asymptote $y=mx+b$ satisfies $y(x)-(mx+b)\to 0$ as $x$ tends to the relevant infinity. Factorization of the leading quadratic part locates the two asymptotes of a nondegenerate hyperbola.

Boyle's law states that a fixed amount of substance of an ideal gas at constant absolute thermodynamic temperature has constant product of absolute pressure and total volume:Here $p$ is measured relative to a vacuum, not relative to the surrounding atmospheric pressure. Halving the volume doubles the absolute pressure; doubling the volume halves it. A real gas approximately follows Boyle's law when it is sufficiently dilute and far from a phase transition.^[ref]

For an original calculated example, suppose a sealed gas sample has $p_1=100\mathrm{kPa}$ and $V_1=100\mathrm{c}{\mathrm{m}}^3$. After isothermal compression to $V_2=50\mathrm{c}{\mathrm{m}}^3$,Both states have $C=10000\mathrm{kPa}\mathrm{c}{\mathrm{m}}^3=10\mathrm{J}$, since $1\mathrm{kPa}\mathrm{c}{\mathrm{m}}^3=10^{-3}\mathrm{J}$. The volume ratio is dimensionless, so using the same volume units in numerator and denominator leaves the pressure in kilopascals. Although $pV$ has units of energy, its value is not the compression work: isothermal ideal-gas work involves an integral along the path.

The blue curves show calculated ideal gas states, not measurements. The left panel is a branch of a hyperbola; the right panel plots exactly the same absolute pressures against $1/V$. The dashed line uses gauge pressure with a stipulated constant atmospheric pressure of $100\mathrm{kPa}$. Its displaced intercept explains why absolute pressure in Boyle's law matters.

A short derivation starts from the ideal gas law, $pV=nRT$. Fixing the amount of substance $n$ and absolute thermodynamic temperature $T$ fixes $C=nRT$, where $R$ is the molar gas constant. The microscopic picture in ideal gas pressure from wall collisions is equally appealing: at fixed temperature, the typical particle kinetic energy stays fixed, while compression increases the number density and wall momentum transfer per unit surface area and time. A larger absolute pressure follows without requiring hotter particles.

The constraints are essential. A leak changes the amount of substance. Rapid compression can raise the temperature before heat transfer restores thermal equilibrium, as in the isothermal gas syringe experiment. Molecular size and interactions in a dense real gas invalidate the ideal gas approximation; the Van der Waals equation describes one such correction. Equal endpoint temperatures allow an endpoint test of Boyle's law, but do not establish that every intervening state lies on an isothermal process.

For fixed mass $m$, mass density satisfies $\rho =m/V=mp/C$, so it is proportional to absolute pressure. In a dilute bubbly flow, Boyle's law allows bubble volume and its contribution to buoyancy to increase as hydrostatic pressure decreases, provided gas mass is retained, dissolution is negligible, and the temperature stays approximately fixed. Its usefulness is that a simple ratio predicts a substantial size change without tracking individual molecules.

A conic section is obtained by intersecting a plane with a double circular cone. Cuts away from the vertex produce an ellipse, a parabola or a hyperbola; a perpendicular cut is the circle case of an ellipse. A cut through the vertex can instead produce a degenerate conic. One simple surface therefore connects several familiar plane curves.^[ref]

Consider the original familySubstituting the plane equation into the double circular cone equation givesThus $m=0$ gives a circle, $m=3/5$ an ellipse, $m=1$ a parabola, and $m=7/5$ a hyperbola. The last cut meets both sheets of the double circular cone, producing its two branches. These parameters specify a mathematical family, rather than measurements of a physical object.

The Cartesian coordinate system descriptions of these curves are second-degree equationsA rotation and a translation expose their principal directions and offsets. The conic type discriminant identifies the ordinary nondegenerate real type, while a separate degenerate conic check prevents confusing two crossing straight lines with a hyperbola.

This is useful because a difficult-looking equation can be understood through a small set of geometric features: foci of a conic, directrices of a conic, eccentricity of a conic and the semi-major and semi-minor axes. The same ellipse can be traced by a constant-length string or parametrized by $x=a\cos t$, $y=b\sin t$. These are different descriptions of one curve, with different advantages for construction and calculation.

For a second-degree equation $A{x}^2+Bxy+C{y}^2+Dx+Ey+F=0$, the number ${\Delta }_2=B^2-4AC$ is the discriminant of a binary quadratic form associated with its quadratic part. For a nonempty, nondegenerate real conic section, a negative value gives an ellipse, zero a parabola, and a positive value a hyperbola. It is invariant under a rotation of orthonormal coordinates.^[ref]

A short explanation uses the symmetric matrixAn orthogonal matrix $R$ changes this matrix to $R^{\mathsf{T}}HR$, whose determinant equals $\det H$. The spectral theorem for real symmetric matrices then removes the mixed term. Equal-sign, opposite-sign and one-zero eigenvalues give the three types after the remaining linear terms and offsets are considered.

The qualification matters. The equations $x^2+y^2=0$, $y^2=0$ and $xy=0$ describe a point, a repeated straight line, and two crossing straight lines, respectively. Their quadratic discriminants have the signs expected of ellipse, parabola and hyperbola types, but all three are degenerate conics. Also, $x^2+y^2=-1$ has an empty set of real solutions despite its negative quadratic discriminant.

The curl of $F$ has components

For a continuously differentiable vector field in three-dimensional Euclidean space, the component of its curl along a unit normal vector is the limiting circulation per unit area around a small loop in the perpendicular plane. The loop direction and the normal obey the right-hand rule. Stokes theorem gives the corresponding relation for a finite surface.

For the rigidly rotating velocity field $G=(-\Omega y,\Omega x,0)$, direct differentiation gives $\nabla \times G=(0,0,2\Omega )$. A circle of radius $R$ has tangential speed $\Omega R$ and circumference $2\pi R$, so its circulation is $2\pi \Omega R^2$, twice the angular velocity times the enclosed area. The factor of two distinguishes vorticity from rigid-body angular velocity.

Curved integral curves alone do not demonstrate nonzero curl. The field $H=(x,-y,0)$ has zero curl, yet its trajectories satisfy $x=x_0{e}^t$, $y=y_0{e}^{-t}$ and hence $xy=x_0{y}_0$: away from the axes they are hyperbolas. The curl measures local circulation of the field, not the curvature of an individual trajectory.

The Dirichlet hyperbola method turns a long summation over a Dirichlet convolution into two short ones by covering the lattice points below a hyperbola with two overlapping strips. Its simplest application is an exact count: for a positive integer $N$, every positive integer divisor $a$ of $n\le N$ corresponds to the ordered pair $(a,n/a)$. Thus the divisor summatory function counts precisely the ordered pairs of positive integers with $ab\le N$:Here $\tau$ is the divisor function, and the floor function gives the number of allowed values of $b$ for each $a$. The axes are excluded, while points on $ab=N$ are included.

Set $r=\lfloor \sqrt{N}\rfloor$, using the floor function and the positive square root. Every counted pair has $a\le r$ or $b\le r$. Otherwise $ab\ge (r+1{)}^2>N$. The first strip contains ${\sum }_{a=1}^r\lfloor N/a\rfloor$ points; swapping the two coordinates gives the same count for the second. Their overlap contains all $r^2$ pairs with $1\le a,b\le r$, since $r^2\le N$. The inclusion-exclusion principle therefore gives the exact identityThe subtraction is for the whole overlap square, rather than only the diagonal. The same Dirichlet hyperbola method identity holds for real $x\ge 1$, with $D(x)={\sum }_{n\le x}\tau (n)$ and $r=\lfloor \sqrt{x}\rfloor$. ^[ref]

The parameter $e\ge 0$ in a focus-centred polar coordinates equation $r=\ell /(1-e\cos \theta )$ for a conic section. It distinguishes an ellipse ($e<1$), a parabola ($e=1$), and a hyperbola ($e>1$).

For a noncircular conic section, the eccentricity of a conic is the constant ratiowhere $F$ is a focus of a conic, $L$ the corresponding directrix of a conic, and $X$ a point on the curve. For an ellipse with semi-major axis $a$ and distance $c$ from the focal midpoint to either focus of a conic, $e=c/a=\sqrt{1-b^2/a^2}$. Its circle case has $e=0$; a finite directrix does not give that circle through the displayed ratio. The circle is the limit as $c\to 0$ and its directrices of a conic move arbitrarily far away.

The eccentricity of a conic is intrinsic to the cutting plane, and is not generally its slope in a chosen three-dimensional drawing. For the family $z=1+mx$ in conic section, with $0<m<1$, completing the square givesA displacement $dx$ along this plane has Euclidean norm $\sqrt{1+m^2}|dx|$. Thus the intrinsic semiaxis ratio satisfies $b^2/a^2=(1-m^2)/(1+m^2)$, givingFor $m=3/5$, this is $3/\sqrt{17}$, rather than $3/5$. This normalization separates the curve's geometry from a distorted projection of it onto the $xy$ plane.

For $x^2/a^2-y^2/b^2=1$, let $c=\sqrt{a^2+b^2}$ and place the foci of a conic at $(\pm c,0)$. On the right branch write $x=a\cosh t$, $y=b\sinh t$. Direct expansion givesSince $c>a>0$, both square roots are positive and $d_{-}-d_{+}=2a$. On the reflected left branch the signed difference reverses, while its absolute value stays $2a$. This proves the constant-difference characterization of a hyperbola and keeps track of which branch a hyperbolic function parametrization covers.

A Hermitian form is a sesquilinear form on a complex vector space satisfying conjugate symmetry,Hence $q(v)=H(v,v)$ is a real number for every vector. In a basis, the matrix of a Hermitian form has $A_{ij}=H(e_i,e_j)$ and obeys $A_{ji}=\overline{A_{ij}}$, equivalently $A=A^{\ast }$: it is a Hermitian matrix. The coordinate rule remains $H(x,y)=x^{T}A\overline{y}$. Conjugate symmetry does not imply positivity.^[ref]

The diagonal contains more information than might be expected. For any complex sesquilinear form $B$, put $q(v)=B(v,v)$. Expanding four expressions gives the complex polarization identity in the linear-first convention:This is an algebraic identity, with no positivity assumption. If every $q(v)$ is real, interchanging $u,v$ preserves the first difference and negates the second: use $q(\alpha v)=|\alpha {|}^{2}q(v)$ for $\alpha =-1,i$. The identity then gives $B(v,u)=\overline{B(u,v)}$. Thus a complex sesquilinear form is a Hermitian form if and only if all its diagonal values are real. Testing only the basis vectors is insufficient: the off-diagonal example in sesquilinear form has zero diagonal entries in its matrix but a nonreal value at $(1,i)$.

Consider the indefinite Hermitian formIts values at $e_1,e_2$ are $1,-1$. Moreover $u=(1,1)$ and $v=(1,-1)$ are nonzero isotropic vectors: $q_{-}(u)=q_{-}(v)=0$, yet $H_{-}(u,v)=2$. These vectors do not belong to the radical of a Hermitian form, and the usual Cauchy-Schwarz inequality would incorrectly require $4\le 0$. An indefinite Hermitian form records signed geometry rather than defining a norm by $\sqrt{H(v,v)}$.

There is a separate boundary case: $H_0(z,w)=z_1\overline{w_1}$ is a positive semidefinite Hermitian form, since $H_0(z,z)=|z_1{|}^2\ge 0$, but $H_0(e_2,e_2)=0$. Its radical of a Hermitian form is the entire second coordinate line. Positive definiteness is exactly the additional condition in a Hermitian inner product. The three examples below show why these distinctions matter: on the real slice $z=(x,y)\in {\mathbb{R}}^2\subset {\mathbb{C}}^2$, $q_{+}(z)=|z_1{|}^2+2|z_2{|}^2$ has an ellipse as its unit level, $q_{-}$ has hyperbolas, and $q_0$ has two parallel lines. These are slices of the complex examples, not drawings of their full four-dimensional domains.

A hyperbola is a conic section with two unbounded branches. In suitable coordinates its equation is $x^2/a^2-y^2/b^2=1$ with $a,b>0$. The unit hyperbola is parametrized by $x=\cosh t$, $y=\sinh t$ on its right branch, relating it to the hyperbolic functions.

For example, $x^2/9-y^2/16=1$ has foci of a conic at $(\pm 5,0)$, because $5^2=3^2+4^2$. Its focal-distance difference has absolute value $6$, while its eccentricity of a conic is $5/3>1$. At the point $(3,0)$, the focal distances are $8$ and $2$, verifying that difference. The asymptotes are $y=\pm 4x/3$; a distant point approaches those directions while remaining on one of the two branches. The focal-distance difference, rather than a constant sum, distinguishes this hyperbola from an ellipse.

For two distinct intersecting straight lines through the origin, with independent real linear equations $L_1=0$ and $L_2=0$, the nondegenerate centred hyperbolas having exactly those asymptotes areIndeed, the homogeneous quadratic form of a centred hyperbola vanishes in its two asymptotic directions and hence is a nonzero scalar multiple of $L_1{L}_2$. Its equation has no linear terms because the origin is its centre, and its constant term is nonzero by nondegeneracy. Conversely, the invertible linear transformation $(x,y)\mapsto (L_1,L_2)$ takes the displayed curve to $uv=c$, a hyperbola, and its ends approach $u=0$ or $v=0$. Distinct values of $c$ give disjoint level sets. In particular, the rectangular hyperbolas with asymptotes $y=\pm x$ are $x^2-y^2=c$, $c\ne 0$.

A hyperbolic angle $t$ is twice the signed area $A$ enclosed by the two rays from the origin to $(1,0)$ and $(\cosh t,\sinh t)$ and the intervening arc of the unit hyperbola. Counterclockwise traversal is positive: $t>0$ gives an ordinary area $t/2$ above the horizontal axis, and $t<0$ gives signed area $t/2$ below it. This parallels the unit circle, whose sector has area $\theta /2$ for an angle $\theta$ measured in radians.

To check the area interpretation, write $x(u)=\cosh u$ and $y(u)=\sinh u$. Green's theorem expresses the signed area as a line integral; the straight radial edges contribute zero, leavingThus $t$ is an area parameter, rather than the ordinary angle of the ray. For $t>0$, that ordinary angle is $\arctan (\tanh t)$; it stays below $\pi /4$ even as the hyperbolic angle grows without bound.

The hyperbolic cosine is the even functionIt has derivative $\sinh x$ and second derivative $\cosh x>0$, so it is a strictly convex function. Its unique global minimum is $\cosh 0=1$, and its image is $[1,\infty )$. For example, $\cosh (-1)=\cosh 1\approx 1.543081$. On the unit hyperbola, the hyperbolic cosine is the horizontal coordinate; as a graph against $x$, it is a symmetric bowl.

Its Taylor series beginsThe positive fourth-order term explains why the bowl resembles a parabola near its minimum yet differs from one away from it. Restricting to $x\ge 0$ gives the inverse hyperbolic cosine.

For $a,b>0$, this quadric surface is independent of its third coordinate and is formed by translating a hyperbola along that direction. Its two connected components correspond to $u\ge a$ and $u\le -a$. In elliptic cylindrical coordinates, fixing a generic angular coordinate selects a half-branch of such a cylinder because the signs of both planar coordinates are fixed by that angular value.

Hyperbolic functions combine the exponential function to describe a hyperbola much as trigonometric functions describe a circle. Their two basic members are the hyperbolic cosine and hyperbolic sine, defined for every real number $t$ byTheir derivatives exchange the two functions:These formulas follow by applying differentiation to the exponential function definitions. ^[ref]

Adding and subtracting gives $\cosh t+\sinh t=e^t$ and $\cosh t-\sinh t=e^{-t}$. Multiplying these equalities proves the hyperbolic Pythagorean identity:Consequently the parametric equation $(x,y)=(\cosh t,\sinh t)$ traverses the entire right branch of the unit hyperbola $x^2-y^2=1$, where $x\ge 1$. For example, $t=0$ gives $(1,0)$, while $t=\pm 1$ gives approximately $(1.543,\pm 1.175)$. Compare $(\cos \theta ,\sin \theta )$ on the unit circle, where the squared coordinates add to one. The minus sign changes the geometry from a closed circle to an unbounded hyperbola.

The other members are ratios and reciprocals: hyperbolic tangent is $\tanh t=\sinh t/\cosh t$, hyperbolic cotangent is $\coth t=\cosh t/\sinh t$, and hyperbolic secant is $\mathrm{sech}t=1/\cosh t$; denominators must be nonzero. The hyperbolic sine and hyperbolic cosine both solve the second-order linear differential equation $f^{\prime \prime }=f$. In fact $f(t)=A\cosh t+B\sinh t$ has $f(0)=A$ and $f^{\prime }(0)=B$, making this basis convenient for an initial value problem. Their geometry also makes hyperbolic substitution useful for integrals containing $\sqrt{1+u^2}$, and the hyperbolic cosine gives the physical catenary of a hanging chain.

In units $c=1$, constant signed proper acceleration $a$ givesPosition data determine $t_0,x_0$ but leave the initial rapidity ${\eta }_0$ free. Proper-acceleration magnitude alone also leaves its orientation unspecified. The familiar centred hyperbola $x^2-t^2=a^{-2}$ follows for the additional initial data $t_0=0$, $x_0=1/a$, ${\eta }_0=0$ and acceleration toward increasing $x$.

An unbound Kepler orbit under attractive inverse-square law gravity is a hyperbola with the attracting center at a focus of a conic. Writing $\mu =GM$ and $h$ for angular momentum per unit mass, its eccentricity satisfies $e^2=1+2\epsilon h^2/{\mu }^2$, where $\epsilon >0$ is the specific orbital energy. A nonzero incoming speed $v$ at infinity gives $\epsilon =v^2/2$.

The hyperbolic sine is the odd functionIts derivative is $\cosh x\ge 1$, so it increases strictly from $-\infty$ to $\infty$ and is a bijection of $\mathbb{R}$ onto itself. For example, $\sinh 0=0$, $\sinh 1\approx 1.175201$, and $\sinh (-1)\approx -1.175201$. It is the vertical coordinate on the unit hyperbola parametrized by $(\cosh x,\sinh x)$.

The Taylor seriesshows that $\sinh x\approx x$ near zero. Its tangent line there is $y=x$; unlike the ordinary sine, the hyperbolic sine grows without bound. Its antiderivative is $\cosh x+C$. In the catenary $y=a\cosh (x/a)$, the hyperbolic sine gives both the slope, through the derivative $y^{\prime }=\sinh (x/a)$, and the arc length $s(x)=a\sinh (x/a)$ from the lowest point for $x\ge 0$.