|
|
| Line 1: |
Line 1: |
| {{calculus}}
| | There are actually thousands upon thousands of lotions and serums out there that each one promise to show again the clock and different wishful claims, but at this level there's just one tremendous ingredient that basically delivers on such promises. That may be retinoids , pals.<br><br>There are a lot of ways I will help you discover and buy or hire your dream property successfully. I view the shopping for / renting process as a critical partnership which includes dedication and communication. To help me perceive and cater to your needs, inform me extra about your self and what you're looking for in my ( Shopping for or Renting ) Enquiries forms. n prime of that, now you can entry to my Singapore Multiple Itemizing Service - MLS information (just like some other Singapore real estate brokers do) so as to search for your dream properties online your self that fit your requirements. And in case you are taking a look at tasks that are specialised by me, you can click on at " My Initiatives" info buttons.<br><br>The LTV restrict takes under consideration credit score facilities, if any, granted by other monetary institutions and the property seller. Any low cost, rebate or other benefit supplied by any individual to the borrower must be deducted from the acquisition worth before calculating the quantity of the loan. You might be able to get a bridging loan when you have a residential [http://blog.stkippgritulungagung.ac.id/members/andraeiffellt/activity/4474/ Property Developers In Singapore] which you've gotten agreed to promote, but will only receive the gross sales proceeds later. HONG KONG (Reuters) - For some Chinese language buyers, step one to buying millions of dollars in property on the other facet of the globe is lots like ordering a brand new t-shirt on-line - search and click on. Private residential property costs rose 1.8% (1.1% in real terms) q-q in This autumn 2012, based on the URA. Agent commission<br><br>The most splendid time for me is to search for new properties 2-3 years earlier than the completion of the MRT line. Assuming that a new property takes around the similar time to be completed, I'll have timed my buy such that the new MRT station might be carried out by the point I have to pay the full mortgage. So as words, I will have an easier time getting tenants for my property as a result of the inconvenience that resulted from the MRT building has now been removed.<br><br>Dennis Ng is director of Leverage Holding and Grasp Your Finance This article is posted courtesy of www.Propwise.sg , a Singapore property blog devoted to serving to you understand the actual estate market and make better selections. Click on here to get your free Property Beginner's and Purchaser's Guide Property Navigators, the No.1 Crew in PERIOD Singapore (2009 & 2011), is among the largest group (over 800 agents) of dynamic and professional PERIOD real property brokers in Singapore who has broken many gross sales records over the years. Our confirmed trainings and intently knitted enviroment enable us to be the leading group within the trade. We've helped many agents to attain excellent results and realise their monetary freedom. A Sale & Purchase Settlement. Sea Horizon EC<br><br>We now have a worldwide shopper base, and anyone desirous to promote, lease, make investments, purchase any Singapore properties prefers to go to our website particularly in Asia. For Singapore real property, hotvictory is the place to visit as it helps find your ideal Singapore property. Since 1973, the Singapore Authorities has imposed restrictions on overseas possession of personal residential property in Singapore. Such ownership is ruled by the Residential Property Act (the Act). Singapore corporations and societies; Unit , Singapore Land Authority earlier than shopping for. For more details on software, visit the Singapore Land Authority website. Singapore limited legal responsibility partnership; or Singapore restricted liability partnership or a The sale is now on Tanjong Rhu, Singapore A Condo in Florida Property Tax<br><br>Great Eastern Life has a diverse spectre of residential items to swimsuit distinctive existence. With the tranquillity and serenity backdrop amidst the lush greens of the Botanical Gardens, Gallop Courtroom and Gallop Gardens supplies the perfect choice for the laid again way of life individuals. Alternatives include the fashionable bungalows at Gallop Gardens or the capacious stroll-up apartments of Gallop Court. For those of extra upbeat personalities, Newton.GEMS and Holland.GEMS supply a extra vibrant and vibrant dwelling atmosphere. Positioned along Newton road and Holland highway respectively, these two condominium developments offer a blend of urbanistic chic with simplistic allure to steadiness off the faster tempo of life. |
| {{merge|Leibniz integral rule|date=January 2013}}
| |
| {{Expert-subject|mathematics|reason=vague conditions for applicability; insufficiently rigorous proof that appears to be separated vaguely into possibly non-exhaustive cases;generally unclear presentation;reference to a proof of the fundamental theorem of calculus without specifying which proof|date=January 2013}}
| |
| | |
| '''Differentiation under the integral sign''' is a useful operation in [[calculus]]. Formally it can be stated as follows: | |
| | |
| <blockquote>'''Theorem.''' Let ''f''(''x'', ''t'') be a function such that both ''f''(''x'', ''t'') and its partial derivative ''f<sub>x</sub>''(''x'', ''t'') are continuous in ''t'' and ''x'' in some region of the (''x'', ''t'')-plane, including ''a''(''x'') ≤ ''t'' ≤ ''b''(''x''), ''x''<sub>0</sub> ≤ ''x'' ≤ ''x''<sub>1</sub>. Also suppose that the functions ''a''(''x'') and ''b''(''x'') are both continuous and both have continuous derivatives for ''x''<sub>0</sub> ≤ ''x'' ≤ ''x''<sub>1</sub>. Then for ''x''<sub>0</sub> ≤ ''x'' ≤ ''x''<sub>1</sub>:
| |
| | |
| :<math>\frac{\mathrm{d}}{\mathrm{d}x} \left (\int_{a(x)}^{b(x)}f(x,t)\,\mathrm{d}t \right) = f(x,b(x))\,b'(x) - f(x,a(x))\,a'(x) + \int_{a(x)}^{b(x)} f_x(x,t)\; \mathrm{d}t.</math>
| |
| </blockquote> | |
| | |
| This formula is the general form of the [[Leibniz integral rule]] and can be derived using the [[fundamental theorem of calculus]]. The [second] fundamental theorem of calculus is just a particular case of the above formula, for ''a''(''x'') = ''a'', a constant, ''b''(''x'') = ''x'' and ''f''(''x'', ''t'') = ''f''(''t'').
| |
| | |
| If both upper and lower limits are taken as constants, then the formula takes the shape of an [[Operator (mathematics)|operator]] equation:
| |
| | |
| :''I<sub>t</sub>D<sub>x</sub>'' = ''D<sub>x</sub>I<sub>t</sub>'',
| |
| | |
| where ''D<sub>x</sub>'' is the [[partial derivative]] with respect to ''x'' and ''I<sub>t</sub>'' is the integral operator with respect to ''t'' over a fixed [[Interval (mathematics)|interval]]. That is, it is related to the [[symmetry of second derivatives]], but involving integrals as well as derivatives. This case is also known as the [[Leibniz integral rule]].
| |
| | |
| The following three basic theorems on the [[interchange of limiting operations|interchange of limits]] are essentially equivalent:
| |
| | |
| * the interchange of a derivative and an integral (differentiation under the integral sign; i.e., [[Leibniz integral rule]])
| |
| * the change of order of partial derivatives
| |
| * the change of order of integration (integration under the integral sign; i.e., [[Fubini's theorem]])
| |
| | |
| == {{anchor|Higher dimensions|higher dimensions}} Higher dimensions == <!-- anchor used to redirect here from other articles -->
| |
| | |
| The Leibniz integral rule can be extended to multidimensional integrals. In two and three dimensions, this rule is better known from the field of [[fluid dynamics]] as the [[Reynolds transport theorem]]:
| |
| | |
| :<math>\frac{\mathrm{d}}{\mathrm{d}t} \int_{D(t)} F(\vec{\textbf x}, t) \,\mathrm{d}V = \int_{D(t)} \frac{\partial}{\partial t} \,F(\vec{\textbf x}, t)\,\mathrm{d}V + \int_{\partial D(t)} \,F(\vec{\textbf x}, t)\, \vec{\textbf v}_b \cdot \mathrm{d}\mathbf{\Sigma}</math>
| |
| | |
| where <math>F(\vec{\textbf x}, t)\,</math> is a scalar function, ''D''(''t'') and ∂''D''(''t'') denote a time-varying connected region of '''R'''<sup>3</sup> and its boundary, respectively, <math>\vec{\textbf v}_b\,</math> is the Eulerian velocity of the boundary (see [[Lagrangian and Eulerian coordinates]]) and ''d'''''Σ''' = '''n'''''dS'' is the unit normal component of the [[surface integral|surface]] [[volume element|element]].
| |
| | |
| The general statement of the Leibniz integral rule requires concepts from [[Differential geometry and topology|differential geometry]], specifically [[differential forms]], [[exterior derivative]]s, [[wedge product]]s and [[interior product]]s. With those tools, the Leibniz integral rule in ''p''-dimensions is:<ref>[[Harley Flanders|Flanders, Harley]] (June–July 1973). "Differentiation under the integral sign". ''[[American Mathematical Monthly]]'' 80 (6): 615–627. doi:[http://dx.doi.org/10.2307/2319163 Article Link on JSTOR]</ref>
| |
| | |
| :<math>\frac{\mathrm{d}}{\mathrm{d}t}\int_{\Omega(t)}\omega=\int_{\Omega(t)} i_{\vec{\textbf v}}(\mathrm{d}_x\omega)+\int_{\partial \Omega(t)} i_{\vec{\textbf v}} \omega+\int_{\Omega(t)}\dot{\omega},\,</math>
| |
| | |
| where Ω(''t'') is a time-varying domain of integration, ω is a ''p''-form, <math>\vec{\textbf v}\,</math> is the vector field of the velocity, <math>\vec{\textbf v}=\frac{\partial\vec{\textbf x}}{\partial t}\,</math>, ''i'' denotes the [[interior product]], ''d<sub>x</sub>''ω is the [[exterior derivative]] of ω with respect to the space variables only and <math>\dot{\omega}\,</math> is the time-derivative of ω.
| |
| | |
| ==Proof of Theorem==
| |
| | |
| <blockquote>'''Lemma.''' One has:
| |
| :<math>\frac{\partial}{\partial b} \left (\int_a^b f(x)\; dx \right ) = f(b), \qquad \frac{\partial}{\partial a} \left (\int_a^b f(x)\; dx \right )= -f(a).</math>
| |
| </blockquote>
| |
| | |
| '''Proof.''' From [[Fundamental_theorem_of_calculus#Proof_of_the_first_part|proof of the fundamental theorem of calculus]],
| |
| | |
| :<math>\begin{align}
| |
| \frac{\partial}{\partial b} \left (\int_a^b f(x)\; \mathrm{d}x \right ) &= \lim_{\Delta b \to 0} \frac{1}{\Delta b} \left[ \int_a^{b+\Delta b} f(x)\,\mathrm{d}x - \int_a^b f(x)\,\mathrm{d}x \right] \\
| |
| &= \lim_{\Delta b \to 0} \frac{1}{\Delta b} \int_b^{b+\Delta b} f(x)\,\mathrm{d}x \\
| |
| &= \lim_{\Delta b \to 0} \frac{1}{\Delta b} \left[ f(b) \Delta b + \mathcal{O}\left(\Delta b^2\right) \right] \\
| |
| &= f(b) \\
| |
| \frac{\partial}{\partial a} \left (\int_a^b f(x)\; \mathrm{d}x \right )&= \lim_{\Delta a \to 0} \frac{1}{\Delta a} \left[ \int_{a+\Delta a}^b f(x)\,\mathrm{d}x - \int_a^b f(x)\,\mathrm{d}x \right] \\
| |
| &= \lim_{\Delta a \to 0} \frac{1}{\Delta a} \int_{a+\Delta a}^a f(x)\,\mathrm{d}x \\
| |
| &= \lim_{\Delta a \to 0} \frac{1}{\Delta a} \left[ -f(a)\, \Delta a + \mathcal{O}\left(\Delta a^2\right) \right]\\
| |
| &= -f(a).
| |
| \end{align}</math>
| |
| | |
| Suppose ''a'' and ''b'' are constant, and that ''f''(''x'') involves a parameter α which is constant in the integration but may vary to form different integrals. Since ''f''(''x'', α) be a continuous function of ''x'' and α in the compact set {(''x'', α) : α<sub>0</sub> ≤ α ≤ α<sub>1</sub> and ''a'' ≤ ''x'' ≤ ''b''} and that the partial derivative ''f''<sub>α</sub>(''x'', α) exists and is continuous then if one defines:
| |
| | |
| :<math>\varphi(\alpha) = \int_a^b f(x,\alpha)\;\mathrm{d}x.</math>
| |
| | |
| φ may be differentiated with respect to α by differentiating under the integral sign; i.e.,
| |
| | |
| :<math>\frac{\mathrm{d}\varphi}{\mathrm{d}\alpha}=\int_a^b\frac{\partial}{\partial\alpha}\,f(x,\alpha)\,\mathrm{d}x.\,</math>
| |
| | |
| By the [[Heine–Cantor theorem]] it is uniformly continuous in that set. In other words for any ε > 0 there exists Δα such that for all values of ''x'' in [''a'', ''b'']:
| |
| | |
| :<math>|f(x,\alpha+\Delta \alpha)-f(x,\alpha)|<\varepsilon.</math>
| |
| | |
| On the other hand:
| |
| | |
| :<math>\begin{align}
| |
| \Delta\varphi &=\varphi(\alpha+\Delta \alpha)-\varphi(\alpha) \\
| |
| &=\int_a^b f(x,\alpha+\Delta\alpha)\;\mathrm{d}x - \int_a^b f(x,\alpha)\; \mathrm{d}x \\
| |
| &=\int_a^b \left (f(x,\alpha+\Delta\alpha)-f(x,\alpha) \right )\;\mathrm{d}x \\
| |
| &=\int_a^b \left |f(x,\alpha+\Delta\alpha)-f(x,\alpha) \right |\;\mathrm{d}x \\
| |
| &\leq \varepsilon (b-a)
| |
| \end{align}</math>
| |
| | |
| Hence φ(α) is a continuous function.
| |
| | |
| Similarly if <math>\frac{\partial}{\partial\alpha}\,f(x,\alpha)</math> exists and is continuous, then for all ε > 0 there exists Δα such that:
| |
| | |
| :<math>\left|\frac{f(x,\alpha+\Delta \alpha)-f(x,\alpha)}{\Delta \alpha} - \frac{\partial f}{\partial\alpha}\right|<\varepsilon\,</math> for all ''x'' ∈ [''a'', ''b''].
| |
| | |
| Therefore,
| |
| | |
| :<math>\frac{\Delta \varphi}{\Delta \alpha}=\int_a^b\frac{f(x,\alpha+\Delta\alpha)-f(x,\alpha)}{\Delta \alpha}\;\mathrm{d}x = \int_a^b \frac{\partial\,f(x,\alpha)}{\partial \alpha}\,\mathrm{d}x + R</math>
| |
| | |
| where
| |
| | |
| :<math>|R| < \int_a^b \varepsilon\; \mathrm{d}x = \varepsilon(b-a).</math>
| |
| | |
| Now, ε → 0 as Δα → 0, therefore,
| |
| | |
| :<math>\lim_{{\Delta \alpha} \rarr 0}\frac{\Delta\varphi}{\Delta \alpha}= \frac{\mathrm{d}\varphi}{\mathrm{d}\alpha} = \int_a^b \frac{\partial}{\partial \alpha}\,f(x,\alpha)\,\mathrm{d}x.\,</math>
| |
| | |
| This is the formula we set out to prove.
| |
| | |
| Now, suppose <math>\int_a^b f(x,\alpha)\;\mathrm{d}x=\varphi(\alpha),</math> where ''a'' and ''b'' are functions of α which take increments Δ''a'' and Δ''b'', respectively, when α is increased by Δα. Then,
| |
| | |
| :<math>\begin{align}
| |
| \Delta\varphi &=\varphi(\alpha+\Delta\alpha)-\varphi(\alpha) \\
| |
| &=\int_{a+\Delta a}^{b+\Delta b}f(x,\alpha+\Delta\alpha)\;\mathrm{d}x\,-\int_a^b f(x,\alpha)\;\mathrm{d}x\, \\
| |
| &=\int_{a+\Delta a}^af(x,\alpha+\Delta\alpha)\;\mathrm{d}x+\int_a^bf(x,\alpha+\Delta\alpha)\;\mathrm{d}x+\int_b^{b+\Delta b}f(x,\alpha+\Delta\alpha)\;\mathrm{d}x -\int_a^b f(x,\alpha)\;\mathrm{d}x \\
| |
| &=-\int_a^{a+\Delta a}\,f(x,\alpha+\Delta\alpha)\;\mathrm{d}x+\int_a^b[f(x,\alpha+\Delta\alpha)-f(x,\alpha)]\;\mathrm{d}x+\int_b^{b+\Delta b}\,f(x,\alpha+\Delta\alpha)\;\mathrm{d}x.
| |
| \end{align}</math>
| |
| | |
| A form of the [[mean value theorem]], <math>\int_a^bf(x)\;\mathrm{d}x=(b-a)f(\xi),\,</math> where ''a'' < ξ < ''b'', can be applied to the first and last integrals of the formula for Δφ above, resulting in
| |
| | |
| :<math>\Delta\varphi=-\Delta a\,f(\xi_1,\alpha+\Delta\alpha)+\int_a^b[f(x,\alpha+\Delta\alpha)-f(x,\alpha)]\;\mathrm{d}x+\Delta b\,f(\xi_2,\alpha+\Delta\alpha).\,</math>
| |
| | |
| Dividing by Δα, letting Δα → 0, noticing ξ<sub>1</sub> → ''a'' and ξ<sub>2</sub> → ''b'' and using the result
| |
| | |
| :<math>\frac{\mathrm{d}\varphi}{\mathrm{d}\alpha} = \int_a^b\frac{\partial}{\partial \alpha}\,f(x,\alpha)\,\mathrm{d}x</math>
| |
| | |
| yields
| |
| | |
| :<math>\frac{\mathrm{d}\varphi}{\mathrm{d}\alpha} = \int_a^b\frac{\partial}{\partial \alpha}\,f(x,\alpha)\,\mathrm{d}x+f(b,\alpha)\frac{\partial b}{\partial \alpha}-f(a,\alpha)\frac{\partial a}{\partial \alpha}. </math>
| |
| | |
| This is the general form of the [[Leibniz integral rule]].
| |
| | |
| ==Examples==
| |
| === General examples ===
| |
| ====Example 1====
| |
| :<math>\varphi(\alpha)=\int_0^1\frac{\alpha}{x^2+\alpha^2}\;\mathrm{d}x.</math>
| |
| | |
| If α = 0, φ(α) = 0.
| |
| | |
| If α ≠ 0, φ(α) = arctan(1/α).
| |
| | |
| The function under the integral sign is not continuous at the point (''x'', α) = (0, 0) and the function φ(α) has a discontinuity at α = 0, because φ(α) approaches π/2 as α → 0<sup>+</sup> and approaches −π/2 as α → 0<sup>−</sup>.
| |
| | |
| If we now differentiate φ(α) with respect to α under the integral sign, we get
| |
| | |
| :<math>\frac{\mathrm{d}}{\mathrm{d}\alpha} \varphi(\alpha)=\int_0^1\frac{\partial}{\partial\alpha}\left(\frac{\alpha}{x^2+\alpha^2}\right)\;\mathrm{d}x=\int_0^1\frac{x^2-\alpha^2}{(x^2+\alpha^2)^2} \mathrm{d}x=-\frac{x}{x^2+\alpha^2}\bigg|_0^1=-\frac{1}{1+\alpha^2},</math>
| |
| | |
| which is, of course, true for all values of α except α = 0.
| |
| | |
| ====Example 2====
| |
| Here is an example that has variable limits. Let us try to find
| |
| | |
| :<math>\frac{\mathrm{d}}{\mathrm{d}x} \int_{\sin x}^{\cos x} \cosh t^2\;\mathrm{d}t.</math>
| |
| | |
| In this example, we shall simply apply the above given formula, to get
| |
| | |
| :<math>\begin{align}
| |
| \frac{\mathrm{d}}{\mathrm{d}x} \int_{\sin x}^{\cos x} \cosh t^2\;\mathrm{d}t &= \cosh\left(\cos^2 x\right) \frac{\mathrm{d}}{\mathrm{d}x}\left(\cos x\right) - \cosh\left(\sin^2 x\right) \frac{\mathrm{d}}{\mathrm{d}x} \left(\sin x\right) + \int_{\sin x}^{\cos x} \frac{\partial}{\partial x}\cosh t^2\;\mathrm{d}t \\
| |
| &= - \cosh\left(\cos^2 x\right) \sin x - \cosh\left(\sin^2 x\right) \cos x
| |
| \end{align}</math>
| |
| | |
| where the derivative with respect to ''x'' of hyperbolic cosine ''t'' squared is 0. This is a simple example on how to use this formula for variable limits.
| |
| | |
| === Examples for evaluating a definite integral ===
| |
| ====Example 3====
| |
| The principle of differentiating under the integral sign may sometimes be used to evaluate a definite integral. Consider integrating
| |
| | |
| :<math>\,\varphi(\alpha)=\int_0^\pi\,\ln(1-2\alpha\cos(x)+\alpha^2)\;\mathrm{d}x \qquad |\alpha| > 1.</math>
| |
| | |
| Now,
| |
| | |
| :<math> \begin{align}
| |
| \frac{\mathrm{d}}{\mathrm{d}\alpha}\,\varphi(\alpha) &=\int_0^\pi \frac{-2\cos(x)+2\alpha }{1-2\alpha \cos(x)+\alpha^2}\;\mathrm{d}x\, \\[8pt]
| |
| &=\frac{1}{\alpha}\int_0^\pi\,\left(1-\frac{(1-\alpha)^2}{1-2\alpha \cos(x)+\alpha^2}\,\right)\,\mathrm{d}x \\[8pt]
| |
| &=\frac{\pi}{\alpha}-\frac{2}{\alpha}\left\{\,\arctan\left(\frac{1+\alpha}{1-\alpha}\cdot\tan\left(\frac{x}{2}\right)\right)\,\right\}\,\bigg|_0^\pi.
| |
| \end{align}</math>
| |
| | |
| As ''x'' varies from 0 to π, <math>\left(\frac{1+\alpha}{1-\alpha}\cdot\tan\left(\frac{x}{2}\right)\right)\,</math> varies through positive values from 0 to ∞ when |α| < 1 and <math>\left(\frac{1+\alpha}{1-\alpha}\cdot\tan\left(\frac{x}{2}\right)\right)\,</math> varies through negative values from 0 to −∞ when |α| > 1.
| |
| | |
| Hence,
| |
| | |
| :<math>\arctan\left(\frac{1+\alpha}{1-\alpha}\cdot\tan\left(\frac{x}{2}\right)\right)\,\bigg|_0^\pi=\frac{\pi}{2}\,</math> when |α| < 1.
| |
| :<math>\arctan\left(\frac{1+\alpha}{1-\alpha}\cdot\tan\left(\frac{x}{2}\right)\right)\,\bigg|_0^\pi=-\frac{\pi}{2}\,</math> when |α| > 1.
| |
| | |
| Therefore,
| |
| | |
| :<math>\frac{\mathrm{d}}{\mathrm{d}\alpha}\,\varphi(\alpha)\,=0\,</math> when |α| < 1 and
| |
| :<math>\frac{\mathrm{d}}{\mathrm{d}\alpha}\,\varphi(\alpha)\,=\frac{2\pi}{\alpha}\,</math> when |α| > 1.
| |
| | |
| Upon integrating both sides with respect to α, we get φ(α) = ''C''<sub>1</sub> when |α| < 1 and φ(α) = 2π ln|α| + ''C''<sub>2</sub> when |α| > 1.
| |
| | |
| ''C''<sub>1</sub> may be determined by setting α = 0 in φ(α):
| |
| | |
| :<math> \varphi(0) =\int_0^\pi \ln(1)\;\mathrm{d}x =\int_0^\pi 0\;\mathrm{d}x=0</math>
| |
| | |
| Thus, ''C''<sub>1</sub> = 0. Hence, φ(α) = 0 when |α| < 1.
| |
| | |
| To determine ''C''<sub>2</sub> in the same manner, we should need to substitute in a value of α greater than 1 in φ(α). This is somewhat inconvenient. Instead, we substitute α = 1/β, where |β| < 1. Then,
| |
| | |
| :<math>\begin{align}
| |
| \varphi(\alpha) &=\int_0^\pi\left(\ln(1-2\beta \cos(x)+\beta^2)-2\ln|\beta|\right)\;\mathrm{d}x\ \\[8pt]
| |
| &=0-2\pi\ln|\beta|\, \\[8pt]
| |
| &=2\pi\ln|\alpha|\,
| |
| \end{align}</math>
| |
| | |
| Therefore, ''C''<sub>2</sub> = 0 (and φ(α) = 2π ln|α| when |α| > 1.)
| |
| | |
| The definition of φ(α) is now complete:
| |
| | |
| :φ(α) = 0 when −1 < α < 1 and
| |
| :φ(α) = 2π ln|α| when α < −1 or α > 1.
| |
| | |
| The foregoing discussion, of course, does not apply when α = ±1, since the conditions for differentiability are not met.
| |
| | |
| ====Example 4====
| |
| :<math>\textbf I\;=\;\int_0^{\frac{\pi}{2}}\,\frac{1}{\left(a\,\cos^2\,x+b\,\sin^2\,x\right)^2}\;\mathrm{d}x,\qquad a,b > 0.</math>
| |
| | |
| Let us first find
| |
| | |
| :<math>\textbf J = \int_0^{\frac{\pi}{2}} \frac{1}{a\cos^2 (x) + b \sin^2 (x)}\;\mathrm{d}x.</math>
| |
| | |
| Dividing both the numerator and the denominator by cos<sup>2</sup>(''x'') yields
| |
| | |
| :<math>\begin{align}
| |
| \textbf{J} &= \int_0^{\frac{\pi}{2}} \frac{\sec^2(x)}{a +b \tan^2\,x}\;\mathrm{d}x \\[6pt]
| |
| &=\frac{1}{b} \int_0^{\frac{\pi}{2}} \frac{1}{\left(\sqrt{\frac{a}{b}}\right)^2+\tan^2 (x)}\;\mathrm{d}(\tan x)\,\\[6pt]
| |
| &=\frac{1}{\sqrt{ab}} \left(\tan^{-1}\left(\sqrt{\frac{b}{a}}\tan (x)\right)\right) \Bigg|_0^{\frac{\pi}{2}} =\frac{\pi}{2\sqrt{ab}}.
| |
| \end{align}</math>
| |
| | |
| The limits of integration being independent of ''a'', But we have:
| |
| | |
| :<math>\frac{\partial \textbf J}{\partial a}=-\int_0^{\frac{\pi}{2}} \frac{\cos^2 x\;\mathrm{d}x}{\left(a\cos^2 x+b \sin^2 x\right)^2}\,</math>
| |
| | |
| On the other hand:
| |
| | |
| :<math>\frac{\partial\,\textbf J}{\partial\,a}= \frac{\partial}{\partial\,a} \left (\frac{\pi}{2\sqrt{ab}}\right) =-\frac{\pi}{4\sqrt{a^3b}}.\,</math>
| |
| | |
| Equating these two relations then yields
| |
| | |
| :<math>\,\int_0^{\frac{\pi}{2}}\,\frac{\cos^2\,x\;\mathrm{d}x}{\left(a\,\cos^2\,x+b\,\sin^2\,x\right)^2}\;=\;\frac{\pi}{4\sqrt{a^3b}}.</math>
| |
| | |
| In a similar fashion, pursuing <math>\frac{\partial\,\textbf J}{\partial\,b}\,</math> yields
| |
| | |
| :<math>\,\int_0^{\frac{\pi}{2}}\,\frac{\sin^2\,x\;\mathrm{d}x}{\left(a\,\cos^2\,x+b\,\sin^2\,x\right)^2}\;=\;\frac{\pi}{4\sqrt{ab^3}}.</math>
| |
| | |
| Adding the two results then produces
| |
| | |
| :<math>\textbf I\;=\;\int_0^{\frac{\pi}{2}}\,\frac{1}{\left(a\,\cos^2\,x+b\,\sin^2\,x\right)^2}\;\mathrm{d}x=\frac{\pi}{4\sqrt{ab}}\left(\frac{1}{a}+\frac{1}{b}\right),</math>
| |
| | |
| which is the value of the integral '''I'''.
| |
| | |
| Note that if we define
| |
| | |
| :<math>\textbf I_n\;=\;\int_0^{\frac{\pi}{2}}\,\frac{1}{\left(a\,\cos^2\,x+b\,\sin^2\,x\right)^n}\;\mathrm{d}x,\,</math>
| |
| | |
| it can easily be shown that
| |
| | |
| :<math>\frac{\partial\,\textbf I_{n-1}}{\partial\,a}\,+\,\frac{\partial\,\textbf I_{n-1}}{\partial\,b}\,+\,(n-1)\cdot\textbf I_n\;=\;0.\,</math>
| |
| | |
| Given '''I'''<sub>1</sub>, this ''partial-derivative-based'' recursive relation (i.e., integral reduction formula) can then be utilized to compute all of the values of '''I'''<sub>''n''</sub> for ''n'' > 1 ('''I'''<sub>2</sub>, '''I'''<sub>3</sub>, '''I'''<sub>4</sub> etc.).
| |
| | |
| ====Example 5====
| |
| Here, we consider the integral
| |
| | |
| :<math>\textbf I(\alpha)=\int_0^{\frac{\pi}{2}}\frac{\ln\,(1+\cos\alpha\,\cos\,x)}{\cos\,x}\;\mathrm{d}x, \qquad 0 < \alpha < \pi.</math>
| |
| | |
| Differentiating under the integral with respect to α, we have
| |
| | |
| :<math>\begin{align}
| |
| \frac{d}{d\alpha} \textbf{I}(\alpha) &= \int_0^{\frac{\pi}{2}} \frac{\partial}{\partial\alpha} \left(\frac{\ln(1 + \cos\alpha \cos x)}{\cos x}\right)\,\mathrm{d}x \\
| |
| &=-\int_0^{\frac{\pi}{2}}\frac{\sin \alpha}{1+\cos \alpha \cos x}\,\mathrm{d}x \\
| |
| &=-\int_0^{\frac{\pi}{2}}\frac{\sin \alpha}{\left(\cos^2 \frac{x}{2}+\sin^2 \frac{x}{2}\right)+\cos \alpha\,\left(\cos^2\,\frac{x}{2}-\sin^2 \frac{x}{2}\right)}\,\mathrm{d}x \\
| |
| &=-\frac{\sin\alpha}{1-\cos\alpha} \int_0^{\frac{\pi}{2}} \frac{1}{\cos^2\frac{x}{2}}\frac{1}{\left[\left(\frac{1+\cos \alpha}{1-\cos \alpha}\right) +\tan^2 \frac{x}{2} \right]}\,\mathrm{d}x \\
| |
| &=-\frac{2\,\sin\alpha}{1-\cos\alpha} \int_0^{\frac{\pi}{2}}\,\frac{\frac{1}{2}\,\sec^2\,\frac{x}{2}}{\left[\,\left(\frac{2\,\cos^2\,\frac{\alpha}{2}}{2\,\sin^2\,\frac{\alpha}{2}}\right) + \tan^2\,\frac{x}{2} \right]} \,\mathrm{d}x \\
| |
| &=-\frac{2\left(2\,\sin\,\frac{\alpha}{2}\,\cos\,\frac{\alpha}{2}\right)}{2\,\sin^2\,\frac{\alpha}{2}}\,\int_0^{\frac{\pi}{2}}\,\frac{1}{\left[\left(\frac{\cos \frac{\alpha}{2}}{\sin\,\frac{\alpha}{2}}\right)^2\,+\,\tan^2\,\frac{x}{2}\,\right]}\,\mathrm{d}\left(\tan\,\frac{x}{2}\right)\\
| |
| &=-2\cot \frac{\alpha}{2}\,\int_0^{\frac{\pi}{2}}\,\frac{1}{\left[\,\cot^2\,\frac{\alpha}{2} + \tan^2\,\frac{x}{2}\,\right]}\,\mathrm{d}\left(\tan \frac{x}{2}\right)\,\\
| |
| &=-2\left(\tan^{-1} \left(\tan \frac{\alpha}{2} \tan \frac{x}{2} \right)\right) \bigg|_0^{\frac{\pi}{2}}\\ | |
| &=-\alpha
| |
| \end{align}</math>
| |
| | |
| Therefore:
| |
| | |
| :<math> \textbf{I}(\alpha) = C - \frac{\alpha^2}{2}</math>
| |
| | |
| However by definition, '''I'''(π/2) = 0, hence: ''C'' = π<sup>2</sup>/8 and
| |
| | |
| :<math>\textbf I(\alpha) = \frac{\pi^2}{8}-\frac{\alpha^2}{2}.</math>
| |
| | |
| ====Example 6====
| |
| Here, we consider the integral
| |
| | |
| :<math>\int_0^{2\pi}e^{\cos\theta} \cos(\sin\theta)\;\mathrm{d}\theta.</math>
| |
| | |
| We introduce a new variable φ and rewrite the integral as | |
| | |
| :<math>f(\varphi) = \int_0^{2\pi} e^{\varphi\cos\theta} \cos(\varphi\sin\theta)\;\mathrm{d}\theta.</math>
| |
| | |
| Note that for φ = 1 we recover the original integral, now we proceed:
| |
| | |
| :<math>\begin{align}
| |
| \frac {\mathrm{d}f}{\mathrm{d}\varphi} &= \int_0^{2\pi} \frac{\partial}{\partial\varphi}\left(e^{\varphi\cos\theta}\;\cos(\varphi\sin\theta)\right)\;\mathrm{d}\theta \\
| |
| &= \int_0^{2\pi} e^{\varphi\cos\theta} \left(\cos\theta\cos(\varphi\sin\theta)-\sin\theta\sin(\varphi\sin\theta)\right)\;\mathrm{d}\theta \\
| |
| &= \int_0^{2\pi} \frac {1}{\varphi}\;\frac {\partial}{\partial\theta}\left(e^{\varphi\cos\theta} \sin(\varphi\sin\theta)\right)\;\mathrm{d}\theta \\
| |
| &= \frac {1}{\varphi} \int_0^{2\pi}\;\mathrm{d}\left(e^{\varphi\cos\theta} \sin(\varphi\sin\theta)\right) \\
| |
| &= \frac {1}{\varphi} \left(e^{\varphi\cos\theta}\;\sin(\varphi\sin\theta)\right)\;\bigg|_0^{2\pi} = 0.
| |
| \end{align}</math>
| |
| | |
| Integrating both sides of <math>\frac {\mathrm{d}f}{\mathrm{d}\varphi}=0</math> with respect to φ between the limits 0 and 1 yields
| |
| | |
| :<math>f(1) - f(0) = \int_{f(0)}^{f(1)}\;\mathrm{d}f = \int_{0}^1 0\;\mathrm{d}\varphi = 0</math>
| |
| | |
| Therefore ''f''(1) = ''f''(0) however we note that from the equation for ''f''(φ), we have ''f''(0) = 2π, therefore the value of ''f'' at φ = 1, which is the same as the integral we set out to compute is 2π.
| |
| | |
| ====Other problems to solve====
| |
| There are innumerable other integrals that can be solved "quickly" using the technique of differentiation under the integral sign. For example consider the following cases where one adds a new variable α:
| |
| | |
| :<math>\begin{align}
| |
| \int_0^\infty\;\frac{\sin\,x}{x}\;\mathrm{d}x &\to \int_0^\infty\;e^{-\alpha\,x}\;\frac{\sin\,x}{x}\;\mathrm{d}x,\\
| |
| \int_0^{\frac{\pi}{2}}\;\frac{x}{\tan\,x}\;\mathrm{d}x &\to\int_0^{\frac{\pi}{2}}\;\frac{\tan^{-1}(\alpha\,\tan\,x)}{\tan\,x}\;\mathrm{d}x,\\
| |
| \int_0^{\infty}\;\frac{\ln\,(1+x^2)}{1+x^2}\;\mathrm{d}x &\to\int_0^{\infty}\;\frac{\ln\,(1+\alpha^2\,x^2)}{1+x^2}\;\mathrm{d}x \\
| |
| \int_0^1\;\frac{x-1}{\ln\,x}\;\mathrm{d}x &\to \int_0^1\;\frac{x^\alpha-1}{\ln\,x}\;\mathrm{d}x.
| |
| \end{align}</math>
| |
| | |
| The first integral is absolutely convergent for positive α but only conditionally convergent when α is 0. Therefore differentiation under the integral sign is easy to justify when α > 0, but proving that the resulting formula remains valid when α is 0 requires some careful work.
| |
| | |
| ===Applications to series===
| |
| Differentiating under the integral can also be applied to differentiating under summation,
| |
| interpreting summation as [[counting measure]]. An example of an application is the fact that power series are differentiable in their radius of convergence.
| |
| | |
| ==Popular culture==
| |
| Differentiation under the integral sign is mentioned in the late [[physicist]] [[Richard Feynman|Richard Feynman's]] best-selling memoir ''[[Surely You're Joking, Mr. Feynman!]]'' (in the chapter "A Different Box of Tools"), where he mentions learning it from an old text, ''Advanced Calculus'' (1926), by Frederick S. Woods (who was a professor of mathematics in the [[Massachusetts Institute of Technology]]) while in [[high school]]. The technique was not often taught when Feynman later received his formal education in [[calculus]] and, knowing it, Feynman was able to use the technique to solve some otherwise difficult integration problems upon his arrival at graduate school at [[Princeton University]]. The direct quotation from ''Surely You're Joking, Mr. Feynman!'' regarding the method of differentiation under the integral sign is as follows:
| |
| | |
| {{quote|One thing I never did learn was [[Methods of contour integration|contour integration]]. I had learned to do integrals by various methods shown in a book that my high school physics teacher Mr. Bader had given me. One day he told me to stay after class. "Feynman," he said, "you talk too much and you make too much noise. I know why. You're bored. So I'm going to give you a book. You go up there in the back, in the corner, and study this book, and when you know everything that's in this book, you can talk again." So every physics class, I paid no attention to what was going on with Pascal's Law, or whatever they were doing. I was up in the back with this book: ''Advanced Calculus'', by Woods. Bader knew I had studied ''Calculus for the Practical Man'' a little bit, so he gave me the real works—it was for a junior or senior course in college. It had [[Fourier series]], [[Bessel function]]s, [[determinant]]s, [[elliptic function]]s—all kinds of wonderful stuff that I didn't know anything about. That book also showed how to differentiate parameters under the integral sign—it's a certain operation. It turns out that's not taught very much in the universities; they don't emphasize it. But I caught on how to use that method, and I used that one damn tool again and again. So because I was self-taught using that book, I had peculiar methods of doing integrals. The result was, when guys at MIT or [[Princeton University|Princeton]] had trouble doing a certain integral, it was because they couldn't do it with the standard methods they had learned in school. If it was contour integration, they would have found it; if it was a simple series expansion, they would have found it. Then I come along and try differentiating under the integral sign, and often it worked. So I got a great reputation for doing integrals, only because my box of tools was different from everybody else's, and they had tried all their tools on it before giving the problem to me.}}
| |
| | |
| ==See also==
| |
| *[[Leibniz integral rule]]
| |
| *[[Differentiation of integrals]]
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| *"Advanced Calculus", Frederick S. Woods, ''Ginn and Company'', 1926.
| |
| *"Advanced Calculus", David V. Widder, ''Dover Publications Inc.'', New Ed edition (Jul 1990).
| |
| | |
| ==External links==
| |
| <!-- add entries here -->
| |
| | |
| {{DEFAULTSORT:Differentiation Under The Integral Sign}}
| |
| [[Category:Differential calculus]]
| |
| [[Category:Integral calculus]]
| |