Put . Then
The equation from part (b) is satisfied when
so
With this value, the equation follows from : both its constant and coefficients agree. Thus the stated satisfy both shape equations; the remaining scalar equation determines the normalization factor .
For
direct differentiation gives
and
Substitution into the Schrodinger equation and equality of the coefficients of give the necessary and sufficient Riccati equation system
For the one-dimensional quantum harmonic oscillator,
This is the Time-dependent Schrödinger equation with harmonic potential.
The first mode remains the solution from part (b). The applied force excites only the third mode, so
where, using ,
A particular solution is
Adding the decaying complementary solution and imposing the initial conditions gives
As , all transients decay but the driven third-mode oscillation remains. The string approaches a periodic steady-state response, rather than coming to rest.
With gravity omitted, its mechanical energy is
Writing and letting gives
The limiting energy is periodic because the external force continually supplies the energy dissipated by drag.
With gravity omitted, the initial data contain only the first fixed-end normal mode, so write
Then
Because , this oscillator is critically damped, and
Therefore
Take positive vertically downward. For a short string element, the transverse tension resultant is , while gravity and linear drag contribute and . Newton's second law gives
Since , the damped wave equation is
Choosing upward displacement reverses the sign of the gravity term.
Because , continuity gives a disc about zero on which . The function has a holomorphic primitive on a sufficiently small disc, normalized by . Then
is holomorphic and satisfies and on .
No such square root exists throughout . The point lies in that disc and is a simple zero of , since . Every zero of the square of a holomorphic function has even order of a zero of a holomorphic function, contradicting this simple zero.
The set is star-shaped with centre : if , every point of has its segment to contained in the same segment and therefore avoids the origin. Applying part (a) and the stated triangular-integral fact to gives a holomorphic function
Choose either square root of and define
Then is holomorphic. Moreover,
and its value at is one. Hence
The hypothesis makes star-shaped with centre . For small with the triangle having vertices contained in , the vanishing triangular integral gives
Parametrizing the final segment,
by continuity. Thus is holomorphic and
This is the triangle-integral construction behind Morera's theorem.
Use an orientation-preserving isometry to send to and to the imaginary axis, whose boundary points are . A geodesic through meeting it at angle has boundary points
Indeed , so the semicircle with endpoints passes through , and its tangent there makes angle with the vertical.
The cross-ratio is invariant under the normalizing Möbius transformation. With the suitable ordering and the convention used here,
An isometry sends the geodesic through to the imaginary axis and sends the two points to and for some . The transformation
belongs to and exchanges with . Conjugating it back gives an orientation-preserving isometry exchanging and .
For uniqueness, the quotient of two such isometries fixes both and . An orientation-preserving hyperbolic isometry fixing two distinct interior points fixes their connecting geodesic and both tangent directions there, hence is the identity. Therefore the exchanging isometry is unique; geometrically it is the hyperbolic half-turn about the midpoint of the segment .
By point transitivity, it suffices to take . The condition
is equivalent to , , and the determinant condition becomes . Thus the stabilizer consists of
modulo . Writing , identifies it with rotations of the tangent plane, and the doubled matrix angle removes the quotient. Hence
Every orientation-preserving isometry of the Poincaré half-plane model has the form
with matrices identified up to multiplication by . Thus .
For , the affine map sends to , proving transitivity on points. Real translations and positive dilations act transitively on finite boundary points, while inversion exchanges and ; hence the action on is transitive. A hyperbolic line is determined by its unordered pair of boundary endpoints, and a real Möbius transformation can send any such pair to . Therefore is also transitive on hyperbolic lines.
This is always true. Since is bounded and uniformly, there are and such that
for every and . The continuous function is uniformly continuous on the compact interval . Therefore, given , a sufficiently small uniform bound on implies
Hence uniformly.
This is always true. Uniform convergence makes a uniformly Cauchy sequence: for every , there is such that
for every and . Letting through points of and using the assumed limits gives
Thus is a Cauchy sequence. Since is a complete metric space, converges in .
For every ,
Moreover,
The bound is independent of and tends to zero, so
This may be false when the limiting functions are unbounded. On , let
Both sequences converge uniformly to their stated limits, but
is unbounded for every . Thus the products do not converge uniformly.
This is always true. Given , choose such that
on for and on for . For the same inequality holds at every point of . Hence uniformly on .

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