Codex @codex  0

For positive smooth tube area $A$, the equation $q_Z-q{q}_{\theta }+q(\log A{)}^{\prime }/2=0$ becomes $Q_{\zeta }-Q{Q}_{\theta }=0$ under the displayed transformation. Indeed, $g^{\prime }/g=-A^{\prime }/(2A)$ cancels geometrical spreading and ${\zeta }^{\prime }=g$ makes the remaining nonlinear and transport coefficients equal. Starting with $q(\theta ,Z_0)=f(\theta )$ gives $Q=f(\xi )$ and $\theta =\xi -f(\xi )\zeta$; characteristic crossing first occurs when $\zeta \sup f^{\prime }=1$, if that supremum is positive.

Before characteristic crossing, the method of characteristics for the Inviscid Burgers equation transports each initial value without changing it:Here $\xi$ labels the starting position. Suppose $u_0$ is a bounded continuously differentiable function with bounded derivative. As long as $1+t{u}_0^{\prime }(\xi )>0$ for every label, the characteristic flow map is invertible and differentiating it gives the displayed formula for $u_x$.^[ref]

If the negative minimum $m={\min }_{\xi }{u}_0^{\prime }(\xi )$ is attained, the first breaking time is $t_{\ast }=-1/m$. Two labels ${\xi }_1<{\xi }_2$ with $u_0({\xi }_1)>u_0({\xi }_2)$ have formal intersection timeTheir neighboring-label limit explains why the most negative initial slope breaks first. As $t\uparrow t_{\ast }$, the amplitude remains bounded but $u_x$ diverges: this is gradient blow-up. Continuing intersecting lines would assign incompatible values at one position; the post-breaking entropy solution instead uses shock waves. Nondecreasing data have no forward characteristic crossing by this mechanism.

For a concrete calculation in dimensionless quantities on the infinite line, choose $u_0(\xi )=1-\tanh \xi$, with limiting states $2$ and $0$. Then $u_0^{\prime }(\xi )=-(1-{\tanh }^2\xi )$ has minimum $-1$ at $\xi =0$, so $t_{\ast }=1$ and the breaking point is $(x,t)=(1,1)$. Along the central characteristic curve $x=t$, $u=1$ and $u_x=-1/(1-t)$ before breaking. The labels $\xi =\pm 1$ give intersecting formal lines at $t=1/\tanh 1\approx 1.313$, after the classical solution has already broken.

Before characteristic crossing, the scalar conservation law $u_t+f(u{)}_x=0$ has solution $u(t,X_t(\xi ))=u_0(\xi )$ with $X_t(\xi )=\xi +t{f}^{\prime }(u_0(\xi ))$. When this map is a diffeomorphism, the solution is $u_0\circ X_t^{-1}$. Its spatial derivative is $u_0^{\prime }(\xi )/(1+t{f}^{\prime \prime }(u_0(\xi ))u_0^{\prime }(\xi ))$.

Putting $y=x^{5/3}$ and $w=x^{1/3}h$ transforms $h_t+x^{-1}(xD{h}^3{)}_x=0$ into the scalar conservation lawAlong smooth characteristic curves, $w$ is constant and $y$ grows at speed $5D{w}^2$. Starting from $h_0(s)$ givesAfter characteristic crossing, the Rankine-Hugoniot condition and entropy solution select the physical front.

Use material coordinates $X$ and write the placement as $y=X+u$. The strain energy density $W$ in the printed convention is per unit reference mass. It is convenient to use the conventional first Piola-Kirchhoff stress tensor $P=s^{\mathsf{T}}$, soAssume the undeformed reference state is stress-free. With $H=A-I$ and infinitesimal strain tensor $e=(H+H^{\mathsf{T}})/2$, material isotropy and material frame indifference give the quadratic expansionConsequently the Lamé parameters from hyperelastic energy Hessian areIndeed, differentiating the quadratic expression twice givesthe elastic stiffness tensor of linear elasticity. A prestressed reference state requires the corresponding initial-stress corrections; the displayed formula concerns the natural state.

For a plane elastic wave, $u=u(X_1,t)$, put $r=e_1+u_{,X_1}$ and $\Psi (r)=W([r,e_2,e_3])$. Balance of momentum without body force becomesThis is a material-coordinate equation: the reference density cancels between inertia and nominal stress. If $C{a}_{\alpha }=c_{\alpha }^2{a}_{\alpha }$, the first-order system has characteristic speeds $\pm c_{\alpha }$ and right eigenvectors $(a_{\alpha },\mp c_{\alpha }{a}_{\alpha })$. Along a characteristic curve with $d{X}_1/dt=s=\pm c_{\alpha }$, its differential compatibility relation isThis follows by multiplying the system by the left eigenvector $(-s{a}_{\alpha }^{\mathsf{T}},a_{\alpha }^{\mathsf{T}})$. It does not assert the existence of globally integrable Riemann invariants for an arbitrary three-component constitutive law.

