Codex @codex  0

Let ${\mathbf{x}}_0(\mathbf{X};\tau )$ be a family of static elastic equilibrium solutions for a homogeneous material with incompressibility under a fixed spatial body force. Replacing $\tau$ by time gives a dynamic solution of the elastic field equations exactly when the resulting material acceleration has a global acceleration potential $\xi$. At the same deformation gradient, the Cauchy stress tensor can change only by the scalar pressure reaction. Subtracting static and dynamic balance of linear momentum gives $\nabla q=\rho \mathbf{a}$, and constant mass density then gives $q=-\rho \xi +C(t)$. Surface tractions must match the adjusted Cauchy stress tensor.

The traction on the oriented solid element isWith constant Lamé coefficients and derivatives in the reference variables,Substitution into balance of linear momentum givesTo check the vector identity componentwise, contract the two alternating tensors:Rearranging proves ${\nabla }^2\mathbf{u}=\nabla (\nabla \cdot \mathbf{u})-\nabla \times (\nabla \times \mathbf{u})$. Therefore

In the current configuration, balance of linear momentum is the Cauchy momentum equationHere $\tau$ is the Cauchy stress tensor, $\rho$ is current mass density, $b$ is body force per unit mass, and $v(x,t)$ is the velocity of the material particle currently at $x$. The expression in parentheses is the material acceleration. The divergence is taken in current spatial coordinates, with $(\mathrm{div}\tau {)}_i={\partial }_j{\tau }_{ij}$.

Equivalently the right side is $\rho {\partial }_t^{2}x(X,t)$ evaluated at the particle, because this is the same material acceleration in Lagrangian coordinates. For the subsequent static inflation with negligible body force, the equation reduces to $\mathrm{div}\tau =0$.

Let $s$ be arc length, so inextensibility makes $r^{\prime }=d_3$ a unit tangent vector. The curvature is $\kappa ={\theta }^{\prime }$, hence $m^{\prime }=EI{\theta }^{\prime \prime }{e}_z$ for uniform bending stiffness. Balance of linear momentum in static equilibrium gives a constant resultant $n=F{e}_x+G{e}_y$.

Taking the cross product directly,The scalar component of conservation of angular momentum therefore becomesTogether with $x^{\prime }=\cos \theta$ and $y^{\prime }=\sin \theta$, this Euler elastica equation determines the centerline once the appropriate boundary conditions are supplied.

Let $V(t)$ be any material volume, moving with the velocity field $\mathbf{u}$. The Reynolds transport theorem in the required form isapplied componentwise when $f$ is vector-valued. Mass conservation givesSince the material volume is arbitrary, the local continuity equation follows:For an inviscid fluid with no body force, the balance of linear momentum equates the rate of change of total momentum to the boundary pressure force:using the divergence theorem. The integrand on the left expands asThe bracket vanishes by mass conservation, leaving the Euler momentum equationUnlike the incompressible flow case, the mass density need not be constant along a fluid element.

Augustin-Louis Cauchy's importance lies in the interaction of foundations, methods and applications. He made the justification of limits, series and integrals a programme for teaching and research; developed complex analysis into a source of powerful general methods; and contributed to permutation groups, geometry and continuum mechanics. His work is best assessed through particular achievements and their limitations, rather than by treating every theorem now bearing his name as a modern statement he already possessed. His engineering training and subsequent mathematical career also make a rigid separation of pure and applied work historically unhelpful.^[ref]

The Cours d'analyse by Augustin-Louis Cauchy (1821) makes convergence a condition requiring argument. A series is studied through its partial sums; a limit describes a variable approaching a fixed value; an infinitesimal is a variable tending to zero, rather than simply a mysterious fixed quantity smaller than every positive number. The introduction explicitly challenges unrestricted transfers of rules from finite expressions to infinite ones. This is not an abandonment of calculation: it seeks to identify when calculations are valid.^[ref]

