If a Function Has a Continuous Second Derivative is It Continuous

Mathematical operation

In calculus, the second derivative, or the second order derivative, of a function f is the derivative of the derivative of f . Roughly speaking, the second derivative measures how the rate of change of a quantity is itself changing; for example, the second derivative of the position of an object with respect to time is the instantaneous acceleration of the object, or the rate at which the velocity of the object is changing with respect to time. In Leibniz notation:

${\displaystyle \mathbf {a} ={\frac {d\mathbf {v} }{dt}}={\frac {d^{2}{\boldsymbol {x}}}{dt^{2}}},}$

where a is acceleration, v is velocity, t is time, x is position, and d is the instantaneous "delta" or change. The last expression ${\displaystyle {\tfrac {d^{2}{\boldsymbol {x}}}{dt^{2}}}}$ is the second derivative of position (x) with respect to time.

On the graph of a function, the second derivative corresponds to the curvature or concavity of the graph. The graph of a function with a positive second derivative is upwardly concave, while the graph of a function with a negative second derivative curves in the opposite way.

Second derivative power rule [edit]

The power rule for the first derivative, if applied twice, will produce the second derivative power rule as follows:

${\displaystyle {\frac {d^{2}}{dx^{2}}}\left[x^{n}\right]={\frac {d}{dx}}{\frac {d}{dx}}\left[x^{n}\right]={\frac {d}{dx}}\left[nx^{n-1}\right]=n{\frac {d}{dx}}\left[x^{n-1}\right]=n(n-1)x^{n-2}.}$

Notation [edit]

The second derivative of a function ${\displaystyle f(x)}$ is usually denoted ${\displaystyle f''(x)}$ .^{[1] [2]} That is:

