For the negative-flux viscous Burgers equation , set . A sum of exponentials in the initial heat data evolves into , giving the displayed softmax function average. Two terms produce a traveling tanh shock from the lower to the higher state, with speed minus their mean.
Write and , with . Direct differentiation gives
Thus the Cole-Hopf transformation with this negative-flux convention maps the heat equation to the stated viscous Burgers equation. Conversely its residual is independent of and can be removed by multiplying by a function of .
Convolving each initial exponential with the Gaussian heat kernel gives
The resulting finite-exponential Cole-Hopf solution is
It is a softmax function average of the constant states, so and .
For , put and . Equality of the two exponents occurs at
Therefore
This is an increasing viscous shock from to , moving at speed and with transition width of order . That speed agrees with the Rankine-Hugoniot condition for flux ; its concavity makes the increasing jump the entropy shock.
For general , use the shock frame . The leading coefficient in is . The endpoint coefficients coincide, and every interior coefficient is smaller by . The extremal-state asymptotics of exponential Burgers solutions therefore reduce the large- profile to the same tanh shock with states and centre
At a fixed , rather than in the moving frame, the endpoint of largest dominates. If , both endpoint rates coincide and the limiting shock is stationary. Intermediate plateaus disappear in the moving-frame limit.
Figure 1.
Intermediate states disappear from the finite-exponential Burgers solution in the moving shock frame
. Details.
The equal-variance form of Slepian's lemma is the following. If are centered vectors with multivariate normal distributions, for every , and whenever , then
for every threshold vector . In particular . No nonsingularity of the covariance matrices is required.
Here the pointwise variances and differ. To make the comparison rigorous, use the increment form, namely the Sudakov-Fernique inequality: if centered multivariate normal distributions satisfy for every pair, then . Unlike the preceding form of Slepian's lemma, this statement has no equal-pointwise-variance hypothesis.
For completeness, the increment form follows by Gaussian integration by parts. Make independent, define for , and let
The are softmax function weights, with and . Direct differentiation gives and . The Gaussian integration by parts identity therefore yields
The last summands are nonnegative because . Since
integration in and the limit prove the Sudakov-Fernique inequality. All derivatives needed here are bounded for a fixed . Singular covariance matrices can be handled by adding small independent centered normal noise with the same variance to both vectors, proving the identity for the nonsingular vectors, and letting the noise variance decrease to zero.
Use the printed normalization of fractional Brownian motion, which omits the conventional factor . Its increment variance is
For and , . Enumerate by increasing finite subsets whose union is , with . The Sudakov-Fernique inequality gives
Both Gaussian processes vanish at zero almost surely. Thus these maxima are nonnegative and increase with ; monotone convergence theorem gives
Their continuous modifications agree with the original Gaussian processes simultaneously on the countable set , after discarding a single null event. Continuity and density of the rational parameters make each rational supremum equal to the supremum over for these modifications.
The expected suprema are finite. Indeed, the canonical distance of is . A Euclidean grid supplies a closed-ball metric covering number bound for . The Dudley entropy integral bound for an anchored centered separable Gaussian process is
The integral is finite since its integrand grows at most like a constant times near zero. The same argument applies to .
For any real path vanishing at zero,
A centered Gaussian process has the same probability law as its negative. Combining this symmetry with the increment comparison gives the stronger bound
In particular the requested comparison is
The common normalization factor affects both sides equally. The comparison is valid for every , including the equality cases or in the increment bounds.
The feedforward neural network has three input coordinates, two hidden sigmoid function units and two output softmax function units. Every input is connected to each hidden unit, and each hidden unit to each output unit; each hidden and output unit also has a bias. A layer diagram is
Algebraically, with ,
with responses conditionally independent. The fourteen displayed weight and bias parameters comprise six input weights, two hidden biases, four output weights and two output biases. The one-hot encoding supplies targets , , and the categorical cross-entropy loss is the negative of . There is softmax non-identifiability under a common shift of both output logits, but the predicted probabilities are well defined.
For one observation, let and define . Differentiating the softmax function and its log-likelihood gives . The sigmoid-softmax network gradients are
These equations are backpropagation: use the chain rule through the output affine map, then through the hidden units, then the input affine map.
For a learning rate , select one observation and update every parameter by , computing all entries of the gradient from the old parameters before applying the update. A uniformly selected observation gives an unbiased gradient of the average log-likelihood; multiplying by 3000 would instead estimate the gradient of the sum. Equivalently perform stochastic gradient descent on the negative log-likelihood. Batch size one makes one update per observation, and five epochs make five passes through the data, typically with a fresh random ordering on each pass.
For hidden layers with , the output logits are and the softmax function gives
With and , the model-matrix input is
The feedforward neural network has three inputs, a fully connected layer of two ReLU units, and a fully connected two-class softmax output. Algebraically,
where , , , and . The coding is for no click and for a click. There are
parameters.
Define the softmax weights
They obey and . The gradient is their weighted mean,
Differentiating once more gives the covariance-form Hessian matrix
For every unit vector ,
where . The Hessian is a covariance matrix, so it is positive semidefinite; the displayed upper bound also gives in the Loewner order. Consequently has a Lipschitz gradient with
Encode the two classes by the standard basis vectors of . With rectified linear unit applied coordinatewise and softmax function , the fitted feedforward neural network is
where , , , , , and . The number of trainable parameters is
For standardized , model1 computes
followed by logits and softmax function probabilities
The parameter count is
For one-hot labels , the categorical cross-entropy loss is
This is the negative conditional log-likelihood of independent categorical labels, equivalently Bernoulli labels in the two-class case.
For centered multivariate normal distributions, if for every pair, then the displayed comparison holds. For a quick proof, make independent and set . Apply Gaussian integration by parts to . With softmax function weights and , the derivative of is . Since , let . Singular covariance matrices follow by adding identical small independent normal noise to both vectors and taking a limit.