In mathematics , the Laplace transform , named after Pierre-Simon Laplace ( / l ə ˈ p l ɑː s / ), is an integral transform that converts a function of a real variable (usually t {\displaystyle t} , in the time domain ) to a function of a complex variable s {\displaystyle s} (in the complex-valued frequency domain , also known as s -domain , or s -plane ).
132-679: The transform is useful for converting differentiation and integration in the time domain into much easier multiplication and division in the Laplace domain (analogous to how logarithms are useful for simplifying multiplication and division into addition and subtraction). This gives the transform many applications in science and engineering , mostly as a tool for solving linear differential equations and dynamical systems by simplifying ordinary differential equations and integral equations into algebraic polynomial equations , and by simplifying convolution into multiplication . Once solved,
264-601: A {\displaystyle a} can be denoted f ′ ( a ) {\displaystyle f'(a)} , read as " f {\displaystyle f} prime of a {\displaystyle a} "; or it can be denoted d f d x ( a ) {\displaystyle \textstyle {\frac {df}{dx}}(a)} , read as "the derivative of f {\displaystyle f} with respect to x {\displaystyle x} at
396-400: A {\displaystyle a} " or " d f {\displaystyle df} by (or over) d x {\displaystyle dx} at a {\displaystyle a} ". See § Notation below. If f {\displaystyle f} is a function that has a derivative at every point in its domain , then
528-404: A {\displaystyle a} , and returns a different value 10 for all x {\displaystyle x} greater than or equal to a {\displaystyle a} . The function f {\displaystyle f} cannot have a derivative at a {\displaystyle a} . If h {\displaystyle h} is negative, then
660-540: A ) v {\displaystyle f'(\mathbf {a} )\mathbf {v} } is the directional derivative of f {\displaystyle f} in the direction v {\displaystyle \mathbf {v} } . If f {\displaystyle f} is written using coordinate functions, so that f = ( f 1 , f 2 , … , f m ) {\displaystyle f=(f_{1},f_{2},\dots ,f_{m})} , then
792-437: A + h ) − ( f ( a ) + f ′ ( a ) h ) ‖ ‖ h ‖ = 0. {\displaystyle \lim _{\mathbf {h} \to 0}{\frac {\lVert f(\mathbf {a} +\mathbf {h} )-(f(\mathbf {a} )+f'(\mathbf {a} )\mathbf {h} )\rVert }{\lVert \mathbf {h} \rVert }}=0.} Here h {\displaystyle \mathbf {h} }
924-424: A + v ) ≈ f ( a ) + f ′ ( a ) v . {\displaystyle f(\mathbf {a} +\mathbf {v} )\approx f(\mathbf {a} )+f'(\mathbf {a} )\mathbf {v} .} Similarly with the single-variable derivative, f ′ ( a ) {\displaystyle f'(\mathbf {a} )} is chosen so that the error in this approximation
1056-576: A 1 , … , a n ) = lim h → 0 f ( a 1 , … , a i + h , … , a n ) − f ( a 1 , … , a i , … , a n ) h . {\displaystyle {\frac {\partial f}{\partial x_{i}}}(a_{1},\ldots ,a_{n})=\lim _{h\to 0}{\frac {f(a_{1},\ldots ,a_{i}+h,\ldots ,a_{n})-f(a_{1},\ldots ,a_{i},\ldots ,a_{n})}{h}}.} This
1188-476: A n ) {\displaystyle (a_{1},\dots ,a_{n})} to the vector ∇ f ( a 1 , … , a n ) {\displaystyle \nabla f(a_{1},\dots ,a_{n})} . Consequently, the gradient determines a vector field . If f {\displaystyle f} is a real-valued function on R n {\displaystyle \mathbb {R} ^{n}} , then
1320-403: A n ) , … , ∂ f ∂ x n ( a 1 , … , a n ) ) , {\displaystyle \nabla f(a_{1},\ldots ,a_{n})=\left({\frac {\partial f}{\partial x_{1}}}(a_{1},\ldots ,a_{n}),\ldots ,{\frac {\partial f}{\partial x_{n}}}(a_{1},\ldots ,a_{n})\right),} which is called
1452-408: A ) h = ( a + h ) 2 − a 2 h = a 2 + 2 a h + h 2 − a 2 h = 2 a + h . {\displaystyle {\frac {f(a+h)-f(a)}{h}}={\frac {(a+h)^{2}-a^{2}}{h}}={\frac {a^{2}+2ah+h^{2}-a^{2}}{h}}=2a+h.} The division in the last step
SECTION 10
#17327810215091584-434: A + h {\displaystyle a+h} is on the low part of the step, so the secant line from a {\displaystyle a} to a + h {\displaystyle a+h} is very steep; as h {\displaystyle h} tends to zero, the slope tends to infinity. If h {\displaystyle h} is positive, then a + h {\displaystyle a+h}
1716-423: A + h ) {\displaystyle f(a+h)} is defined, and | L − f ( a + h ) − f ( a ) h | < ε , {\displaystyle \left|L-{\frac {f(a+h)-f(a)}{h}}\right|<\varepsilon ,} where the vertical bars denote the absolute value . This is an example of the (ε, δ)-definition of limit . If
1848-642: A + h ) − f ( a ) h {\displaystyle L=\lim _{h\to 0}{\frac {f(a+h)-f(a)}{h}}} exists. This means that, for every positive real number ε {\displaystyle \varepsilon } , there exists a positive real number δ {\displaystyle \delta } such that, for every h {\displaystyle h} such that | h | < δ {\displaystyle |h|<\delta } and h ≠ 0 {\displaystyle h\neq 0} then f (
1980-820: A , possibly including some points of the boundary line Re( s ) = a . In the region of convergence Re( s ) > Re( s 0 ) , the Laplace transform of f can be expressed by integrating by parts as the integral F ( s ) = ( s − s 0 ) ∫ 0 ∞ e − ( s − s 0 ) t β ( t ) d t , β ( u ) = ∫ 0 u e − s 0 t f ( t ) d t . {\displaystyle F(s)=(s-s_{0})\int _{0}^{\infty }e^{-(s-s_{0})t}\beta (t)\,dt,\quad \beta (u)=\int _{0}^{u}e^{-s_{0}t}f(t)\,dt.} That is, F ( s ) can effectively be expressed, in
2112-420: A Mellin transform , to transform the whole of a difference equation , in order to look for solutions of the transformed equation. He then went on to apply the Laplace transform in the same way and started to derive some of its properties, beginning to appreciate its potential power. Laplace also recognised that Joseph Fourier 's method of Fourier series for solving the diffusion equation could only apply to
2244-421: A Borel measure locally of bounded variation), then the Laplace transform F ( s ) of f converges provided that the limit lim R → ∞ ∫ 0 R f ( t ) e − s t d t {\displaystyle \lim _{R\to \infty }\int _{0}^{R}f(t)e^{-st}\,dt} exists. The Laplace transform converges absolutely if
2376-658: A Laplace transform into known transforms of functions obtained from a table and construct the inverse by inspection. In pure and applied probability , the Laplace transform is defined as an expected value . If X is a random variable with probability density function f , then the Laplace transform of f is given by the expectation L { f } ( s ) = E [ e − s X ] , {\displaystyle {\mathcal {L}}\{f\}(s)=\operatorname {E} \left[e^{-sX}\right],} where E [ r ] {\displaystyle \operatorname {E} [r]}
2508-402: A complete picture of the behavior of f {\displaystyle f} . The total derivative gives a complete picture by considering all directions at once. That is, for any vector v {\displaystyle \mathbf {v} } starting at a {\displaystyle \mathbf {a} } , the linear approximation formula holds: f (
2640-445: A derivative at most, but not all, points of its domain. The function whose value at a {\displaystyle a} equals f ′ ( a ) {\displaystyle f'(a)} whenever f ′ ( a ) {\displaystyle f'(a)} is defined and elsewhere is undefined is also called the derivative of f {\displaystyle f} . It
2772-575: A derivative can be extended to many other settings. The common thread is that the derivative of a function at a point serves as a linear approximation of the function at that point. Continuous variable In mathematics and statistics , a quantitative variable may be continuous or discrete if they are typically obtained by measuring or counting , respectively. If it can take on two particular real values such that it can also take on all real values between them (including values that are arbitrarily or infinitesimally close together),
SECTION 20
#17327810215092904-404: A derivative. Most functions that occur in practice have derivatives at all points or almost every point. Early in the history of calculus , many mathematicians assumed that a continuous function was differentiable at most points. Under mild conditions (for example, if the function is a monotone or a Lipschitz function ), this is true. However, in 1872, Weierstrass found the first example of
3036-404: A discrete variable x {\displaystyle x} , which only takes on values 0 or 1, and a continuous variable y {\displaystyle y} . An example of a mixed model could be a research study on the risk of psychological disorders based on one binary measure of psychiatric symptoms and one continuous measure of cognitive performance. Mixed models may also involve
3168-415: A dummy variable, then logistic regression or probit regression is commonly employed. In the case of regression analysis, a dummy variable can be used to represent subgroups of the sample in a study (e.g. the value 0 corresponding to a constituent of the control group). A mixed multivariate model can contain both discrete and continuous variables. For instance, a simple mixed multivariate model could have
3300-511: A function can be defined by mapping every point x {\displaystyle x} to the value of the derivative of f {\displaystyle f} at x {\displaystyle x} . This function is written f ′ {\displaystyle f'} and is called the derivative function or the derivative of f {\displaystyle f} . The function f {\displaystyle f} sometimes has
3432-419: A function of t {\displaystyle t} , then the first and second derivatives can be written as y ˙ {\displaystyle {\dot {y}}} and y ¨ {\displaystyle {\ddot {y}}} , respectively. This notation is used exclusively for derivatives with respect to time or arc length . It
3564-409: A function of several variables is its derivative with respect to one of those variables, with the others held constant. Partial derivatives are used in vector calculus and differential geometry . As with ordinary derivatives, multiple notations exist: the partial derivative of a function f ( x , y , … ) {\displaystyle f(x,y,\dots )} with respect to
3696-474: A function that is continuous everywhere but differentiable nowhere. This example is now known as the Weierstrass function . In 1931, Stefan Banach proved that the set of functions that have a derivative at some point is a meager set in the space of all continuous functions. Informally, this means that hardly any random continuous functions have a derivative at even one point. One common way of writing
3828-437: A function with a smooth graph is not differentiable at a point where its tangent is vertical : For instance, the function given by f ( x ) = x 1 / 3 {\displaystyle f(x)=x^{1/3}} is not differentiable at x = 0 {\displaystyle x=0} . In summary, a function that has a derivative is continuous, but there are continuous functions that do not have
3960-412: A generalization of the Laplace transform connected to his work on moments . Other contributors in this time period included Mathias Lerch , Oliver Heaviside , and Thomas Bromwich . In 1934, Raymond Paley and Norbert Wiener published the important work Fourier transforms in the complex domain , about what is now called the Laplace transform (see below). Also during the 30s, the Laplace transform
4092-454: A limited region of space, because those solutions were periodic . In 1809, Laplace applied his transform to find solutions that diffused indefinitely in space. In 1821, Cauchy developed an operational calculus for the Laplace transform that could be used to study linear differential equations in much the same way the transform is now used in basic engineering. This method was popularized, and perhaps rediscovered, by Oliver Heaviside around
Laplace transform - Misplaced Pages Continue
4224-444: A purely algebraic manner by applying a field of fractions construction to the convolution ring of functions on the positive half-line. The resulting space of abstract operators is exactly equivalent to Laplace space, but in this construction the forward and reverse transforms never need to be explicitly defined (avoiding the related difficulties with proving convergence). If f is a locally integrable function (or more generally
4356-412: A single variable that is discrete over some range of the number line and continuous at another range. In probability theory and statistics, the probability distribution of a mixed random variable consists of both discrete and continuous components. A mixed random variable does not have a cumulative distribution function that is discrete or everywhere-continuous. An example of a mixed type random variable
4488-413: A subset of N {\displaystyle \mathbb {N} } , the set of natural numbers . In other words, a discrete variable over a particular interval of real values is one for which, for any value in the range that the variable is permitted to take on, there is a positive minimum distance to the nearest other permissible value. The value of a discrete variable can be obtained by counting, and
4620-520: A system of rules for manipulating infinitesimal quantities is required. The system of hyperreal numbers is a way of treating infinite and infinitesimal quantities. The hyperreals are an extension of the real numbers that contain numbers greater than anything of the form 1 + 1 + ⋯ + 1 {\displaystyle 1+1+\cdots +1} for any finite number of terms. Such numbers are infinite, and their reciprocals are infinitesimals. The application of hyperreal numbers to
4752-853: A system. The Laplace transform's key property is that it converts differentiation and integration in the time domain into multiplication and division by s in the Laplace domain. Thus, the Laplace variable s is also known as an operator variable in the Laplace domain: either the derivative operator or (for s ) the integration operator . Given the functions f ( t ) and g ( t ) , and their respective Laplace transforms F ( s ) and G ( s ) , f ( t ) = L − 1 { F ( s ) } , g ( t ) = L − 1 { G ( s ) } , {\displaystyle {\begin{aligned}f(t)&={\mathcal {L}}^{-1}\{F(s)\},\\g(t)&={\mathcal {L}}^{-1}\{G(s)\},\end{aligned}}}
4884-437: A variable over a non-empty range of the real numbers is continuous, if it can take on any value in that range. Methods of calculus are often used in problems in which the variables are continuous, for example in continuous optimization problems. In statistical theory , the probability distributions of continuous variables can be expressed in terms of probability density functions . In continuous-time dynamics ,
5016-1002: Is f ′ ( x ) = 4 x ( 4 − 1 ) + d ( x 2 ) d x cos ( x 2 ) − d ( ln x ) d x e x − ln ( x ) d ( e x ) d x + 0 = 4 x 3 + 2 x cos ( x 2 ) − 1 x e x − ln ( x ) e x . {\displaystyle {\begin{aligned}f'(x)&=4x^{(4-1)}+{\frac {d\left(x^{2}\right)}{dx}}\cos \left(x^{2}\right)-{\frac {d\left(\ln {x}\right)}{dx}}e^{x}-\ln(x){\frac {d\left(e^{x}\right)}{dx}}+0\\&=4x^{3}+2x\cos \left(x^{2}\right)-{\frac {1}{x}}e^{x}-\ln(x)e^{x}.\end{aligned}}} Here
5148-464: Is differentiable at a {\displaystyle a} , then f {\displaystyle f} must also be continuous at a {\displaystyle a} . As an example, choose a point a {\displaystyle a} and let f {\displaystyle f} be the step function that returns the value 1 for all x {\displaystyle x} less than
5280-406: Is stable if every bounded input produces a bounded output. This is equivalent to the absolute convergence of the Laplace transform of the impulse response function in the region Re( s ) ≥ 0 . As a result, LTI systems are stable, provided that the poles of the Laplace transform of the impulse response function have negative real part. This ROC is used in knowing about the causality and stability of
5412-529: Is a complex frequency-domain parameter s = σ + i ω {\displaystyle s=\sigma +i\omega } with real numbers σ and ω . An alternate notation for the Laplace transform is L { f } {\displaystyle {\mathcal {L}}\{f\}} instead of F , often written as F ( s ) = L { f ( t ) } {\displaystyle F(s)={\mathcal {L}}\{f(t)\}} in an abuse of notation . The meaning of
Laplace transform - Misplaced Pages Continue
5544-585: Is a complex number . It is related to many other transforms, most notably the Fourier transform and the Mellin transform . Formally , the Laplace transform is converted into a Fourier transform by the substitution s = i ω {\displaystyle s=i\omega } where ω {\displaystyle \omega } is real. However, unlike the Fourier transform, which gives
5676-571: Is a function from an open subset of R n {\displaystyle \mathbb {R} ^{n}} to R m {\displaystyle \mathbb {R} ^{m}} , then the directional derivative of f {\displaystyle f} in a chosen direction is the best linear approximation to f {\displaystyle f} at that point and in that direction. However, when n > 1 {\displaystyle n>1} , no single directional derivative can give
5808-408: Is a real number so that the contour path of integration is in the region of convergence of F ( s ) . In most applications, the contour can be closed, allowing the use of the residue theorem . An alternative formula for the inverse Laplace transform is given by Post's inversion formula . The limit here is interpreted in the weak-* topology . In practice, it is typically more convenient to decompose
5940-485: Is a vector in R n {\displaystyle \mathbb {R} ^{n}} , so the norm in the denominator is the standard length on R n {\displaystyle \mathbb {R} ^{n}} . However, f ′ ( a ) h {\displaystyle f'(\mathbf {a} )\mathbf {h} } is a vector in R m {\displaystyle \mathbb {R} ^{m}} , and
6072-492: Is as small as possible. The total derivative of f {\displaystyle f} at a {\displaystyle \mathbf {a} } is the unique linear transformation f ′ ( a ) : R n → R m {\displaystyle f'(\mathbf {a} )\colon \mathbb {R} ^{n}\to \mathbb {R} ^{m}} such that lim h → 0 ‖ f (
6204-655: Is by using the prime mark in the symbol of a function f ( x ) {\displaystyle f(x)} . This is known as prime notation , due to Joseph-Louis Lagrange . The first derivative is written as f ′ ( x ) {\displaystyle f'(x)} , read as " f {\displaystyle f} prime of x {\displaystyle x} , or y ′ {\displaystyle y'} , read as " y {\displaystyle y} prime". Similarly,
6336-432: Is called k {\displaystyle k} times differentiable . If the k {\displaystyle k} - th derivative is continuous, then the function is said to be of differentiability class C k {\displaystyle C^{k}} . A function that has infinitely many derivatives is called infinitely differentiable or smooth . Any polynomial function
6468-432: Is either of the form Re( s ) > a or Re( s ) ≥ a , where a is an extended real constant with −∞ ≤ a ≤ ∞ (a consequence of the dominated convergence theorem ). The constant a is known as the abscissa of absolute convergence, and depends on the growth behavior of f ( t ) . Analogously, the two-sided transform converges absolutely in a strip of the form a < Re( s ) < b , and possibly including
6600-414: Is fundamental for the study of the functions of several real variables . Let f ( x 1 , … , x n ) {\displaystyle f(x_{1},\dots ,x_{n})} be such a real-valued function . If all partial derivatives f {\displaystyle f} with respect to x j {\displaystyle x_{j}} are defined at
6732-422: Is infinitely differentiable; taking derivatives repeatedly will eventually result in a constant function , and all subsequent derivatives of that function are zero. One application of higher-order derivatives is in physics . Suppose that a function represents the position of an object at the time. The first derivative of that function is the velocity of an object with respect to time, the second derivative of
SECTION 50
#17327810215096864-429: Is named after mathematician and astronomer Pierre-Simon, Marquis de Laplace , who used a similar transform in his work on probability theory . Laplace wrote extensively about the use of generating functions (1814), and the integral form of the Laplace transform evolved naturally as a result. Laplace's use of generating functions was similar to what is now known as the z-transform , and he gave little attention to
6996-471: Is not necessary to take such a limit, it does appear more naturally in connection with the Laplace–Stieltjes transform . When one says "the Laplace transform" without qualification, the unilateral or one-sided transform is usually intended. The Laplace transform can be alternatively defined as the bilateral Laplace transform , or two-sided Laplace transform , by extending the limits of integration to be
7128-403: Is on the high part of the step, so the secant line from a {\displaystyle a} to a + h {\displaystyle a+h} has slope zero. Consequently, the secant lines do not approach any single slope, so the limit of the difference quotient does not exist. However, even if a function is continuous at a point, it may not be differentiable there. For example,
7260-418: Is one; if h {\displaystyle h} is negative, then the slope of the secant line from 0 {\displaystyle 0} to h {\displaystyle h} is − 1 {\displaystyle -1} . This can be seen graphically as a "kink" or a "cusp" in the graph at x = 0 {\displaystyle x=0} . Even
7392-474: Is represented as the ratio of two differentials , whereas prime notation is written by adding a prime mark . Higher order notations represent repeated differentiation, and they are usually denoted in Leibniz notation by adding superscripts to the differentials, and in prime notation by adding additional prime marks. The higher order derivatives can be applied in physics; for example, while the first derivative of
7524-494: Is simple to prove via Poisson summation , to the functional equation. Hjalmar Mellin was among the first to study the Laplace transform, rigorously in the Karl Weierstrass school of analysis, and apply it to the study of differential equations and special functions , at the turn of the 20th century. At around the same time, Heaviside was busy with his operational calculus. Thomas Joannes Stieltjes considered
7656-426: Is still a function, but its domain may be smaller than the domain of f {\displaystyle f} . For example, let f {\displaystyle f} be the squaring function: f ( x ) = x 2 {\displaystyle f(x)=x^{2}} . Then the quotient in the definition of the derivative is f ( a + h ) − f (
7788-459: Is the expectation of random variable r {\displaystyle r} . By convention , this is referred to as the Laplace transform of the random variable X itself. Here, replacing s by − t gives the moment generating function of X . The Laplace transform has applications throughout probability theory, including first passage times of stochastic processes such as Markov chains , and renewal theory . Of particular use
7920-446: Is the second derivative , denoted as f ″ {\displaystyle f''} , and the derivative of f ″ {\displaystyle f''} is the third derivative , denoted as f ‴ {\displaystyle f'''} . By continuing this process, if it exists, the n {\displaystyle n} th derivative
8052-753: Is the ability to recover the cumulative distribution function of a continuous random variable X by means of the Laplace transform as follows: F X ( x ) = L − 1 { 1 s E [ e − s X ] } ( x ) = L − 1 { 1 s L { f } ( s ) } ( x ) . {\displaystyle F_{X}(x)={\mathcal {L}}^{-1}\left\{{\frac {1}{s}}\operatorname {E} \left[e^{-sX}\right]\right\}(x)={\mathcal {L}}^{-1}\left\{{\frac {1}{s}}{\mathcal {L}}\{f\}(s)\right\}(x).} The Laplace transform can be alternatively defined in
SECTION 60
#17327810215098184-548: Is the derivative of the ( n − 1 ) {\displaystyle (n-1)} th derivative or the derivative of order n {\displaystyle n} . As has been discussed above , the generalization of derivative of a function f {\displaystyle f} may be denoted as f ( n ) {\displaystyle f^{(n)}} . A function that has k {\displaystyle k} successive derivatives
8316-435: Is the probability of wait time in a queue. The likelihood of a customer experiencing a zero wait time is discrete, while non-zero wait times are evaluated on a continuous time scale. In physics (particularly quantum mechanics, where this sort of distribution often arises), dirac delta functions are often used to treat continuous and discrete components in a unified manner. For example, the previous example might be described by
8448-414: Is typically used in differential equations in physics and differential geometry . However, the dot notation becomes unmanageable for high-order derivatives (of order 4 or more) and cannot deal with multiple independent variables. Another notation is D-notation , which represents the differential operator by the symbol D {\displaystyle D} . The first derivative
8580-426: Is usually no easy characterization of the range. Typical function spaces in which this is true include the spaces of bounded continuous functions, the space L (0, ∞) , or more generally tempered distributions on (0, ∞) . The Laplace transform is also defined and injective for suitable spaces of tempered distributions. In these cases, the image of the Laplace transform lives in a space of analytic functions in
8712-393: Is valid as long as h ≠ 0 {\displaystyle h\neq 0} . The closer h {\displaystyle h} is to 0 {\displaystyle 0} , the closer this expression becomes to the value 2 a {\displaystyle 2a} . The limit exists, and for every input a {\displaystyle a}
8844-444: Is viewed as a functional relationship between dependent and independent variables . The first derivative is denoted by d y d x {\displaystyle \textstyle {\frac {dy}{dx}}} , read as "the derivative of y {\displaystyle y} with respect to x {\displaystyle x} ". This derivative can alternately be treated as
8976-632: Is where μ is a probability measure , for example, the Dirac delta function . In operational calculus , the Laplace transform of a measure is often treated as though the measure came from a probability density function f . In that case, to avoid potential confusion, one often writes L { f } ( s ) = ∫ 0 − ∞ f ( t ) e − s t d t , {\displaystyle {\mathcal {L}}\{f\}(s)=\int _{0^{-}}^{\infty }f(t)e^{-st}\,dt,} where
9108-421: Is written D f ( x ) {\displaystyle Df(x)} and higher derivatives are written with a superscript, so the n {\displaystyle n} -th derivative is D n f ( x ) {\displaystyle D^{n}f(x)} . This notation is sometimes called Euler notation , although it seems that Leonhard Euler did not use it, and
9240-600: The n {\displaystyle n} -th derivative of y = f ( x ) {\displaystyle y=f(x)} . These are abbreviations for multiple applications of the derivative operator; for example, d 2 y d x 2 = d d x ( d d x f ( x ) ) . {\textstyle {\frac {d^{2}y}{dx^{2}}}={\frac {d}{dx}}{\Bigl (}{\frac {d}{dx}}f(x){\Bigr )}.} Unlike some alternatives, Leibniz notation involves explicit specification of
9372-586: The x {\displaystyle x} and y {\displaystyle y} direction. However, they do not directly measure the variation of f {\displaystyle f} in any other direction, such as along the diagonal line y = x {\displaystyle y=x} . These are measured using directional derivatives. Given a vector v = ( v 1 , … , v n ) {\displaystyle \mathbf {v} =(v_{1},\ldots ,v_{n})} , then
9504-406: The absolute value function given by f ( x ) = | x | {\displaystyle f(x)=|x|} is continuous at x = 0 {\displaystyle x=0} , but it is not differentiable there. If h {\displaystyle h} is positive, then the slope of the secant line from 0 to h {\displaystyle h}
9636-490: The continuous variable case which was discussed by Niels Henrik Abel . From 1744, Leonhard Euler investigated integrals of the form z = ∫ X ( x ) e a x d x and z = ∫ X ( x ) x A d x {\displaystyle z=\int X(x)e^{ax}\,dx\quad {\text{ and }}\quad z=\int X(x)x^{A}\,dx} as solutions of differential equations, introducing in particular
9768-414: The derivative is a fundamental tool that quantifies the sensitivity of change of a function 's output with respect to its input. The derivative of a function of a single variable at a chosen input value, when it exists, is the slope of the tangent line to the graph of the function at that point. The tangent line is the best linear approximation of the function near that input value. For this reason,
9900-595: The directional derivative of f {\displaystyle f} in the direction of v {\displaystyle \mathbf {v} } at the point x {\displaystyle \mathbf {x} } is: D v f ( x ) = lim h → 0 f ( x + h v ) − f ( x ) h . {\displaystyle D_{\mathbf {v} }{f}(\mathbf {x} )=\lim _{h\rightarrow 0}{\frac {f(\mathbf {x} +h\mathbf {v} )-f(\mathbf {x} )}{h}}.} If all
10032-471: The gamma function . Joseph-Louis Lagrange was an admirer of Euler and, in his work on integrating probability density functions , investigated expressions of the form ∫ X ( x ) e − a x a x d x , {\displaystyle \int X(x)e^{-ax}a^{x}\,dx,} which resembles a Laplace transform. These types of integrals seem first to have attracted Laplace's attention in 1782, where he
10164-399: The gradient of f {\displaystyle f} at a {\displaystyle a} . If f {\displaystyle f} is differentiable at every point in some domain, then the gradient is a vector-valued function ∇ f {\displaystyle \nabla f} that maps the point ( a 1 , … ,
10296-417: The gradient vector . A function of a real variable f ( x ) {\displaystyle f(x)} is differentiable at a point a {\displaystyle a} of its domain , if its domain contains an open interval containing a {\displaystyle a} , and the limit L = lim h → 0 f (
10428-567: The pushforward of v {\displaystyle \mathbf {v} } by f {\displaystyle f} . If the total derivative exists at a {\displaystyle \mathbf {a} } , then all the partial derivatives and directional derivatives of f {\displaystyle f} exist at a {\displaystyle \mathbf {a} } , and for all v {\displaystyle \mathbf {v} } , f ′ (
10560-870: The region of convergence . The inverse Laplace transform is given by the following complex integral, which is known by various names (the Bromwich integral , the Fourier–Mellin integral , and Mellin's inverse formula ): f ( t ) = L − 1 { F } ( t ) = 1 2 π i lim T → ∞ ∫ γ − i T γ + i T e s t F ( s ) d s , {\displaystyle f(t)={\mathcal {L}}^{-1}\{F\}(t)={\frac {1}{2\pi i}}\lim _{T\to \infty }\int _{\gamma -iT}^{\gamma +iT}e^{st}F(s)\,ds,} ( Eq. 3 ) where γ
10692-1343: The standard part function , which "rounds off" each finite hyperreal to the nearest real. Taking the squaring function f ( x ) = x 2 {\displaystyle f(x)=x^{2}} as an example again, f ′ ( x ) = st ( x 2 + 2 x ⋅ d x + ( d x ) 2 − x 2 d x ) = st ( 2 x ⋅ d x + ( d x ) 2 d x ) = st ( 2 x ⋅ d x d x + ( d x ) 2 d x ) = st ( 2 x + d x ) = 2 x . {\displaystyle {\begin{aligned}f'(x)&=\operatorname {st} \left({\frac {x^{2}+2x\cdot dx+(dx)^{2}-x^{2}}{dx}}\right)\\&=\operatorname {st} \left({\frac {2x\cdot dx+(dx)^{2}}{dx}}\right)\\&=\operatorname {st} \left({\frac {2x\cdot dx}{dx}}+{\frac {(dx)^{2}}{dx}}\right)\\&=\operatorname {st} \left(2x+dx\right)\\&=2x.\end{aligned}}} If f {\displaystyle f}
10824-581: The above definition of derivative applies to them. The derivative of y ( t ) {\displaystyle \mathbf {y} (t)} is defined to be the vector , called the tangent vector , whose coordinates are the derivatives of the coordinate functions. That is, y ′ ( t ) = lim h → 0 y ( t + h ) − y ( t ) h , {\displaystyle \mathbf {y} '(t)=\lim _{h\to 0}{\frac {\mathbf {y} (t+h)-\mathbf {y} (t)}{h}},} if
10956-405: The application of a differential operator to a function, d y d x = d d x f ( x ) . {\textstyle {\frac {dy}{dx}}={\frac {d}{dx}}f(x).} Higher derivatives are expressed using the notation d n y d x n {\textstyle {\frac {d^{n}y}{dx^{n}}}} for
11088-477: The best linear approximation to the graph of the original function. The Jacobian matrix is the matrix that represents this linear transformation with respect to the basis given by the choice of independent and dependent variables. It can be calculated in terms of the partial derivatives with respect to the independent variables. For a real-valued function of several variables, the Jacobian matrix reduces to
11220-511: The bilateral Laplace transform is B { f } {\displaystyle {\mathcal {B}}\{f\}} , instead of F . Two integrable functions have the same Laplace transform only if they differ on a set of Lebesgue measure zero. This means that, on the range of the transform, there is an inverse transform. In fact, besides integrable functions, the Laplace transform is a one-to-one mapping from one function space into another in many other function spaces as well, although there
11352-501: The constant 7 {\displaystyle 7} , were also used. Higher order derivatives are the result of differentiating a function repeatedly. Given that f {\displaystyle f} is a differentiable function, the derivative of f {\displaystyle f} is the first derivative, denoted as f ′ {\displaystyle f'} . The derivative of f ′ {\displaystyle f'}
11484-490: The decomposition of a function into its components in each frequency, the Laplace transform of a function with suitable decay is an analytic function , and so has a convergent power series , the coefficients of which give the decomposition of a function into its moments . Also unlike the Fourier transform, when regarded in this way as an analytic function, the techniques of complex analysis , and especially contour integrals , can be used for calculations. The Laplace transform
11616-435: The derivative is often described as the instantaneous rate of change , the ratio of the instantaneous change in the dependent variable to that of the independent variable. The process of finding a derivative is called differentiation . There are multiple different notations for differentiation, two of the most commonly used being Leibniz notation and prime notation. Leibniz notation, named after Gottfried Wilhelm Leibniz ,
11748-424: The derivative of a function can be computed from the definition by considering the difference quotient and computing its limit. Once the derivatives of a few simple functions are known, the derivatives of other functions are more easily computed using rules for obtaining derivatives of more complicated functions from simpler ones. This process of finding a derivative is known as differentiation . The following are
11880-416: The derivative of a function is Leibniz notation , introduced by Gottfried Wilhelm Leibniz in 1675, which denotes a derivative as the quotient of two differentials , such as d y {\displaystyle dy} and d x {\displaystyle dx} . It is still commonly used when the equation y = f ( x ) {\displaystyle y=f(x)}
12012-606: The earlier Heaviside operational calculus . The advantages of the Laplace transform had been emphasized by Gustav Doetsch , to whom the name Laplace transform is apparently due. The Laplace transform of a function f ( t ) , defined for all real numbers t ≥ 0 , is the function F ( s ) , which is a unilateral transform defined by F ( s ) = ∫ 0 ∞ f ( t ) e − s t d t , {\displaystyle F(s)=\int _{0}^{\infty }f(t)e^{-st}\,dt,} ( Eq. 1 ) where s
12144-661: The entire real axis. If that is done, the common unilateral transform simply becomes a special case of the bilateral transform, where the definition of the function being transformed is multiplied by the Heaviside step function . The bilateral Laplace transform F ( s ) is defined as follows: F ( s ) = ∫ − ∞ ∞ e − s t f ( t ) d t . {\displaystyle F(s)=\int _{-\infty }^{\infty }e^{-st}f(t)\,dt.} ( Eq. 2 ) An alternate notation for
12276-864: The following table is a list of properties of unilateral Laplace transform: f ( t ) u ( t − a ) {\displaystyle f(t)u(t-a)\ } e − a s L { f ( t + a ) } {\displaystyle e^{-as}{\mathcal {L}}\{f(t+a)\}} f P ( t ) = ∑ n = 0 ∞ ( − 1 ) n f ( t − T n ) {\displaystyle f_{P}(t)=\sum _{n=0}^{\infty }(-1)^{n}f(t-Tn)} F P ( s ) = 1 1 + e − T s F ( s ) {\displaystyle F_{P}(s)={\frac {1}{1+e^{-Ts}}}F(s)} Derivative In mathematics ,
12408-844: The foundations of calculus is called nonstandard analysis . This provides a way to define the basic concepts of calculus such as the derivative and integral in terms of infinitesimals, thereby giving a precise meaning to the d {\displaystyle d} in the Leibniz notation. Thus, the derivative of f ( x ) {\displaystyle f(x)} becomes f ′ ( x ) = st ( f ( x + d x ) − f ( x ) d x ) {\displaystyle f'(x)=\operatorname {st} \left({\frac {f(x+dx)-f(x)}{dx}}\right)} for an arbitrary infinitesimal d x {\displaystyle dx} , where st {\displaystyle \operatorname {st} } denotes
12540-472: The function f {\displaystyle f} is differentiable at a {\displaystyle a} , that is if the limit L {\displaystyle L} exists, then this limit is called the derivative of f {\displaystyle f} at a {\displaystyle a} . Multiple notations for the derivative exist. The derivative of f {\displaystyle f} at
12672-1143: The function is the acceleration of an object with respect to time, and the third derivative is the jerk . A vector-valued function y {\displaystyle \mathbf {y} } of a real variable sends real numbers to vectors in some vector space R n {\displaystyle \mathbb {R} ^{n}} . A vector-valued function can be split up into its coordinate functions y 1 ( t ) , y 2 ( t ) , … , y n ( t ) {\displaystyle y_{1}(t),y_{2}(t),\dots ,y_{n}(t)} , meaning that y = ( y 1 ( t ) , y 2 ( t ) , … , y n ( t ) ) {\displaystyle \mathbf {y} =(y_{1}(t),y_{2}(t),\dots ,y_{n}(t))} . This includes, for example, parametric curves in R 2 {\displaystyle \mathbb {R} ^{2}} or R 3 {\displaystyle \mathbb {R} ^{3}} . The coordinate functions are real-valued functions, so
12804-518: The graph of f {\displaystyle f} at a {\displaystyle a} . In other words, the derivative is the slope of the tangent. One way to think of the derivative d f d x ( a ) {\textstyle {\frac {df}{dx}}(a)} is as the ratio of an infinitesimal change in the output of the function f {\displaystyle f} to an infinitesimal change in its input. In order to make this intuition rigorous,
12936-471: The integral ∫ 0 ∞ | f ( t ) e − s t | d t {\displaystyle \int _{0}^{\infty }\left|f(t)e^{-st}\right|\,dt} exists as a proper Lebesgue integral. The Laplace transform is usually understood as conditionally convergent , meaning that it converges in the former but not in the latter sense. The set of values for which F ( s ) converges absolutely
13068-758: The integral can be understood to be a (proper) Lebesgue integral . However, for many applications it is necessary to regard it as a conditionally convergent improper integral at ∞ . Still more generally, the integral can be understood in a weak sense , and this is dealt with below. One can define the Laplace transform of a finite Borel measure μ by the Lebesgue integral L { μ } ( s ) = ∫ [ 0 , ∞ ) e − s t d μ ( t ) . {\displaystyle {\mathcal {L}}\{\mu \}(s)=\int _{[0,\infty )}e^{-st}\,d\mu (t).} An important special case
13200-410: The integral depends on types of functions of interest. A necessary condition for existence of the integral is that f must be locally integrable on [0, ∞) . For locally integrable functions that decay at infinity or are of exponential type ( | f ( t ) | ≤ A e B | t | {\displaystyle |f(t)|\leq Ae^{B|t|}} ),
13332-455: The inverse Laplace transform reverts to the original domain. The Laplace transform is defined (for suitable functions f {\displaystyle f} ) by the integral L { f } ( s ) = ∫ 0 ∞ f ( t ) e − s t d t , {\displaystyle {\mathcal {L}}\{f\}(s)=\int _{0}^{\infty }f(t)e^{-st}\,dt,} where s
13464-464: The limit exists. The subtraction in the numerator is the subtraction of vectors, not scalars. If the derivative of y {\displaystyle \mathbf {y} } exists for every value of t {\displaystyle t} , then y ′ {\displaystyle \mathbf {y} '} is another vector-valued function. Functions can depend upon more than one variable . A partial derivative of
13596-448: The limit is 2 a {\displaystyle 2a} . So, the derivative of the squaring function is the doubling function: f ′ ( x ) = 2 x {\displaystyle f'(x)=2x} . The ratio in the definition of the derivative is the slope of the line through two points on the graph of the function f {\displaystyle f} , specifically
13728-449: The lines Re( s ) = a or Re( s ) = b . The subset of values of s for which the Laplace transform converges absolutely is called the region of absolute convergence, or the domain of absolute convergence. In the two-sided case, it is sometimes called the strip of absolute convergence. The Laplace transform is analytic in the region of absolute convergence: this is a consequence of Fubini's theorem and Morera's theorem . Similarly,
13860-422: The lower limit of 0 is shorthand notation for lim ε → 0 + ∫ − ε ∞ . {\displaystyle \lim _{\varepsilon \to 0^{+}}\int _{-\varepsilon }^{\infty }.} This limit emphasizes that any point mass located at 0 is entirely captured by the Laplace transform. Although with the Lebesgue integral, it
13992-396: The most basic rules for deducing the derivative of functions from derivatives of basic functions. The derivative of the function given by f ( x ) = x 4 + sin ( x 2 ) − ln ( x ) e x + 7 {\displaystyle f(x)=x^{4}+\sin \left(x^{2}\right)-\ln(x)e^{x}+7}
14124-399: The norm in the numerator is the standard length on R m {\displaystyle \mathbb {R} ^{m}} . If v {\displaystyle v} is a vector starting at a {\displaystyle a} , then f ′ ( a ) v {\displaystyle f'(\mathbf {a} )\mathbf {v} } is called
14256-399: The notation f ( n ) {\displaystyle f^{(n)}} for the n {\displaystyle n} th derivative of f {\displaystyle f} . In Newton's notation or the dot notation, a dot is placed over a symbol to represent a time derivative. If y {\displaystyle y} is
14388-1410: The notation was introduced by Louis François Antoine Arbogast . To indicate a partial derivative, the variable differentiated by is indicated with a subscript, for example given the function u = f ( x , y ) {\displaystyle u=f(x,y)} , its partial derivative with respect to x {\displaystyle x} can be written D x u {\displaystyle D_{x}u} or D x f ( x , y ) {\displaystyle D_{x}f(x,y)} . Higher partial derivatives can be indicated by superscripts or multiple subscripts, e.g. D x y f ( x , y ) = ∂ ∂ y ( ∂ ∂ x f ( x , y ) ) {\textstyle D_{xy}f(x,y)={\frac {\partial }{\partial y}}{\Bigl (}{\frac {\partial }{\partial x}}f(x,y){\Bigr )}} and D x 2 f ( x , y ) = ∂ ∂ x ( ∂ ∂ x f ( x , y ) ) {\displaystyle \textstyle D_{x}^{2}f(x,y)={\frac {\partial }{\partial x}}{\Bigl (}{\frac {\partial }{\partial x}}f(x,y){\Bigr )}} . In principle,
14520-482: The number of permitted values is either finite or countably infinite . Common examples are variables that must be integers , non-negative integers, positive integers, or only the integers 0 and 1. Methods of calculus do not readily lend themselves to problems involving discrete variables. Especially in multivariable calculus, many models rely on the assumption of continuity. Examples of problems involving discrete variables include integer programming . In statistics,
14652-489: The partial derivative of a function f ( x 1 , … , x n ) {\displaystyle f(x_{1},\dots ,x_{n})} in the direction x i {\displaystyle x_{i}} at the point ( a 1 , … , a n ) {\displaystyle (a_{1},\dots ,a_{n})} is defined to be: ∂ f ∂ x i (
14784-526: The partial derivative of function f {\displaystyle f} with respect to both variables x {\displaystyle x} and y {\displaystyle y} are, respectively: ∂ f ∂ x = 2 x + y , ∂ f ∂ y = x + 2 y . {\displaystyle {\frac {\partial f}{\partial x}}=2x+y,\qquad {\frac {\partial f}{\partial y}}=x+2y.} In general,
14916-732: The partial derivatives of f {\displaystyle f} exist and are continuous at x {\displaystyle \mathbf {x} } , then they determine the directional derivative of f {\displaystyle f} in the direction v {\displaystyle \mathbf {v} } by the formula: D v f ( x ) = ∑ j = 1 n v j ∂ f ∂ x j . {\displaystyle D_{\mathbf {v} }{f}(\mathbf {x} )=\sum _{j=1}^{n}v_{j}{\frac {\partial f}{\partial x_{j}}}.} When f {\displaystyle f}
15048-430: The partial derivatives of f {\displaystyle f} measure its variation in the direction of the coordinate axes. For example, if f {\displaystyle f} is a function of x {\displaystyle x} and y {\displaystyle y} , then its partial derivatives measure the variation in f {\displaystyle f} in
15180-418: The point ( a 1 , … , a n ) {\displaystyle (a_{1},\dots ,a_{n})} , these partial derivatives define the vector ∇ f ( a 1 , … , a n ) = ( ∂ f ∂ x 1 ( a 1 , … ,
15312-404: The points ( a , f ( a ) ) {\displaystyle (a,f(a))} and ( a + h , f ( a + h ) ) {\displaystyle (a+h,f(a+h))} . As h {\displaystyle h} is made smaller, these points grow closer together, and the slope of this line approaches the limiting value, the slope of the tangent to
15444-432: The position of a moving object with respect to time is the object's velocity , how the position changes as time advances, the second derivative is the object's acceleration , how the velocity changes as time advances. Derivatives can be generalized to functions of several real variables . In this generalization, the derivative is reinterpreted as a linear transformation whose graph is (after an appropriate translation)
15576-506: The probability distributions of discrete variables can be expressed in terms of probability mass functions . In discrete time dynamics, the variable time is treated as discrete, and the equation of evolution of some variable over time is called a difference equation . For certain discrete-time dynamical systems, the system response can be modelled by solving the difference equation for an analytical solution. In econometrics and more generally in regression analysis , sometimes some of
15708-415: The region of convergence, as the absolutely convergent Laplace transform of some other function. In particular, it is analytic. There are several Paley–Wiener theorems concerning the relationship between the decay properties of f , and the properties of the Laplace transform within the region of convergence. In engineering applications, a function corresponding to a linear time-invariant (LTI) system
15840-410: The rules for the derivatives of the most common basic functions. Here, a {\displaystyle a} is a real number, and e {\displaystyle e} is the base of the natural logarithm, approximately 2.71828 . Given that the f {\displaystyle f} and g {\displaystyle g} are the functions. The following are some of
15972-611: The second and the third derivatives can be written as f ″ {\displaystyle f''} and f ‴ {\displaystyle f'''} , respectively. For denoting the number of higher derivatives beyond this point, some authors use Roman numerals in superscript , whereas others place the number in parentheses, such as f i v {\displaystyle f^{\mathrm {iv} }} or f ( 4 ) {\displaystyle f^{(4)}} . The latter notation generalizes to yield
16104-565: The second term was computed using the chain rule and the third term using the product rule . The known derivatives of the elementary functions x 2 {\displaystyle x^{2}} , x 4 {\displaystyle x^{4}} , sin ( x ) {\displaystyle \sin(x)} , ln ( x ) {\displaystyle \ln(x)} , and exp ( x ) = e x {\displaystyle \exp(x)=e^{x}} , as well as
16236-405: The set of values for which F ( s ) converges (conditionally or absolutely) is known as the region of conditional convergence, or simply the region of convergence (ROC). If the Laplace transform converges (conditionally) at s = s 0 , then it automatically converges for all s with Re( s ) > Re( s 0 ) . Therefore, the region of convergence is a half-plane of the form Re( s ) >
16368-653: The total derivative can be expressed using the partial derivatives as a matrix . This matrix is called the Jacobian matrix of f {\displaystyle f} at a {\displaystyle \mathbf {a} } : f ′ ( a ) = Jac a = ( ∂ f i ∂ x j ) i j . {\displaystyle f'(\mathbf {a} )=\operatorname {Jac} _{\mathbf {a} }=\left({\frac {\partial f_{i}}{\partial x_{j}}}\right)_{ij}.} The concept of
16500-571: The turn of the century. Bernhard Riemann used the Laplace transform in his 1859 paper On the Number of Primes Less Than a Given Magnitude , in which he also developed the inversion theorem. Riemann used the Laplace transform to develop the functional equation of the Riemann zeta function , and this method is still used to related the modular transformation law of the Jacobi theta function , which
16632-605: The variable x {\displaystyle x} is variously denoted by among other possibilities. It can be thought of as the rate of change of the function in the x {\displaystyle x} -direction. Here ∂ is a rounded d called the partial derivative symbol . To distinguish it from the letter d , ∂ is sometimes pronounced "der", "del", or "partial" instead of "dee". For example, let f ( x , y ) = x 2 + x y + y 2 {\displaystyle f(x,y)=x^{2}+xy+y^{2}} , then
16764-451: The variable time is treated as continuous, and the equation describing the evolution of some variable over time is a differential equation . The instantaneous rate of change is a well-defined concept that takes the ratio of the change in the dependent variable to the independent variable at a specific instant. In contrast, a variable is a discrete variable if and only if there exists a one-to-one correspondence between this variable and
16896-663: The variable for differentiation, in the denominator, which removes ambiguity when working with multiple interrelated quantities. The derivative of a composed function can be expressed using the chain rule : if u = g ( x ) {\displaystyle u=g(x)} and y = f ( g ( x ) ) {\displaystyle y=f(g(x))} then d y d x = d y d u ⋅ d u d x . {\textstyle {\frac {dy}{dx}}={\frac {dy}{du}}\cdot {\frac {du}{dx}}.} Another common notation for differentiation
17028-453: The variable is continuous in that interval . If it can take on a value such that there is a non- infinitesimal gap on each side of it containing no values that the variable can take on, then it is discrete around that value. In some contexts, a variable can be discrete in some ranges of the number line and continuous in others. A continuous variable is a variable such that there are possible values between any two values. For example,
17160-401: The variables being empirically related to each other are 0-1 variables, being permitted to take on only those two values. The purpose of the discrete values of 0 and 1 is to use the dummy variable as a ‘switch’ that can ‘turn on’ and ‘turn off’ by assigning the two values to different parameters in an equation. A variable of this type is called a dummy variable . If the dependent variable is
17292-493: Was following in the spirit of Euler in using the integrals themselves as solutions of equations. However, in 1785, Laplace took the critical step forward when, rather than simply looking for a solution in the form of an integral, he started to apply the transforms in the sense that was later to become popular. He used an integral of the form ∫ x s φ ( x ) d x , {\displaystyle \int x^{s}\varphi (x)\,dx,} akin to
17424-475: Was instrumental in G H Hardy and John Edensor Littlewood 's study of tauberian theorems , and this application was later expounded on by Widder (1941), who developed other aspects of the theory such as a new method for inversion. Edward Charles Titchmarsh wrote the influential Introduction to the theory of the Fourier integral (1937). The current widespread use of the transform (mainly in engineering) came about during and soon after World War II , replacing
#508491