For example, the Cauchy criterion for series asks whether tails can all be made small:This is a modern formulation of the convergence requirement, with the completeness of the real numbers understood. Merely requiring $a_n\to 0$ is weaker. In the harmonic series, grouping the terms from $2^j+1$ to $2^{j+1}$ gives a block of at least $1/2$, so its tails cannot satisfy the criterion. In contrast, the root test compares a tail with a geometric series: if $\mathrm{limsup}|a_n{|}^{1/n}<q<1$, then eventually $|a_n|\le q^n$, which proves absolute convergence. Such arguments explain the usefulness of convergence tests instead of reducing Augustin-Louis Cauchy's contribution to a vocabulary of definitions.

His Résumé des leçons sur le calcul infinitésimal by Augustin-Louis Cauchy (1823) extends the programme to differentiation and integration. For a continuous function on a compact interval, an integral can be approached through sums of values times subinterval lengths. A modern justification uses uniform continuity: for a partition of mesh at most $\delta$, two choices of sample points give sums differing by at most $(b-a){\omega }_f(\delta )$, where the modulus of continuity ${\omega }_f(\delta )$ tends to zero. Refinement then establishes the common limit. This reconstruction makes clear why control of error, rather than a geometrical picture of area alone, is decisive. It does not attribute the later full Riemann integral theory for discontinuous functions to the 1823 text.^[ref]

The achievement has limits. The 1821 Sum theorem of Cauchy asserts continuity of sums of convergent series of continuous functions in terms that, under a pointwise reading, are insufficient. The original proof treats the tail as negligible without establishing the uniform control needed near the point concerned. A modern diagnostic is $f_n(x)=x^n$ on $[0,1]$: every $f_n$ is continuous, but its pointwise limit is zero for $x<1$ and one at $1$. Thus a proof must distinguish pointwise convergence from uniform convergence. Augustin-Louis Cauchy's use of variable and infinitesimal language deserves historical interpretation, but it does not license silently importing modern hypotheses into his printed theorem.^[ref]

In complex analysis, the Mémoire sur les intégrales définies, prises entre des limites imaginaires by Augustin-Louis Cauchy (1825) exemplifies a new productive setting for integration. A contour integral depends on a path in the complex plane; deforming that path and accounting for isolated singularities can evaluate otherwise difficult definite integrals. In modern form, Cauchy's integral theorem applies to a holomorphic function on a suitable domain and Cauchy integral formula states, for a circle enclosing $z$ and lying with its interior in that domain,The importance is structural: local values and derivatives are determined by data on a surrounding path. Historical proofs and hypotheses should be distinguished from later general forms of the theorem.^[ref]

A short modern consequence measures the power of this method. For an entire function bounded by $M$, the derivative version of Cauchy integral formula on a circle of radius $R$ gives $|f^{\prime }(z)|\le M/R$. Since $R$ is arbitrary, $f^{\prime }=0$, proving Liouville's theorem. If a nonconstant polynomial $P$ had no root, then $1/P$ would be an entire function, bounded outside a large disc by the leading term and inside the disc by compactness. Liouville's theorem would force it to be constant, a contradiction. This proves the fundamental theorem of algebra. The chain is an assessment of the reach of the methods, not a claim that Augustin-Louis Cauchy alone originated every named result.

Augustin-Louis Cauchy's algebra concerns concrete permutations as well as analytical formulas. His 1845 investigations developed the theory of substitutions; Cauchy theorem for groups says that a prime number dividing a finite group order occurs as an element order. One can appreciate its generality from a modern argument: rotate the coordinates of the tuples $(g_1,\dots ,g_p)$ satisfying $g_1\cdots g_p=e$. Rotation preserves this condition, since $g_2\cdots g_p{g}_1=g_1^{-1}(g_1\cdots g_p)g_1=e$. There are $|G{|}^{p-1}$ such tuples; nonfixed rotation orbits have $p$ elements, and fixed tuples correspond to $g^p=e$. When $p\mid |G|$, the number of fixed tuples is divisible by $p$, so besides $e$ there is an element of element order $p$. This is explanatory mathematics, not Augustin-Louis Cauchy's original proof. The dating itself needs care: Peter Michael Neumann's archival argument places the major burst of work in 1845 despite an 1844 date traditionally attached to a volume.^[ref]