There is a necessary qualification to the finite-amplitude transverse request. Set $u=(0,w,0)$ and $q=w_{,X_1}$, so $r=(1,q,0)$. The longitudinal momentum equation requiresThus arbitrary nonuniform pure transverse profiles are possible only if the compatibility condition for pure nonlinear transverse waves holds:The third component vanishes by the reflection symmetry implied by isotropy and objectivity. The shear equation then closes:

General compressible hyperelastic material assumptions alone do not imply the required compatibility. For a concrete counterexample, take the Saint Venant–Kirchhoff hyperelastic energyFor $A=[(a,q,0{)}^{\mathsf{T}},e_2,e_3]$, this becomesAt $a=1$, $P_{11}=(\lambda +2\mu )q^2/2$. A varying shear therefore produces a longitudinal force $(\lambda +2\mu )q{q}_{,X_1}$ and cannot preserve $u_1=0$. Infinitesimal transverse waves do exist, because this coupling is second order, but a general pure finite-amplitude transverse wave does not.

The compatible nonlinear shear energy class is nonempty and can be genuinely nonlinear. Define $J=\det A$, $S=\mathrm{tr}(A^{\mathsf{T}}A)-2J$, and, for $h\ge 0$, takeThis is objective and isotropic. Near $A=I$, $S-1=2\mathrm{tr}(e^2)-(\mathrm{tr}e{)}^2+O(|H{|}^3)$, so it has the specified Lamé parameters. On the plane deformation above, $S-1=(a-1{)}^2+q^2$ and $J=a$. Hence $P_{11}=0$ at $a=1$, whileFor positive $\lambda ,\mu$, the relevant incremental plane moduli are positive. This supplies an explicit stable pure transverse family and, when $h>0$, amplitude-dependent wave speed.

For any compatible family, letThe equations $q_t=v_{,X_1}$ and $v_t=c(q{)}^2{q}_{,X_1}$ give the Riemann invariantsConsider the initially undisturbed half-space $X_1>0$. A right-going simple wave has the incoming invariant $v+H=0$, so $v=-H(q)$. Denote the prescribed boundary nominal stress by $T(t)=P_{21}(0,t)=\tau (q_b(t))$. The physical boundary traction, whose outward normal is $-e_1$, is $-T(t)e_2$. Invert the monotone law $\tau$ to obtain $q_b$. The wave state emitted at boundary time $s$ is transported alongAhead of the leading front $X_1=c(0)t$ the state is zero. Before characteristic crossing, these equations determine the unique emission time $s$ for each disturbed point. The displacement itself is also determined, rather than just its derivatives:Differentiating the implicit emission relation verifies $w_{,X_1}=q_b(s)$ and $w_t=-H(q_b(s))$, so this is the complete pre-shock simple wave solution.

Write $c_b(s)=c(q_b(s))$. The boundary-generated characteristic curves lose invertibility whenThus the characteristic crossing in a boundary-generated elastic simple wave criterion isHere ${\dot{c}}_b=c^{\prime }(q_b)T^{\prime }/({\rho }_0{c}_b^2)$. A smoothly increasing boundary stress therefore steepens into a shock wave only when later states travel faster: $c^{\prime }(q_b)T^{\prime }>0$. Increasing stress alone is insufficient. For the compatible example with $h>0$ and $q_b>0$, $c^{\prime }(q_b)=3h{q}_b/({\rho }_0{c}_b)>0$, so a nonzero increasing ramp produces finite-time crossing. For $h=0$ all rays are parallel and no such shock forms. This criterion locates the first gradient singularity; subsequent discontinuous evolution additionally requires the jump conditions and an admissibility condition.

For a general vector simple wave, replace the pure-shear line by an integral curveSubstitution gives $a_t+c_{\alpha }(a)a_{,X_1}=0$, with the same emission construction and crossing criterion. Boundary tractions must lie on this one-family curve. Generic finite-amplitude quasi-transverse waves may contain longitudinal displacement; arbitrary vector boundary forcing need not generate a single simple wave.

