A sequence converges uniformly to if, for every , there is such that
for every and every . A map is uniformly continuous if, for every , there is such that
for all .
If , choose a ball outside which . On the closed ball, continuity gives boundedness, so is bounded everywhere.
Now let be Cauchy in the uniform metric. For each , is Cauchy in ; let its limit be . Passing to the pointwise limit in the uniform Cauchy estimate shows that uniformly. Hence is continuous. Given , choose with , and then choose so that for . It follows that also vanishes at infinity. Thus is complete, as in completeness of continuous functions vanishing at infinity.
Every is uniformly continuous. Given , choose so that outside the ball of radius . On the compact ball of radius , is uniformly continuous; choose the corresponding . If two points at distance below are not both in that ball, then both lie outside the ball of radius , and their function values differ by less than .
For the final sequence, continuity of at zero gives, for each fixed ,
Thus pointwise convergence is compulsory. Uniform convergence need not hold: with ,
which is unbounded as a function of for every fixed .
Under the additional bound , however,
for , and the difference is zero at . Hence convergence is uniform, by the uniform square-root perturbation under linear growth estimate. The pointwise answer remains yes.
Evaluating the function at the endpoint gives the displacement
Therefore
The force-induced displacement is a linear map of .
Suppose first that is connected and is continuous. Its image is connected by the continuous image of a connected space, but is discrete, so its only connected nonempty subsets are singletons. Hence is constant.
Conversely, if is a disconnection into nonempty disjoint open sets, the function equal to zero on and one on is continuous and nonconstant. This proves the integer-valued function criterion for connectedness.
Now let be continuous under the hypotheses on the family . Each restriction is constant because is connected. If , a point of shows that their two constants agree. Since the sets cover , is constant on , and the criterion proves that is connected. This is the pairwise-intersecting connected cover argument.
Finally, fix . For each , the set
is connected: its two connected pieces meet at . The sets cover and any two share . The preceding result proves that is connected, giving the product of connected spaces result.
The function is odd, so only sine coefficients occur. For ,
Integration by parts gives
and
The terms of order cancel, leaving
Thus
The Parseval identity gives
Direct integration yields
Therefore
as recorded in the Fourier series of x cubed minus pi squared x.
Use
Stationarity gives
Putting , this becomes
and the constraint requires
The left side is strictly increasing, and solves the equation. Hence
The objective is convex and the constraint is affine. Its tangent-plane inequality at gives, for every feasible ,
so the Lagrange point is globally optimal. Moreover, at the dual value , the infimum of the Lagrangian function in constrained optimization is attained at the same point and equals three. The primal and dual values coincide, so strong duality holds.
For the value function, the multiplier convention above gives the derivative of a constrained value function
At , therefore,
For , the function is differentiable at if there is a linear map such that
The linear map is unique and is the Fréchet derivative . The function is continuously differentiable at if it is differentiable on a neighbourhood of and the map , with values in the space of linear maps equipped with the operator norm, is continuous at .
If is linear, then
Consequently at every . The derivative is a constant function of , hence is continuous, so every linear map is continuously differentiable everywhere.
The mean value inequality says that if the line segment lies in and
then
To prove it, put . The claim is immediate if . Otherwise set and apply the one-dimensional mean value theorem to the real-valued function
For some , the chain rule gives
as required.
Now suppose that is open and connected and that for every . Every point has an open ball contained in . The mean value inequality with shows that is constant on each such ball, so is locally constant. Fix . The level set
is nonempty and open in ; its complement is also open because is locally constant. Since is connected, . This proves the zero derivative on a connected open set result: is constant.
The inverse function theorem states that if is continuously differentiable, , and is an invertible linear map, then there are open neighbourhoods of and of such that is a bijection whose inverse is continuously differentiable.
For the curve in the question, define the continuously differentiable function
Then
The implicit function theorem, which follows from the inverse function theorem applied to , therefore gives an open interval containing , an open neighbourhood of , and a continuously differentiable, hence continuous, function such that
Rouché's theorem states that if and are holomorphic functions on a neighbourhood of the closure of a bounded domain and
on its positively oriented boundary, then and have the same number of zeros in the domain, counted with multiplicity.
The Open mapping theorem states that a nonconstant holomorphic function on a domain maps every open subset to an open subset. To prove it, fix and put . By the identity theorem, the zeros of are isolated. Choose so that the closed disc lies in the domain and is the only zero of in that disc. Then
Whenever , the constant has modulus smaller than on the circle. The Rouche theorem therefore says that
has the same positive number of zeros in the disc as . Thus every lies in the image of , proving that the image is open.
If had a local maximum at , take a small open disc on which . The restriction of to cannot be constant, since the identity theorem would then make constant on the whole domain. The complex open mapping theorem says that is an open neighbourhood of , and such a neighbourhood contains points of modulus greater than , a contradiction. This proves the maximum modulus principle from the complex open mapping theorem.
Now let be bounded. Its closure is compact, so the continuous function attains a maximum there. If is nonconstant, the maximum modulus principle excludes an interior maximum; if is constant, the claimed bound is immediate. Hence
which is the maximum modulus principle on a bounded domain.
Finally let and suppose throughout . Fix . The principal complex logarithm is holomorphic on the right half-plane, so for each positive integer the function
is holomorphic on and continuous on its closure. Given , choose so large that
Apply the bounded-domain result to on . On the vertical part of the boundary, and hence . On the circular part,
It follows that
Letting and then gives . Since was arbitrary, this proves the bounded half-plane maximum principle.
The boundedness assumption is necessary. The function
is holomorphic on and continuous on its closure, and on the boundary, but is unbounded for real . Thus the boundary estimate does not control an unbounded holomorphic function on this unbounded domain.
A function on a convex set is convex when
for all and .
If is once differentiable, this is equivalent to monotonicity of its gradient:
Equivalently, every tangent hyperplane supports the graph:
If is twice differentiable, convexity is equivalent to the Hessian matrix being positive semidefinite throughout .
For
the Hessian is
A real symmetric two-by-two matrix is positive semidefinite exactly when its two diagonal entries and its determinant are nonnegative. Thus
The largest convexity domain is therefore
For , its boundary is the hyperbola in the first quadrant and the domain lies above it. For , it is the closed first quadrant. This is the convexity domain of x cubed plus y cubed plus Axy.
The spatial wavefunction is the position amplitude of a stationary quantum state, so is its probability density after normalization. The real function is the potential energy, is the energy eigenvalue, is the particle mass, and is the reduced Planck constant.
The function is differentiable at when there is a real number such that
Equivalently, the difference quotient has a finite limit, and
No. At , let
The function is differentiable at , and
so the composite has derivative one at zero. But
is unbounded, so is not differentiable. This is a nondifferentiable inner function with a differentiable nondegenerate composite.
For , let be the set of numbers whose first digit occurs in position . The first digits each have nine allowed values, while the th is fixed, so is a union of decimal intervals of total length
The set of numbers having no digit can, after places, be covered by intervals of total length ; hence it has length zero.
For each fixed truncation level, the function is constant on finitely many decimal cylinders apart from the remaining set, whose covering length can be made arbitrarily small. The Riemann integrability criterion therefore shows that every truncation is Riemann integrable.
For integer ,
The final term tends to zero, and monotonicity handles noninteger truncation levels. Therefore the first occurrence of a decimal digit calculation gives
No. Enumerate the rationals in as
and define
The function is nonnegative and unbounded, while it is identically zero on . For any , however, is positive on the dense set of rationals and zero on the dense set of irrationals. Every interval therefore has positive oscillation, and the upper and lower Darboux integrals differ. Thus even the truncations need not be Riemann integrable.
The zero function is a solution. On an interval where , put
Then
The differential equation becomes
Hence , and integration gives
Thus all nonzero solutions are
together with .
Set in the functional equation:
The denominator is defined. If , cancellation would give , impossible for a real-valued function. Hence
Independence gives
This is the moment generating function of a Poisson distribution with mean . Hence