Writing the velocity as gives
so the flow is incompressible. With the convention
a stream function is
The streamlines are its level sets. For , they are the hyperbolas
with separatrices and a saddle at the origin. For , they are concentric ellipses
traversed clockwise. This is the streamline classification of a planar linear saddle or centre.
The scalar vorticity is
Hence the flow is irrotational exactly when
Then , and a velocity potential is
The coefficient condition says precisely that every nonconstant monomial has positive powers of both variables. Thus
If and lie in , so do their sum and their product
so is a subring of .
For , let
Then . The containment is strict because : multiplying a generator by an element of produces either a scalar multiple of , or terms divisible by . It cannot produce the monomial when . Hence
is a strictly increasing ideal chain. The constant-plus-ideal non-Noetherian subring therefore satisfies
The steady Euler equations for an inviscid fluid are
Taking the scalar product with and using
gives
Thus
The Bernoulli function is constant along each streamline: fluid particles in steady flow exchange pressure, kinetic, and potential energy without changing their total mechanical energy density.
Let be the downward displacement of the free surface from its initial level, and let be the speed in the tube. Conservation of volume gives
The free surface and the outlet are both at atmospheric pressure, and their vertical separation is . Applying the Bernoulli equation between them, while retaining the small free-surface speed, gives
Therefore
The surface reaches the upper tube end when . Hence the draining time of a uniform tank through a siphon is
Fix . The map is a linear functional, so the finite-dimensional Riesz representation theorem gives a unique vector such that
For scalars ,
Uniqueness gives
so is linear.
For , apply this result to
It produces a unique linear map satisfying
which proves existence and uniqueness of the adjoint.
Differentiate the spatial equation with respect to and the temporal equation with respect to . Substitution of
into cancels every term involving , , and , leaving
The left side is by differentiating , so consistency is exactly . This is a scalar Lax pair formulation.
Taking the half-line Fourier transform and integrating twice by parts gives
Multiplication by and integration in time yields
Replace by and subtract. The unknown Neumann boundary value cancels:
For , Fourier inversion of the zero extension gives
Inverting the preceding identity therefore gives
Thus
This elimination is the global relation for the half-line free Schrodinger equation.
Lorentz invariance requires and to transform as four-vectors, as a scalar, and as scalars, and the integration domain and boundary conditions to respect the transformation. Then every contracted term and are Lorentz invariant.
Under , the field strength is unchanged. The source term changes by a boundary term plus
which vanishes for a conserved current and suitable boundary behaviour of . The mass term is not gauge invariant. Thus the action has the usual local gauge invariance when
with the gauge function or its boundary contribution suitably controlled. For , the mass term breaks this gauge symmetry.
For the static point source, take and . The scalar equation becomes
Its spatial Fourier transform satisfies
The stated inverse transform therefore gives
where absorbs the transform normalization and source strength. This is the Yukawa potential: a nonzero vector-field mass screens the interaction beyond the range . As , it tends to the long-range Coulomb potential . The same limit removes the mass term that broke gauge invariance in part (b).
For scalar , Taylor's theorem about the MLE, where
, gives some between and such that
The Wald statistic is
Under the null, consistency gives
in probability. A uniform law of large numbers for the observed information on a neighborhood of gives
Cancellation of the common squared displacement and Slutsky's theorem prove the Wald and likelihood-ratio asymptotic equivalence
Suppose the spectrum were empty. The resolvent
would then be an entire operator-valued function. For ,
because the series converges in operator norm and multiplication by telescopes to . Hence .
For fixed , the scalar function is entire, bounded outside a disc by the estimate and bounded inside by compactness. Liouville's theorem makes it constant, and its limit at infinity makes that constant zero. This for all would imply , impossible for an inverse. Thus the spectrum is nonempty.
An eigenvalue is a scalar for which contains a nonzero vector; that kernel is its eigenspace. The characteristic polynomial has degree , so the fundamental theorem of algebra supplies at least one complex root and hence an eigenvalue. Its eigenspace dimension can be any integer from to .
The fixed points are and, when , . For a scalar autonomous equation, a simple fixed point is stable when . Since and at either nonzero root, excluding the bifurcation values as requested,
and
The disc model is
and the upper half-plane model is
The Cayley map
maps bijectively to . Since and , direct substitution gives .
Representing by , the disc isometry corresponding to is represented, up to a nonzero scalar, by
The dual is the vector space of bounded linear maps , with norm
If is Cauchy in this norm, then is Cauchy in the complete scalar field for every . Define . Pointwise passage to the limit preserves linearity. Given , choose such that for ; sending gives
Thus is bounded and . Hence is Banach, even if was only normed.
Let and
Because is the QR factorization of , is the span of the first two columns of .
The first row of the tridiagonal eigenvalue equation is
In the generic case , the two dominant coefficient vectors are independent, since
Here , since otherwise the displayed eigenvalue equation and the nonzero would force all eigenvalues to equal . The strict spectral gap below the dominant pair now implies
This is two-dimensional subspace iteration. If the dominant eigenvalue is repeated, acts as a scalar on ; the same QR argument either captures all of or separates its missing direction from the strictly smaller eigenspaces, and the conclusion below is unchanged.
Since and ,
The space is invariant under , so
Shifting the index does not affect the limit, and therefore
Thus the unshifted QR algorithm asymptotically deflates a block associated with the equal-modulus dominant pair.
Isotropic means invariant under every proper rotation. The general ranks are respectively a scalar , zero, , and (for full orthogonal invariance the last must also vanish).
The Möbius group consists of maps with , including the usual action on . Scalar matrices act trivially and are the whole kernel, so .
By Schur lemma, acts on irreducible by a scalar. Induced representation shows that occurs in iff that scalar character is , and then with multiplicity .
An elementary row operation is one of three operations: interchange two rows, multiply one row by a nonzero scalar, or add a scalar multiple of one row to a different row. Each operation is reversed by another operation of the same kind.
Performing such an operation on an matrix is equivalent to left multiplication by the elementary matrix obtained by applying that operation to the identity matrix. Each elementary matrix is invertible, with inverse corresponding to the reverse operation. Thus a sequence of operations gives
For square matrices, if were invertible, then would have inverse . Hence if is singular, must be singular as well. In fact the two are invertible together, because gives the converse.
The rank of a linear map and nullity of a linear map are
The rank-nullity theorem states that
To prove it, choose a basis of the kernel of a linear map and use basis extension to obtain a basis
of . The vectors span the image of a linear map: applying to an arbitrary linear combination of the displayed basis removes all the terms. They are also linearly independent. Indeed,
so for some scalars . The linear independence of the extended basis forces every and to vanish. Consequently and , proving the identity. The same argument covers an empty basis when one of these dimensions is zero.
An elementary row operation is one of three reversible changes: interchange two rows; multiply one row by a nonzero scalar; or add a scalar multiple of one row to a different row. Their inverses are, respectively, the same interchange, multiplication by the reciprocal, and addition of the negative scalar multiple.
Applied to an augmented matrix, these changes interchange linear equations, rescale an equation by a nonzero factor, or add a multiple of one equation to another. Every old solution satisfies the new equations. Applying the inverse elementary row operation gives the converse, so the solution set is unchanged at every step. Equivalently, all the operations together give
where is an invertible matrix, a product of elementary matrices.