The Green-function representation gives
The bracket simplifies to , so
It vanishes at both endpoints, and applying returns .
Write . Since , the Green function must have , be continuous at , and satisfy the jump condition for an impulse . Solving the two linear pieces gives
On , the chosen branch of a multivalued function is characterized by and for ; equivalently as . Define . Then and at infinity, so uniqueness of the normalized holomorphic square root gives . Therefore .
Let . The candidate strategies are
At this pair, A's partial derivatives are independent of , as are the negatives of B's partial derivatives. Since is concave in for fixed and convex in for fixed , the Lagrange sufficiency theorem proves
for all feasible . Hence is a saddle point and gives the optimal strategies in this zero-sum game. Its game value is
The Lagrange sufficiency theorem says that if a feasible point and nonnegative multipliers satisfy complementary slackness and globally maximizes the Lagrangian function in constrained optimization, then globally solves the constrained maximization problem. Indeed, for every feasible , the signs of the constraints give . Concavity and the Karush-Kuhn-Tucker conditions are a common way to verify the global Lagrangian maximum.
For fixed , A maximizes
subject to and . This is a concave function of . On every active coordinate, the multiplier equation is
Thus A's optimal allocation is given by the water-filling algorithm:
where is chosen so that . Coordinates with zero expression receive no resource. This is a water-filling algorithm. The formula gives the optimum when every . If , any already gives A the whole market in that region, so A assigns such coordinates arbitrarily small positive amounts and applies water filling to the remaining budget; without a convention for , the resulting value can be a supremum rather than an attained maximum.
The algebraic norm on is and satisfies multiplicativity of the algebraic norm. The calculation in part (a) therefore gives all elements of norm :
If one of these factored into two nonunits, multiplicativity would force both factors to have norm . But the Diophantine equation has no solution. Hence all six displayed elements are irreducible. This is a standard example in which an irreducible element need not have prime norm.
Since , we have . For , ; for , . Thus the solutions of the Diophantine equation are
where the two signs in the second family are independent.
Since the odd sine part of the complex exponential integrates to zero,
Part (e)(ii) therefore yields
in the sense of distributions. This is the Fourier representation of the Dirac delta function.
Interpreting the displayed function as
we have and, after , . Moreover its mass outside any fixed neighborhood of zero tends to zero. Therefore is an approximate identity, and for every test function ,
Thus in the sense of distributions.
Using the definition of a distributional derivative,
Hence as distributions.
For every test function , the change of variables gives
Equality of distributions therefore gives
No. The nonvanishing holomorphic functions satisfy , but
Avoiding zero alone permits an unbounded holomorphic logarithm's real part; the omitted ray in part (c) was what constrained the image after taking a square root.
Because avoids the closed negative real axis, its principal square root is holomorphic, satisfies , and has . The Cayley transform between the half-plane and disk
maps the right half-plane into the unit disk and has . By Schwarz lemma, . When ,
Thus
so one may take the universal constant .
This is Schwarz lemma. Define for and . The removable singularity makes holomorphic. Applying the maximum modulus principle to on disks of radius , then letting , gives . Hence
The hypothesis says that attains a global, hence local, maximum at the interior point . By the maximum modulus principle, a nonconstant holomorphic function cannot do this. Therefore is constant.

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