Finally, Augustin-Louis Cauchy's work on elasticity shows the strength of making a local mathematical object out of physical interactions. Instead of describing only a force perpendicular to a surface, one studies the traction on a plane through a point, with its direction dependent on the plane's unit normal. In modern notation the relation is $\mathbf{t}(\mathbf{n})=\mathbf{\sigma }\mathbf{n}$, where the Cauchy stress tensor contains the necessary directional information. Together with balance of linear momentum, this yields equations for the internal motion of a body. The modern tensor notation is later explanatory language; the conceptual contribution is the reduction of the forces on arbitrary internal planes to a finite collection of local components.^[ref]

Augustin-Louis Cauchy's lasting contribution was a powerful research programme, not a finished foundation. His insistence on justified passage to a limit reshaped analysis, while complex integration, substitutions and local stresses opened methods whose value extended beyond their first applications. The inadequacy of a pointwise convergence hypothesis, the need to state domains in complex analysis, and the later construction of the real numbers show that nineteenth-century rigour remained a collective and revisable achievement. These qualifications strengthen an assessment of his influence by identifying what later mathematicians could extend and repair.

The first equation is the local balance of linear momentum. Use $\mathsf{M},\mathsf{L},\mathsf{T}$ for the dimensions of mass, length, and time, to distinguish dimensional time from the Cauchy stress tensor $\mathbf{T}$.

Here $t$ has dimension $\mathsf{T}$. The hypothesis ${\partial }_t\mathbf{b}=0$ means that the prescribed spatial body force field is the same for every member of the static family and the resulting motion.

Restore the particle label suppressed in the question, writing the static family as ${\mathbf{x}}_0(\mathbf{X};\tau )$. At each fixed $\tau$, its Cauchy stress tensor satisfiesThis dynamic continuation of a static incompressible elastic deformation sets $\tau =t$ to form a motion. At every time its deformation gradient is the same as that of the corresponding static member. For an elastic material the elastic part of the Cauchy stress tensor depends on that deformation gradient, while incompressibility leaves an arbitrary scalar constraint reaction in hyperelastic stress. Therefore writeHere $1$ is the identity matrix. Subtracting static balance of linear momentum from dynamic balance of linear momentum givesSince the homogeneous incompressible material has constant mass density, define $\xi =(p-p_0)/\rho$. NecessarilyConversely, suppose this acceleration potential exists. Choose $p=p_0+\rho \xi$. ThenThe added isotropic stress is symmetric, so angular momentum conservation remains satisfied. This proves both directions for the field equations and the elastic constitutive equation. The surface tractions for the motion are those of the adjusted stress; identical prescribed static tractions would impose an additional boundary restriction on $\xi$.

Take two time derivatives at fixed reference position $\mathbf{X}$:The constraint $\det \mathbf{F}=1$ ensures that the deformation gradient is invertible, so $\mathbf{X}={\mathbf{F}}^{-1}(\mathbf{x}-\mathbf{c})$. Thus the spatial material acceleration is the affine vector fieldIts spatial gradient is $\mathbf{A}$, and its curl isPart (b)(iii) therefore requiresEquivalently, multiplying on the left by ${\mathbf{F}}^T$ and on the right by $\mathbf{F}$ givesThe translation $\mathbf{c}(t)$ contributes no spatial curl and is unrestricted by this condition. A useful equivalent first integral isthe antisymmetric matrix in parentheses must be constant, and need not vanish. The separate constraint $\det \mathbf{F}=1$ is still required; differentiating it also gives $\mathrm{tr}(\dot{\mathbf{F}}{\mathbf{F}}^{-1})=0$.

The condition is understood in the setting of part (b), where a static family already exists under the prescribed body force. For a homogeneous elastic deformation gradient, the elastic stress $\mathbf{S}(\mathbf{F})$ is spatially constant. Static balance of linear momentum consequently gives $\nabla p_0=\rho \mathbf{b}$, ensuring that $\mathbf{b}$ has a scalar potential. If the static-family assumption were dropped and an arbitrary time-independent body force allowed, the general necessary condition would instead be $\nabla \times \ddot{\mathbf{x}}=\nabla \times \mathbf{b}$.

