Let . Subtracting the exact one-step relation from the numerical method and applying the stated Lipschitz continuity gives
If , iteration yields the discrete Gronwall inequality
For ,
and
Consequently
The local truncation error is the error made by one numerical step started from the exact solution:
A one-step method has local order when uniformly for in each fixed bounded time interval.
The dyed particle satisfies the Lagrangian trajectory equations
For the proposed approximation, and
Also
The initial conditions hold, verifying
through order .
Over one period, the periodic terms return to their initial values while the secular term changes by . Hence the dyed particle has Stokes drift
to this order, despite the zero Eulerian mean velocity.
Both and have zero average over one period, so at every fixed point.
The material derivative gives the particle acceleration
Direct differentiation yields
Therefore the Eulerian time average at fixed is
For a velocity potential, . Writing gives
Its divergence is
Thus this potential flow is generally compressible.
Substituting the wire potential from part (b) into the flux formula from part (a) gives Neumann's mutual-inductance formula
Interchanging the two curves proves .
Parametrize the coaxial circles by
Then, with and ,
where . One angular integration contributes , so
Since , this is
The magnetostatic Ampère-Maxwell equation is . Substituting and using the Coulomb gauge gives
The free-space Green function of the Laplacian therefore gives
For the thin wire current stated in the question this becomes
Since the magnetic field is , Stokes theorem gives, for any oriented surface bounded by ,
Under a gauge transformation , the integral changes by
because is closed. The flux expression is therefore gauge independent.
Before the change, the normalized ground state of the infinite square well is
For an allowed post-quench energy satisfying part (i), define the unnormalized eigenfunction
Its normalization factor is
The Born rule therefore gives
For a value of that is not an eigenvalue, this probability is zero. The sudden change leaves the wavefunction fixed, while the energy eigenbasis changes.
For a normalized wavefunction obeying the infinite-wall Dirichlet boundary condition, integration by parts gives the energy expectation
Thus every energy eigenvalue is nonnegative.
For , the time-independent Schrödinger equation and the wall conditions give
where and . Continuity of and at the finite potential step gives
Dividing and rearranging yields the bound-state quantization condition
Extend the forcing oddly across the boundary:
The initial displacement is already odd, so its homogeneous evolution on the line is . Applying Duhamel's principle to the odd extension gives
The odd-reflection method makes . At the double integral vanishes together with its first time derivative, so the prescribed initial displacement and velocity are also satisfied.
With and ,
so the wave equation becomes
Thus . At the initial data give
Solving for and and integrating gives d'Alembert's formula>
For
both and have a simple zero at zero. Hence has a simple pole, and its residue is
For , multiplication of the two Laurent series shows that all powers are even:
There are infinitely many negative powers, so zero is an essential singularity. There is no term, and therefore
Put . The hypothesis gives as , so defining makes continuous on and analytic there by the stated assumption. Its zero at has some finite order , and hence
Therefore
has a pole of order : its Laurent series has and for .
Now let be entire and tend to infinity at infinity. The function
tends to infinity as , so the preceding argument says that has a pole at zero. If the Taylor series of is , then
A pole has only finitely many negative powers, so for all sufficiently large . Thus is a polynomial.
The Laurent theorem says that if is analytic on an annulus
then it has a unique Laurent series
converging locally uniformly on that annulus, where
for any positively oriented circle in the annulus around .
An isolated singularity at is a point at which is not analytic although it is analytic on some punctured neighbourhood. It is removable when every with vanishes; it is a pole of order when and for ; and it is essential when infinitely many negative-index coefficients are nonzero.
For ,
For ,
The coefficients are unique after the annulus is fixed; these expansions differ because they represent the function on different annuli. At zero the first expansion has principal part , so zero is a simple pole with residue .
Assume the sequential condition, and let be open. If were not open, some would have no ball contained in . For each , choose
Then , so . Because is open, this forces eventually, a contradiction. Therefore is open. This proves the sequential characterization of continuity in metric spaces.
Assume inverse images of open sets are open. If and is any open neighbourhood of , then is an open neighbourhood of . By the definition of convergence in a metric space, eventually, and hence eventually. Thus .
This is always true for metric spaces. Let . If did not converge to , some subsequence would remain at least from . Compactness of gives a further subsequence
Then . The graph is closed, so belongs to it and , contradicting the separation. Thus for every convergent sequence, and the equivalence proved above makes continuous. This is the closed-graph criterion with compact codomain.
This is always true. The continuous image of a connected space is connected. Its closure is also connected: if the closure were separated into disjoint nonempty relatively open sets, connectedness would put inside one of them, preventing its closure from meeting the other. Since is dense in , its closure is , so is connected.
This may be false because continuity only forces the continuous image of a compact space to be compact, not the whole codomain. For example, let , let , and set . The domain is compact and is continuous, but is not compact.

There are unlisted articles, also show them or only show them.