Suppose that were not surjective. Its image would be a proper subspace of , so there would be a nonzero functional
vanishing on . Then
for every , contradicting the linear independence of the . Hence the surjectivity of independent linear functionals gives
Let and suppose . Define
This is well-defined: if , then , so . It is linear, and surjectivity of means it is defined on all of . Thus there are scalars such that . Therefore
and hence
Vanishing net charge density does not require vanishing current. Positive and negative charge carriers can cancel in charge density while their oppositely directed motions add to a nonzero current. Charge conservation only requires
for magnetostatics this becomes .
Because , one may introduce a magnetic vector potential with
It is not unique: gives the same field for any scalar .
For the stated current,
so it is consistent with stationary charge conservation. Direct calculation gives
Thus is a Beltrami field. For , choose
Then and . A convenient Coulomb-gauge potential is
since and . Gradient gauge terms may of course be added.
If , the current is the constant field . The formulas involving do not apply; one valid choice is
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 .