${\displaystyle f''=\left(f'\right)'}$

When using Leibniz's notation for derivatives, the second derivative of a dependent variable y with respect to an independent variable x is written

${\displaystyle {\frac {d^{2}y}{dx^{2}}}.}$

This notation is derived from the following formula:

${\displaystyle {\frac {d^{2}y}{dx^{2}}}\,=\,{\frac {d}{dx}}\left({\frac {dy}{dx}}\right).}$

Alternative notation [edit]

As the previous section notes, the standard Leibniz notation for the second derivative is ${\textstyle {\frac {d^{2}y}{dx^{2}}}}$ . However, this form is not algebraically manipulable. That is, although it is formed looking like a fraction of differentials, the fraction cannot be split apart into pieces, the terms cannot be cancelled, etc. However, this limitation can be remedied by using an alternative formula for the second derivative. This one is derived from applying the quotient rule to the first derivative.^[3] Doing this yields the formula:

${\displaystyle y''(x)={\frac {d}{dx}}\left({\frac {dy}{dx}}\right)={\frac {d\left({\frac {dy}{dx}}\right)}{dx}}={\frac {d^{2}y}{dx^{2}}}-{\frac {dy}{dx}}{\frac {d^{2}x}{dx^{2}}}}$

In this formula, ${\displaystyle du}$ represents the differential operator applied to ${\displaystyle u}$ , i.e., ${\displaystyle d(u)}$ , ${\displaystyle d^{2}u}$ represents applying the differential operator twice, i.e., ${\displaystyle d(d(u))}$ , and ${\displaystyle du^{2}}$ refers to the square of the differential operator applied to ${\displaystyle u}$ , i.e., ${\displaystyle (d(u))^{2}}$ .

When written this way (and taking into account the meaning of the notation given above), the terms of the second derivative can be freely manipulated as any other algebraic term. For instance, the inverse function formula for the second derivative can be deduced from algebraic manipulations of the above formula, as well as the chain rule for the second derivative. Whether making such a change to the notation is sufficiently helpful to be worth the trouble is still under debate.^[4]

Example [edit]

Given the function

${\displaystyle f(x)=x^{3},}$

the derivative of f is the function

${\displaystyle f^{\prime }(x)=3x^{2}.}$

The second derivative of f is the derivative of ${\displaystyle f^{\prime }}$ , namely

${\displaystyle f^{\prime \prime }(x)=6x.}$

Relation to the graph [edit]

Concavity [edit]

The second derivative of a function f can be used to determine the concavity of the graph of f .^[2] A function whose second derivative is positive will be concave up (also referred to as convex), meaning that the tangent line will lie below the graph of the function. Similarly, a function whose second derivative is negative will be concave down (also simply called concave), and its tangent lines will lie above the graph of the function.

Inflection points [edit]

If the second derivative of a function changes sign, the graph of the function will switch from concave down to concave up, or vice versa. A point where this occurs is called an inflection point. Assuming the second derivative is continuous, it must take a value of zero at any inflection point, although not every point where the second derivative is zero is necessarily a point of inflection.

Second derivative test [edit]

The relation between the second derivative and the graph can be used to test whether a stationary point for a function (i.e., a point where ${\displaystyle f'(x)=0}$ ) is a local maximum or a local minimum. Specifically,

The reason the second derivative produces these results can be seen by way of a real-world analogy. Consider a vehicle that at first is moving forward at a great velocity, but with a negative acceleration. Clearly, the position of the vehicle at the point where the velocity reaches zero will be the maximum distance from the starting position – after this time, the velocity will become negative and the vehicle will reverse. The same is true for the minimum, with a vehicle that at first has a very negative velocity but positive acceleration.

Limit [edit]

It is possible to write a single limit for the second derivative:

${\displaystyle f''(x)=\lim _{h\to 0}{\frac {f(x+h)-2f(x)+f(x-h)}{h^{2}}}.}$

The limit is called the second symmetric derivative.^{[5] [6]} Note that the second symmetric derivative may exist even when the (usual) second derivative does not.

The expression on the right can be written as a difference quotient of difference quotients:

${\displaystyle {\frac {f(x+h)-2f(x)+f(x-h)}{h^{2}}}={\frac {{\frac {f(x+h)-f(x)}{h}}-{\frac {f(x)-f(x-h)}{h}}}{h}}.}$

This limit can be viewed as a continuous version of the second difference for sequences.

However, the existence of the above limit does not mean that the function ${\displaystyle f}$ has a second derivative. The limit above just gives a possibility for calculating the second derivative—but does not provide a definition. A counterexample is the sign function ${\displaystyle \operatorname {sgn}(x)}$ , which is defined as:

${\displaystyle \operatorname {sgn}(x)={\begin{cases}-1&{\text{if }}x<0,\\0&{\text{if }}x=0,\\1&{\text{if }}x>0.\end{cases}}}$

The sign function is not continuous at zero, and therefore the second derivative for ${\displaystyle x=0}$ does not exist. But the above limit exists for ${\displaystyle x=0}$ :

${\displaystyle {\begin{aligned}\lim _{h\to 0}{\frac {\operatorname {sgn}(0+h)-2\operatorname {sgn}(0)+\operatorname {sgn}(0-h)}{h^{2}}}&=\lim _{h\to 0}{\frac {\operatorname {sgn}(h)-2\cdot 0+\operatorname {sgn}(-h)}{h^{2}}}\\&=\lim _{h\to 0}{\frac {\operatorname {sgn}(h)+(-\operatorname {sgn}(h))}{h^{2}}}=\lim _{h\to 0}{\frac {0}{h^{2}}}=0.\end{aligned}}}$

Quadratic approximation [edit]

Just as the first derivative is related to linear approximations, the second derivative is related to the best quadratic approximation for a function f . This is the quadratic function whose first and second derivatives are the same as those of f at a given point. The formula for the best quadratic approximation to a function f around the point x = a is

${\displaystyle f(x)\approx f(a)+f'(a)(x-a)+{\tfrac {1}{2}}f''(a)(x-a)^{2}.}$

This quadratic approximation is the second-order Taylor polynomial for the function centered at x =a .

Eigenvalues and eigenvectors of the second derivative [edit]

For many combinations of boundary conditions explicit formulas for eigenvalues and eigenvectors of the second derivative can be obtained. For example, assuming ${\displaystyle x\in [0,L]}$ and homogeneous Dirichlet boundary conditions (i.e., ${\displaystyle v(0)=v(L)=0}$ ), the eigenvalues are ${\displaystyle \lambda _{j}=-{\tfrac {j^{2}\pi ^{2}}{L^{2}}}}$ and the corresponding eigenvectors (also called eigenfunctions) are ${\displaystyle v_{j}(x)={\sqrt {\tfrac {2}{L}}}\sin \left({\tfrac {j\pi x}{L}}\right)}$ . Here, ${\displaystyle v''_{j}(x)=\lambda _{j}v_{j}(x),\,j=1,\ldots ,\infty .}$

For other well-known cases, see Eigenvalues and eigenvectors of the second derivative.

Generalization to higher dimensions [edit]

The Hessian [edit]

The second derivative generalizes to higher dimensions through the notion of second partial derivatives. For a function f: R ³ →R, these include the three second-order partials

${\displaystyle {\frac {\partial ^{2}f}{\partial x^{2}}},\;{\frac {\partial ^{2}f}{\partial y^{2}}},{\text{ and }}{\frac {\partial ^{2}f}{\partial z^{2}}}}$

and the mixed partials

${\displaystyle {\frac {\partial ^{2}f}{\partial x\,\partial y}},\;{\frac {\partial ^{2}f}{\partial x\,\partial z}},{\text{ and }}{\frac {\partial ^{2}f}{\partial y\,\partial z}}.}$

If the function's image and domain both have a potential, then these fit together into a symmetric matrix known as the Hessian. The eigenvalues of this matrix can be used to implement a multivariable analogue of the second derivative test. (See also the second partial derivative test.)

The Laplacian [edit]

Another common generalization of the second derivative is the Laplacian. This is the differential operator ${\displaystyle \nabla ^{2}}$ (or ${\displaystyle \Delta }$ ) defined by

${\displaystyle \nabla ^{2}f={\frac {\partial ^{2}f}{\partial x^{2}}}+{\frac {\partial ^{2}f}{\partial y^{2}}}+{\frac {\partial ^{2}f}{\partial z^{2}}}.}$

The Laplacian of a function is equal to the divergence of the gradient, and the trace of the Hessian matrix.

See also [edit]

• Chirpyness, second derivative of instantaneous phase
• Finite difference, used to approximate second derivative
• Second partial derivative test
• Symmetry of second derivatives

References [edit]

1. ^ "Content - The second derivative". amsi.org.au . Retrieved 2020-09-16 .
2. ^ ^{a b} "Second Derivatives". Math24 . Retrieved 2020-09-16 .
3. ^ Bartlett, Jonathan; Khurshudyan, Asatur Zh (2019). "Extending the Algebraic Manipulability of Differentials". Dynamics of Continuous, Discrete and Impulsive Systems, Series A: Mathematical Analysis. 26 (3): 217–230. arXiv:1801.09553.
4. ^ "Reviews". Mathematics Magazine. 92 (5): 396–397. December 20, 2019. doi:10.1080/0025570X.2019.1673628. S2CID 218542586.
5. ^ A. Zygmund (2002). Trigonometric Series. Cambridge University Press. pp. 22–23. ISBN978-0-521-89053-3.
6. ^ Thomson, Brian S. (1994). Symmetric Properties of Real Functions. Marcel Dekker. p. 1. ISBN0-8247-9230-0.

Further reading [edit]

Print [edit]

• Anton, Howard; Bivens, Irl; Davis, Stephen (February 2, 2005), Calculus: Early Transcendentals Single and Multivariable (8th ed.), New York: Wiley, ISBN978-0-471-47244-5
• Apostol, Tom M. (June 1967), Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra, vol. 1 (2nd ed.), Wiley, ISBN978-0-471-00005-1
• Apostol, Tom M. (June 1969), Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications , vol. 1 (2nd ed.), Wiley, ISBN978-0-471-00007-5
• Eves, Howard (January 2, 1990), An Introduction to the History of Mathematics (6th ed.), Brooks Cole, ISBN978-0-03-029558-4
• Larson, Ron; Hostetler, Robert P.; Edwards, Bruce H. (February 28, 2006), Calculus: Early Transcendental Functions (4th ed.), Houghton Mifflin Company, ISBN978-0-618-60624-5
• Spivak, Michael (September 1994), Calculus (3rd ed.), Publish or Perish, ISBN978-0-914098-89-8
• Stewart, James (December 24, 2002), Calculus (5th ed.), Brooks Cole, ISBN978-0-534-39339-7
• Thompson, Silvanus P. (September 8, 1998), Calculus Made Easy (Revised, Updated, Expanded ed.), New York: St. Martin's Press, ISBN978-0-312-18548-0

Online books [edit]

• Crowell, Benjamin (2003), Calculus
• Garrett, Paul (2004), Notes on First-Year Calculus
• Hussain, Faraz (2006), Understanding Calculus
• Keisler, H. Jerome (2000), Elementary Calculus: An Approach Using Infinitesimals
• Mauch, Sean (2004), Unabridged Version of Sean's Applied Math Book, archived from the original on 2006-04-15
• Sloughter, Dan (2000), Difference Equations to Differential Equations
• Strang, Gilbert (1991), Calculus
• Stroyan, Keith D. (1997), A Brief Introduction to Infinitesimal Calculus, archived from the original on 2005-09-11
• Wikibooks, Calculus

External links [edit]

• Discrete Second Derivative from Unevenly Spaced Points

redmondcomir1962.blogspot.com

Source: https://en.wikipedia.org/wiki/Second_derivative

Share this post