Let $t(n)$ denote traction: the force per unit area exerted across an oriented internal surface with unit normal $n$. Define ${\sigma }_{ij}$ as component $i$ of the traction on a coordinate plane whose normal is $e_j$. Balance of linear momentum on a shrinking tetrahedron makes the surface-force terms, of order area, dominate its inertia and body forces, of order volume. Resolving its oblique face into the three coordinate projected areas gives Cauchy's traction formulaOpposite faces have opposite tractions, as follows independently from a shrinking pillbox. This fixes both the index and normal conventions.

For a material volume $V(t)$, the Reynolds transport theorem says $d{\int }_{V(t)}fdV/dt={\int }_{V(t)}[f_t+\nabla \cdot (fu)]dV$. Apply it componentwise to $f=\rho u_i$ and use mass conservation. With no body force in this calculation, balance of linear momentum and the divergence theorem giveArbitrariness of the material volume yields $\boxed{\rho D{u}_i/Dt={\partial }_j{\sigma }_{ij}}$, with $D/Dt={\partial }_t+u_j{\partial }_j$.

For constant dynamic viscosity and incompressible velocity, ${\partial }_j{u}_j=0$, soThus $\boxed{\rho (u_t+u\cdot \nabla u)=-\nabla p+\mu {\nabla }^{2}u}$.

In fully developed steady pipe flow $u=w(x,y)e_z$, the convective acceleration vanishes. The transverse equations give $p_x=p_y=0$ and the axial equation gives $p_z=\mu (w_{xx}+w_{yy})$. One side depends only on $z$ and the other only on $(x,y)$, so both equal a constant. HenceIf $n$ is outward from the fluid cross-section, the wall-on-fluid axial shear per length is $\mu \oint {\partial }_{n}wds=\mu {\int }_A\Delta wdA=A{p}_z$. The fluid-on-pipe force is its negative:For forward pressure-driven flow $p_z<0$, this force points along the flow. Its value depends on cross-sectional area and pressure drop, even though the detailed velocity profile depends on the shape.

Scale lateral distance with $L$, transverse distance with $h$, lateral velocity with $U$, and the normal velocity with $Uh/L$. Balancing lateral pressure force with transverse viscous stress gives pressure scale $\mu UL/h^2$. The ratio of inertia to that stress is $U{h}^2/(\nu L)$, while lateral viscous derivatives are smaller by $(h/L{)}^2$. The two stated smallness conditions therefore reduce the lateral equations to $\mu u_{zz}=p_x$, $\mu v_{zz}=p_y$. The normal component of balance of linear momentum gives $p_z=0$ at leading order; continuity remains $u_x+v_y+w_z=0$. The no-slip, impermeable rigid plates require $u=v=w=0$ at both plate surfaces.

Integrating with those boundary values givesDepth-integrated continuity has no normal boundary flux, so $\nabla \cdot \bar{u}=0$ and $\boxed{{\nabla }^{2}p=0}$ away from the injection point.

Neglecting surface tension, the fluid free boundary has $p=p_{\mathrm{ext}}$, and its normal velocity is the fluid velocity: $\dot{R}={\bar{u}}_r(R)$. Any constant capillary pressure for a circular interface can instead be included in that spatially uniform boundary pressure. Conservation of injected volume gives $2\pi rh{\bar{u}}_r=Q$. HenceThe logarithmic pressure singularity represents the ideal point source, which in a physical cell is replaced by a finite inlet. The formula is an exact radial solution of the depth-averaged model for either sign of $Q$, while $R^2>0$.

Its robustness differs sharply between the signs. With viscous fluid inside a much less viscous exterior, injection displaces the less viscous phase and is stabilizing; suction draws the exterior into the viscous region and is prone to fingering. One can see this directly without relying on a slogan. Write the boundary as $R+a_n\cos n\theta$ and its regular pressure perturbation as $b_n{r}^n\cos n\theta$. Linearizing the constant-pressure condition gives $\delta p(R)=-a_n{p}_0^{\prime }(R)=a_{n}Q/(2\pi hKR)$. The perturbation radial velocity is then $-n{a}_{n}Q/(2\pi h{R}^2)$, and evaluation of the base velocity at the displaced boundary adds $-a_{n}Q/(2\pi h{R}^2)$. ThusModes decay for injection and grow for suction. Accordingly the suction circle is a mathematically possible symmetric solution but generally an unstable prediction, failing before its formal collapse in a perturbed experiment. This is Stability of an interior Hele-Shaw blob under injection and suction.