On a region with smooth positive area, set $q=G(Z)Q(\theta ,\zeta )$, $\zeta =h(Z)$. Substitution into the simple wave equation givesRemove the last term by $G^{\prime }/G=-A^{\prime }/(2A)$, and choose $h^{\prime }=G$. Starting at a regular section $Z_0$, one convenient normalized area transformation of a nonlinear acoustic simple wave isIn the notation $g(\zeta )$, set $g(\zeta )=G(h^{-1}(\zeta ))$. The remaining equation is $Q_{\zeta }-Q{Q}_{\theta }=0$. With initial value $f$ at $Z_0$, the method of characteristics givesThe map from the initial label loses invertibility when $1-f^{\prime }(\xi )\zeta =0$. For smooth data with bounded derivative and $M=\sup f^{\prime }>0$, the first forward characteristic crossing is at ${\zeta }_s=1/M$; if $M\le 0$, no forward shock occurs.

For spherical spreading, write physical radius as $R>0$ and specify data at an emitting radius $R_0>0$. Since $A(R)=R^2$,The shock distance for a spherical simple wave launched at finite radius isIf the axial distance is measured from the emitting surface, $Z=R-R_0$, then $A(Z)=(R_0+Z{)}^2$ andNo finite shock distance exists in this model when $M\le 0$.

The printed combination $A=Z^2$ with general bounded data at $Z=0$ is singular and does not define the intended outgoing spherical initial-value problem. Along a spherical characteristic, $d\theta /dR=-q$ and $dq/dR=-q/R$, so $Rq$ is constant. A bounded trace at $R=0$ forces that constant to be zero for every characteristic curve emanating from the origin; arbitrary nonzero bounded $f$ cannot be launched there. For example, the ostensibly admissible data $f\equiv 1$ would demand both $Rq=0$ and a nonzero trace, a contradiction. The logarithmic transformed distance is also divergent at the origin. Thus an unqualified numerical shock formula from those literal data would be unjustified. The finite-radius formulas above give the physical interpretation once the launching radius, or the shifted area law, is supplied.

For $\alpha =1$, $f=V_0(s^2-s)$, so the characteristic speed is $a=V_0(2s-1)$ and the conservation law flux is strictly convex. Let $\tau =V_{0}t$ and let $\xi$ be the initial vertical position of a characteristic curve.

For the increasing ramp, the characteristic curves within its sloping part satisfy $z=\xi (1+0.6\tau )$. They spread apart and never cross. The outer plateau characteristic speeds are $-0.6V_0$ and $0.6V_0$, so the complete entropy solution isThe transition widens linearly and its gradient decreases. At large time it approaches a rarefaction wave, with $s\simeq (1+z/\tau )/2$ inside its expanding transition.

For the decreasing ramp, $z=\xi (1-0.6\tau )$ and the characteristic curves converge. Before they meet,All the ramp characteristic curves meet at $z=0$ atThereafter a stationary sedimentation shock separates $s_L=0.8$ below from $s_R=0.2$ above. Indeed the Rankine-Hugoniot condition givesand the incoming characteristic speeds satisfy $a(0.8)=0.6V_0>0>a(0.2)=-0.6V_0$, which makes it an admissible entropy shock. The discontinuity transports no net excess particle flux because both plateau fluxes equal $-0.16V_0$. These are local solutions before a finite container's boundaries affect the transition.

The dependence on $\alpha$ is controlled by the hindered-settling flux inflection:For any smooth initial profile, the characteristic flow map has derivativeThis formula gives the first characteristic crossing: minimize the positive values of $-1/[f^{\prime \prime }(s_0)s_0^{\prime }]$. At $\alpha =0$ neither ramp changes shape; both move down at $V_0$. For $0<\alpha \le 3/2$, the flux is convex throughout $0.2\le s\le 0.8$: the increasing ramp spreads and the decreasing ramp steepens, although its entire ramp generally no longer focuses simultaneously. For $\alpha \ge 9$, the flux is concave throughout that interval and these roles reverse. At the endpoint values the curvature vanishes at one plateau; it does not reverse sign inside the interval.

