On each interval of width , Taylor expansion about its midpoint shows that the local midpoint-rule error is . Summing over intervals gives the composite midpoint rule error
To remove the endpoint singularity, set . Then
whose transformed integrand is analytic. Applying the composite midpoint rule in with gives
This has the required form when
The quadratic substitution for a square-root endpoint singularity therefore restores second-order convergence.
Faraday's law is
Choose the positive circulation to be anticlockwise as viewed from . Since ,
If , the current is clockwise and its field points in the direction, reducing the field inside the loop. Since , the force due to the imposed field is radially inward. If , the current is anticlockwise, its field points in the direction and increases the field inside, while the force is radially outward. In both cases the magnetic force opposes the radial motion, in accordance with Lenz's law.
The time-independent Schrödinger equation is
Integrating it over and letting shows that has no jump because is finite. A jump in would create a delta term in and hence a derivative of a delta in , so is also continuous.
For a bound state , define
Then the proposed even wavefunction solves the equation away from the interfaces, and
Continuity at gives , while continuity of the derivative gives . Dividing yields the second required relation
Thus the lowest even state of the finite square well is the first-quadrant intersection, with , of the circle and the curve .
A function is holomorphic when it is complex differentiable at every point of the open connected set . Morera's theorem states that a continuous function on a domain is holomorphic if its integral around every triangle whose interior lies in the domain is zero.
The integrand is continuous jointly in on , so the displayed integral defines a continuous function. For any triangle , Fubini's theorem and the Cauchy integral theorem give
Morera's theorem therefore proves that is entire.
The function is holomorphic on but has no antiderivative there, because an antiderivative would integrate to zero around every closed curve whereas
This is the standard period obstruction to a holomorphic antiderivative.
A subset is connected if it cannot be written as , where are disjoint, nonempty sets open in the subspace topology on .
If were disconnected as , continuity would make and a disconnection of . Thus the continuous image of a connected space is connected.
For with the discrete topology, a nonconstant continuous gives the disconnection
Conversely, a disconnection defines a continuous nonconstant function by assigning on and on . Hence is connected exactly when every such is constant.
Finally suppose is connected but is a disconnection. The intersections and cannot both be nonempty, so, after interchanging , we have . For any , the relatively open neighbourhood of in is disjoint from , contradicting . Therefore the closure of a connected set is connected.
The Jordan normal form theorem says that every complex square matrix is similar to a direct sum of Jordan blocks, uniquely up to their order. For an eigenvalue , if its blocks have sizes , then its algebraic multiplicity and geometric multiplicity are
and its contribution to the minimal polynomial is . Thus
where is the largest -block size.
For the given matrix,
Moreover,
Hence
The eigenvalue therefore has one Jordan block of size two, so

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