Take a smooth variation with on the boundary. Assume enough differentiability for the following operations, for example a smooth bounded open set, , and a twice continuously differentiable integrand. Differentiation under the integral gives
By integration by parts, the boundary term vanishes and the first variation is
Stationarity for every such variation, including every compactly supported smooth one, and the fundamental lemma of the calculus of variations give the Euler-Lagrange equation
For the quadratic integrand, , , and . Thus
with the prescribed Dirichlet boundary condition. For real , a stationary function is also the unique minimizer, if it exists: for any nonzero admissible , the linear term vanishes and . This last positivity uses the zero boundary values; it also holds at .
In the curvature normalization, the hyperbolic triangle area is its angle defect:
Join one vertex of a convex geodesic polygon to its nonadjacent vertices. This gives hyperbolic triangles with disjoint interiors. Their angles at every polygon vertex sum to that vertex's interior angle. Adding the hyperbolic triangle areas therefore gives the hyperbolic polygon area
For a regular hyperbolic polygon with prescribed area, place equally spaced vertices on a hyperbolic circle of radius and join consecutive vertices by geodesics. Rotations through and reflections in radial lines show that this is a convex regular polygon. The triangle from its centre to a vertex and the midpoint of an adjacent side is right angled, with angles , , and , and hypotenuse . The angle form of the hyperbolic law of cosines gives
Consequently is continuous and strictly increasing. As , , so ; as , , so . The intermediate value theorem proves existence for every permitted . Indeed the required radius is
The argument also proves uniqueness of the radius in this construction; neither endpoint area is attained by a nondegenerate finite-radius polygon.
For complex differentiability at a point, the derivative must have the same value along real and imaginary increments. Along real increments it equals , while along imaginary increments it equals . Equating real and imaginary parts gives the Cauchy-Riemann equations
For the given real part,
Integrating the Cauchy-Riemann equations gives a harmonic conjugate
This open set is open and connected; is holomorphic there with derivative . The origin must be excluded because the real part is undefined there. On this connected open set, any other harmonic conjugate differs by a real constant: the Cauchy-Riemann equations make both partial derivatives of the difference zero.
Assume the intended initial fortune satisfies and put . Conditional on current fortune , the next gift is uniform on and independent of the previous choices. The remaining fortune is therefore uniform on that same set. At fortune the process stays there. Consequently the future conditional distribution depends only on the current fortune, proving the Markov property, and the transition matrix on is
The uniform decreasing Markov chain has state as an absorbing state, and until absorption the fortune strictly decreases, so the hitting time is at most .
Let be the expected number of additional transitions to hit , taking . First-step analysis gives
In particular . For , multiplying this recurrence by and the recurrence for by , then subtracting, gives . Hence for every , and telescoping yields
The PDF defines using times . If were included, that definition would give although the displayed empty sum is zero; the initial instruction to choose an integer between and also requires . The result above uses that intended assumption. A hitting time allowing time zero would have expectation zero from state , but that is a different definition.
Assume is sufficiently smooth, for example near the exact trajectory. Write at the current value, with a linear map and a bilinear map when the ordinary differential equation is vector valued. Taylor expansion of the stages gives
The exact flow has Taylor expansion
Matching the terms through in the Runge-Kutta method gives the sufficient third-order conditions for an explicit Runge-Kutta method
For scalar , replace by and by in the scalar sense. The resulting local error is ; under a local Lipschitz continuity assumption and bounded derivatives on a finite time interval, the standard one-step error recurrence gives global error , hence third order.
On the linear test equation , putting gives the stability function
Thus , so lies inside the linear stability domain. The four order conditions are compatible, for example and .
In a source-free vacuum, Maxwell equations are
Taking a curl of the last two equations and using gives the electromagnetic wave equations
Substitution of the complex plane wave amplitudes into Maxwell equations, then taking real parts, gives
For a nonzero propagating wave these imply the dispersion relation . Conversely choose any nonzero transverse complex and set to obtain such a wave. The static uniform-field sector at is separate from propagation.
At a perfect conductor, the oscillatory boundary conditions are and . Surface charge and surface current allow nonzero normal electric and tangential magnetic fields. The magnetic condition here concerns the time-dependent wave field; a perfect conductor can retain a pre-existing static magnetic field.
Let be the orthogonal reflection across the boundary plane, so . The proposed reflected amplitudes are , , and . For an orthogonal reflection, . Hence
Also , so the reflected wave obeys the same dispersion relation. At , the incident and reflected phases coincide because is parallel to . Their summed amplitudes satisfy
The first has zero tangential part and the second zero normal part, proving both boundary conditions. Finally , as required for reflection into the vacuum.

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