Taking the derivative of the force-dependent energy gives
Thus the derivative of the additional minimized internal energy with respect to the applied force equals the resulting endpoint displacement. This is the endpoint force derivative of clamped-free beam energy.
Write the spatial factors of the stationary wavefunction as
where
Since , the decay constant inside the potential barrier is also . Continuity of the wavefunction and its first derivative at and gives four linear equations. Solving them yields
Consequently the transmitted wave is
and its probability density is
This is finite square barrier transmission at half barrier height.
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
Taking the complex derivative along the real direction gives
Taking it along the imaginary direction and equating the two expressions gives the Cauchy-Riemann equations
Differentiate the affine relation with respect to and :
Using the Cauchy-Riemann equations, the second equation becomes
Thus
The determinant is , so and therefore . A holomorphic function with zero derivative on a connected open set is constant. Hence is constant, as in analytic function with image in an affine real line.
Away from , the Green function solves . The solution satisfying the left boundary condition is proportional to , while the solution decaying at infinity is proportional to . Continuity at and the unit derivative jump
give
or , the dirichlet half-line Green function for d2 minus 1.
The required solution is
Evaluation of the two elementary integrals, split at , gives
Indeed, direct differentiation gives , and both boundary conditions are immediate.
Suppose and are two bound-state solutions with the same energy. Their Wronskian
satisfies because the Schrödinger equation contains no first-derivative term. Hence is constant. Both wavefunctions and their derivatives decay at infinity, so there and therefore . The two solutions are linearly dependent. Thus every one-dimensional bound-state energy is nondegenerate.
If is a nonconstant holomorphic map between compact connected Riemann surfaces, its local degree at is the integer for which suitable local coordinates give
The valency theorem states that
is independent of . This common value is the degree of a holomorphic map, denoted .
Now let be a nonconstant rational function of degree . If its distinct finite poles have orders , and its pole order at infinity is , then
The derivative has a pole of order at each finite pole. When , the expansion shows that at infinity. Hence the degree of the derivative of a rational function is
In the first case , while in the second ; therefore
For every , the lower bound is attained by , whose derivative has degree (with a constant assigned degree zero). For distinct , the function
has simple poles, degree , and a derivative with double poles, so . Thus both rational bounds are sharp for every .
Let next be a nonconstant elliptic function for the period lattice . Its degree is the total order of its poles in a fundamental parallelogram; by the valency theorem, this is also the degree of the induced map . If these poles have orders , then , and has poles of orders . The degree of the derivative of an elliptic function is consequently
Since every nonconstant elliptic function has at least one pole and ,
Let be odd. The Weierstrass elliptic function supplies the lower-bound example
It has one pole modulo , of order , so its derivative has one pole of order . For the upper bound, choose distinct points modulo and nonzero constants with . The quasi-periodicity of the Weierstrass zeta function makes
elliptic. It has exactly simple poles, while has double poles. Therefore the two bounds are attained for every required odd degree.
No. Take and
Then is differentiable and
Since , the product is differentiable at zero with
However, has one-sided derivatives and and is not differentiable at zero. This is a nondifferentiable factor with a differentiable nondegenerate product.
To say that is twice differentiable at means that is defined in a neighbourhood of and is differentiable at ; its derivative is .
By the chain rule, near ,
Since is differentiable and is differentiable at , another use of the chain rule shows that is differentiable at . The product rule then proves that the displayed product is differentiable. Hence is twice differentiable, with the second derivative chain rule
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.
Similarly,
since the last derivatives are symmetric in . Thus
Continuity at is automatic in the proposed expression. Integrating the differential equation through gives the derivative jump
Thus
In terms of the Wronskian
one has
The boundary conditions hold because and .
The Abel identity gives . If , the Wronskian and hence are constant. The two branches of the displayed formula are then interchanged by , proving
This is the symmetry of the Neumann Green function for a second-order ordinary differential equation in the self-adjoint case.
For , choose
Their Wronskian is
Writing and gives
The solution of the inhomogeneous problem is . Equivalently, solving directly gives
The two Neumann conditions yield and
Therefore
At a regular constrained extremum of on , the tangent derivatives of vanish. Since is normal to the constraint surface, the Lagrange multiplier condition is
One solves these equations and then compares the resulting candidates, including any boundary or singular cases.
Let the base have dimensions and , and let the height be . Measure cardboard relative to the thickness of the front and back. The weighted amount used is
because the bottom has triple thickness, the two front and back faces have ordinary thickness, and the two side faces have double thickness. The constraint is .
The multiplier equations are
They imply
Thus and ; imposing gives . Therefore
This is the global minimum: by the arithmetic-geometric mean inequality,
and equality holds at these dimensions. This is an instance of weighted open-box minimization.
Multiplication by puts the equation in Sturm-Liouville theory form:
Multiply the equations for by , subtract and integrate. The boundary term vanishes because at both endpoints and the polynomial derivatives are bounded. Therefore, for ,
This is the usual Chebyshev polynomial orthogonality.
Differentiating the original equation and writing gives
Its self-adjoint form is
The same subtraction argument now yields, for ,
These two relations form the Chebyshev derivative Sturm-Liouville pair.
Separation and the fixed-end conditions give
Put
The initial displacement and zero initial velocity then give the separated solution of the damped string equation
For the triangular initial displacement,
Thus the even coefficients vanish and the odd ones alternate in sign.
Let
Then
Orthogonality of the sine and cosine modes, equivalently the Parseval identity, gives
The sign of its derivative is clearest directly from the equation. Integration by parts, using at the fixed endpoints, yields
This is the energy dissipation identity for a linearly damped string.
If the bound is to hold with finite , the error functional must vanish on every polynomial whose fourth derivative is zero. Thus the scheme must be exact for degrees zero through three. Applying it to powers of gives
Solving,
This is the four-point one-sided second-derivative formula.
The Peano kernel theorem says that if a linear functional annihilates all polynomials of degree below , then for ,
Here and . Under the stated nonnegativity assumption,
The integral equals for , since . Now and
Therefore
Equality is attained by , so the sharp Peano-kernel constant for the four-point endpoint second derivative is
Differentiability at means that there is a linear map such that
The partial derivatives are when the derivative exists; independently, they may be defined by the corresponding one-variable difference quotients.
Suppose the partial derivatives exist near and are continuous at . Apply the one-dimensional mean value theorem along the two coordinate segments from to . It gives intermediate points such that
Continuity of the partials makes the remainder after subtracting
equal to . Hence is differentiable and this is its derivative.
For the given function, writing , at we have
At the origin both partial derivatives are zero, since and tend to zero. Neither partial is continuous there: along its corresponding coordinate axis the cosine term oscillates without a limit. Nevertheless
so is differentiable at the origin with derivative zero. This illustrates that existence of partial derivatives does not imply their continuity.
The final assertion is false. Define
Again , so is differentiable at the origin and it is smooth elsewhere. But along the -axis,
is unbounded near zero, and similarly is unbounded. Thus both partial derivatives can be unbounded in every neighbourhood of a point even when the function is differentiable everywhere.