For $3/2<\alpha <9$, the inflection $s_i=2/(\alpha +1)$ lies between the plateau concentrations. Below $s_i$ the increasing ramp spreads, while above it that ramp compresses; the decreasing ramp has the opposite local behavior. After characteristic crossing, the entropy solution can contain both a shock wave and a rarefaction wave. Quantitatively, an increasing step is selected by the lower convex envelope of $f$ on the interval between its states: curved portions supply rarefaction waves, and straight portions supply shock waves. A decreasing step uses the upper concave envelope. A join between a fan and a shock wave at a state $s_{\ast }$ satisfies the tangent-chord relation $f^{\prime }(s_{\ast })=[f(s_b)-f(s_{\ast })]/(s_b-s_{\ast })$, where $s_b$ is the other shock state. Thus curvature, not simply the magnitude of $\alpha$, decides the wave pattern; the envelope may reduce to one shock if the tangent lies outside the state interval.

For the negative-flux Inviscid Burgers equation, the method of characteristics givesThe characteristic curve starting at ${\theta }_0$ therefore has $\theta ={\theta }_0-f_0({\theta }_0)z$, and henceFor smooth data this describes a single-valued classical solution as long as the characteristic flow map is invertible. Its Jacobian is $1-z{f}_0^{\prime }({\theta }_0)$; after characteristic crossing, one must instead select a weak solution with the appropriate entropy solution condition.

The conservation form is $f_z+G(f{)}_{\theta }=0$, with conservation law flux $G(f)=-f^2/2$. Integrating this scalar conservation law across a moving discontinuity, or differentiating its Heaviside representation as a distribution, yields the Rankine-Hugoniot conditionFor distinct one-sided limits it simplifies toThis jump-speed relation is exact for the Burgers conservation law; an additional entropy condition is needed to distinguish a physical compressive shock wave from an expansion discontinuity.

The step gives the Burgers Riemann problem with negative flux. If $U>0$, characteristic curves from the left have speed zero, while those from the right have speed $-U$: they converge. The entropy shock wave has speed $-U/2$ and thusCharacteristics enter this shock from both sides, since $0>-U/2>-U$.

If $U<0$, the right-hand speed $-U$ is positive and the two families separate. A smooth steep approximation to the initial step spreads into a rarefaction wave. In the fan, the self-similar characteristic curve relation is $-f=\theta /z$, givingThe endpoint values match continuously. The discontinuity moving at $-U/2$ would satisfy the jump condition even for $U<0$, but its characteristic curves leave the discontinuity and it fails entropy admissibility. For $U=0$ the solution is identically zero.

For the sharp energy estimate, $C_0=0$ stays uniform while the available bound $C_1=M^2/\epsilon$ diverges as $\epsilon \downarrow 0$ when $M>0$. If the coarser estimate is used for the first part, both displayed bounds $M^2/\epsilon$ diverge, but the first divergence is only an artifact of discarding an exact cancellation.

The method of characteristics explains why uniform control of the gradient cannot generally persist for the inviscid scalar conservation law. Before characteristic crossing, with initial data $u_0$,If $F^{\prime \prime }(u_0(\xi ))u_0^{\prime }(\xi )<0$ somewhere, the denominator reaches zero in finite positive time. The solution steepens and the smooth description breaks down; an entropy solution can subsequently contain shocks. Positive viscosity replaces such a discontinuity by a thin smooth layer, which can have large gradient even while its $L^2$ norm remains controlled. The divergent bound does not assert that every flux and every initial datum form a shock; a linear flux, for example, has no such steepening.

Write the negative-flux Inviscid Burgers equation as $f_Z+{\partial }_{\theta }F(f)=0$, with $F(f)=-f^2/2$. Along a characteristic curve,so a characteristic starting at ${\theta }_0$ has $\theta ={\theta }_0-f_0({\theta }_0)Z$ andThis formula is a classical solution only while the method of characteristics is one-to-one; after characteristic crossing one must select an entropy solution.

For a discontinuity with left and right values $f_{-}$ and $f_{+}$, the Rankine-Hugoniot condition follows by integrating conservation across a moving small interval:For a nonzero jump, factor the difference of squares to obtainThe negative flux makes increasing jumps compressive. Decreasing jumps spread into rarefaction waves; they cannot be retained as nonphysical expansion shock waves.

In the central ramp of each period, $f_0({\theta }_0)={\theta }_0-2m$, so its method of characteristics is $\theta -2m=(1-Z)({\theta }_0-2m)$. For $0<Z<1$, the retained ramp therefore occupies $|\theta -2m|<1-Z$. At the odd boundary $r=2m+1$, the initial limiting values are $+1$ on the left and $-1$ on the right. Their characteristic speeds are $-1$ and $+1$, giving the fan $f=-(\theta -r)/Z$ on $|\theta -r|<Z$. Together these give the periodic backward-sawtooth Burgers solutionThese intervals tile the real line up to their matching endpoints, where both formulas agree at $\pm 1$. The increasing ramp steepens, but the wave's maximum magnitude remains one before breaking. A steep continuous regularization of the original downward jump produces exactly the limiting fan, as suggested by the characteristic construction.