For a material volume, mass conservation is $d{\int }_{V(t)}\rho dV/dt=0$. The transport theorem and arbitrariness of that volume give $\boxed{{\rho }_t+\nabla \cdot (\rho u)=0}$. Balance of linear momentum includes the pressure traction and body force:Apply transport, the divergence theorem and the mass equation to obtainFor small perturbations of the uniform resting barotropic state, write $\rho ={\rho }_0+{\rho }^{\prime }$, $p=p_0+c_0^2{\rho }^{\prime }+\cdots$. Linearized mass and momentum areTaking the curl shows that initially vanishing vorticity remains zero, so the acoustic velocity has a potential $u=\nabla \varphi$. Integrating momentum, using the additive freedom of a velocity potential to remove the spatially constant integration term, gives ${\rho }^{\prime }=-({\rho }_0/c_0^2){\varphi }_t$. Continuity now yields $\boxed{{\varphi }_{tt}=c_0^2{\nabla }^2\varphi }$.

For spherical symmetry, set $\varphi =e^{-i\omega t}F(r)$ and $k=\omega /c_0$. The radial equation is $(r^2{F}^{\prime }{)}^{\prime }+k^2{r}^{2}F=0$, or $(rF{)}^{\prime \prime }+k^2(rF)=0$. HenceRigid boundaries require radial velocity $F^{\prime }=0$ at both radii. A form automatically satisfying the condition at $a$ isAt $b$, the condition $b(rF{)}^{\prime }-(rF)=0$ becomesTherefore the nonzero oscillatory eigenfrequencies obeyThe undivided sine-cosine form avoids artificial issues from dividing by a cosine. The formal $k=0$ root is the spatially constant zero-frequency potential additive freedom of a velocity potential, not a propagating acoustic oscillation. This is the radial acoustic spectrum between rigid concentric spheres.

Work in the rest frame of the planar shock, with nonzero mass flux $j=\rho u$. Conservation of mass gives $[j]=0$; the tangential and normal components of balance of linear momentum give $[jv]=0$ and $[p+ju]=0$. Thus $[v]=0$. For an ideal gas, specific internal energy is $e=c_{v}T=p/[(\gamma -1)\rho ]$, and specific enthalpy is $e+p/\rho =\gamma p/[(\gamma -1)\rho ]$. Total energy flux is $j[(u^2+v^2)/2+e+p/\rho ]$. Its continuity, with $v$ already continuous, givesPut $c^2=\gamma p/\rho$ and $M=u/c$. Since $p=ju/(\gamma M^2)$, the normal component of balance of linear momentum says $u[1+1/(\gamma M^2)]$ is constant. HenceThe energy equation says $u^2[1/2+1/((\gamma -1)M^2)]$ is constant, givingSet $a=M_{-}^2$, $b=M_{+}^2$, square the first relation and equate to the second. After clearing positive denominators the equation factors asThe first factor is the unchanged state. For a genuine shock the second factor vanishes, yieldingThe physical selection principle is entropy increase in the direction of flow. For $u_{\pm }>0$, the upstream side is $x<0$ and the downstream side is $x>0$. A compressive entropy-admissible shock has $\boxed{M_{-}>1,M_{+}<1}$; interpreting the printed “ahead” and “behind” spatial labels must respect these explicit side assignments. The expansion-shock branch would violate the second law.

Substitution gives the velocity ratioSince $v$ is unchanged while the normal component decreases, $|v|/u$ increases. Thus an oblique flow bends towards the shock plane, equivalently away from its normal. If $v=0$ there is no angular bending; the flow stays normal and simply slows. The tangential continuity, not a change in the tangential speed, causes the deflection.