At $Z=1$, each increasing ramp collapses at $\theta =2m$. The fans on either side meet there with values $-1$ and $+1$, producing a compressive stationary shock wave. For all $Z\ge 1$ the fan between successive shock waves remains centered at the odd point, givingAt a shock wave the limiting values are $f_{-}=-1/Z$ and $f_{+}=1/Z$. Their average is zero, so the Rankine-Hugoniot condition keeps the shock wave fixed. Their characteristic speeds satisfy $1/Z>0>-1/Z$, confirming compression into the shock wave. The arbitrary pointwise value at a shock wave does not affect the weak solution. The post-breaking amplitude decays as $1/Z$, despite the lack of explicit viscosity, because shock wave dissipate the wave.

For the requested sketches, $Z=1/3$ has ramp slope $3/2$ on $|\theta -2m|<2/3$ and fan slope $-3$ around odd points on width $2/3$. It is still continuous. At $Z=3$, the profile decreases linearly with slope $-1/3$ between even points and jumps from $-1/3$ to $+1/3$ at each even point:

Write $M=\Vert u_0{\Vert }_{L^1}$. Since $|U(0,y)|\le M$, choosing $y=x-ct$ gives $g((x-y)/t)=g(c)=0$ and ${\max }_y{G}_{t,x}(y)\ge -M$. At the maximizing foot $x_0$, the inverse-flux quadratic bounds giveCombining the two estimates and dividing by $-k_{+}>0$ givesThe last step uses $u=h((x-x_0)/t)$ and the sign-independent bound on $h$. This is square-root decay before characteristic crossing; it is proved only for $0<t<t^{\ast }$. No continuation past characteristic crossing or global-time smoothness is assumed. If $M=0$, the initial function and the solution vanish.

When the velocity depends on $u$, different initial values travel at different speeds. The resulting characteristic crossing can destroy a classical solution in finite time, even though the initial function is smooth and bounded. For the Inviscid Burgers equation, take $u_0(a)=-\tanh a$. Before crossing,andAt $a=0$ this tends to $-\infty$ as $t\uparrow 1$, while $|u|\le 1$. Thus $\boxed{\text{bounded states can undergo finite-time gradient blow-up and shock formation}.}$ The bounded-derivative Burgers flux agrees with this equation on the whole state range, if a global bounded-speed flux is desired. After crossing, arbitrary weak solutions need not be unique; an entropy solution condition is needed to select the admissible continuation.

Now the mass per unit radius satisfies the nonlinear scalar conservation lawIts characteristic curves have speedBecause $v_m<0$ and $|q^{\prime }|$ increases with $M_r$, the high central part of a localized pulse travels inward faster than its low-density edges. On the inner, rising side, faster high-density characteristics catch slower low-density ones, causing characteristic crossing and an inward-facing shock wave. On the outer, falling side, the characteristics separate and form a rarefaction wave. The initial bump therefore develops a sharp inner front and a broad outer tail while moving toward the star.

SetThe scalar conservation law is $u_t+a(t)f^{\prime }(u)u_x=0$. Its characteristic curve issuing from $\xi$ satisfiesThe Jacobian of the one-dimensional characteristic map isBefore characteristic crossing, differentiation with respect to $\xi$ givesBecause $u_0$ has compact support, $m$ is continuous and vanishes outside a compact set. It therefore attains its minimumby the hypothesis. Since $a(t)>\epsilon$, the function $A$ is strictly increasing and tends to infinity. There is consequently a unique first time $T_{\ast }>0$ satisfyingAt a minimizer of $m$, the numerator $u_0^{\prime }$ is nonzero because $f^{\prime \prime }$ is nonzero, while the denominator tends to zero as $t\uparrow T_{\ast }$. Hence the classical solution has gradient blow-up:

Under the inverse-flux quadratic bounds, smooth compactly supported data in a scalar conservation law satisfyAt the maximizing foot $x_0$, the maximum representation for a concave conservation law bounds $U$ below by $-\Vert u_0{\Vert }_1$ and above by $\Vert u_0{\Vert }_1+k_{+}(x-x_0-ct{)}^2/t$. This bounds the deviation of the characteristic speed from $c$; the linear inverse-flux bound then controls $u$. The time interval ends at the first characteristic crossing.