Evaluate a Closed-Form Expression Using the Reduction Formula

The question asks the student to use an already-established recurrence relation to derive an explicit closed-form expression for I_n, g_j, or a related quantity in terms of factorials, pi, or other standard constants.

cmi-entrance 2019 QB3 10 marks View
Evaluate $\int_{0}^{\infty} \left(1 + x^{2}\right)^{-(m+1)} dx$, where $m$ is a natural number.
grandes-ecoles 2011 QI.D View
The Euler Gamma function is defined, for all real $x > 0$, by: $$\Gamma(x) = \int_{0}^{+\infty} e^{-t} t^{x-1} dt$$ Calculate $\Gamma(n)$ for all natural integers $n$, $n \geqslant 1$.
grandes-ecoles 2011 QIII.D View
We define for all real $x > 0$ the sequence $(J_{n}(x))_{n \geqslant 0}$ by: $$J_{n}(x) = \int_{0}^{1} (1-t)^{n} t^{x-1} dt$$ Deduce that, for all $x > 0$, $$J_{n}(x) = \frac{n!}{x(x+1) \cdots (x+n-1)(x+n)}$$
grandes-ecoles 2014 Q4 View
Application. For all $n \in \mathbb { N } ^ { * }$, we denote $\Gamma ( n ) = \int _ { 0 } ^ { + \infty } x ^ { n - 1 } e ^ { - x } d x$.
(a) Calculate $\Gamma ( n )$ for all $n \in \mathbb { N } ^ { * }$. One will use induction.
(b) Deduce the following asymptotic equivalent $$n ! \underset { n \rightarrow + \infty } { \sim } \sqrt { 2 \pi } n ^ { n + 1 / 2 } e ^ { - n }$$ Hint. First rewrite $\Gamma ( n + 1 )$ in the form $$\Gamma ( n + 1 ) = n ^ { n + 1 } \int _ { 0 } ^ { + \infty } e ^ { - n ( x - \ln x ) } d x$$
grandes-ecoles 2015 QII.B.4 View
For $( x , y )$ in $\left( \mathbb { R } ^ { + * } \right) ^ { 2 }$, we define $\beta ( x , y ) = \int _ { 0 } ^ { 1 } t ^ { x - 1 } ( 1 - t ) ^ { y - 1 } \mathrm {~d} t$.
Deduce that for $x > 0 , y > 0 , \beta ( x + 1 , y + 1 ) = \frac { x y } { ( x + y ) ( x + y + 1 ) } \beta ( x , y )$.
grandes-ecoles 2015 QII.C.8 View
For $( x , y )$ in $\left( \mathbb { R } ^ { + * } \right) ^ { 2 }$, we define $\beta ( x , y ) = \int _ { 0 } ^ { 1 } t ^ { x - 1 } ( 1 - t ) ^ { y - 1 } \mathrm {~d} t$. We want to show that for $x > 0$ and $y > 0$, $$\beta ( x , y ) = \frac { \Gamma ( x ) \Gamma ( y ) } { \Gamma ( x + y ) }$$ which will be denoted $(\mathcal{R})$. Throughout the rest of this question we assume $x > 1$ and $y > 1$. We denote $G ( a ) = \int _ { 0 } ^ { + \infty } \frac { u ^ { x - 1 } } { ( 1 + u ) ^ { x + y } } F _ { x , y } ( ( 1 + u ) a ) \mathrm { d } u$.
Deduce from the above the relation $(\mathcal{R})$.
grandes-ecoles 2015 QIII.C.1 View
Throughout the problem, we denote for every integer $n \geqslant 1$, $H _ { n } = \sum _ { k = 1 } ^ { n } \frac { 1 } { k }$. We define $\psi ( x ) = \frac { \Gamma ^ { \prime } ( x ) } { \Gamma ( x ) }$ on $\mathbb{R}^{+*}$, satisfying $\psi ( x + 1 ) - \psi ( x ) = \frac{1}{x}$ for all $x > 0$.
Show that for every real $x > - 1$ and for every integer $n \geqslant 1$ $$\psi ( 1 + x ) - \psi ( 1 ) = \psi ( n + x + 1 ) - \psi ( n + 1 ) + \sum _ { k = 1 } ^ { n } \left( \frac { 1 } { k } - \frac { 1 } { k + x } \right)$$
grandes-ecoles 2015 QIII.C.3 View
We define $\psi ( x ) = \frac { \Gamma ^ { \prime } ( x ) } { \Gamma ( x ) }$ on $\mathbb{R}^{+*}$, satisfying $\psi ( x + 1 ) - \psi ( x ) = \frac{1}{x}$ for all $x > 0$.
Deduce that, for every real $x > - 1$, $$\psi ( 1 + x ) = \psi ( 1 ) + \sum _ { n = 1 } ^ { + \infty } \left( \frac { 1 } { n } - \frac { 1 } { n + x } \right)$$
grandes-ecoles 2015 QIV.B.4 View
We denote $S _ { r } = \sum _ { n = 1 } ^ { + \infty } \frac { H _ { n } } { ( n + 1 ) ^ { r } }$ for $r \geqslant 2$, $\zeta ( x ) = \sum _ { n = 1 } ^ { + \infty } \frac { 1 } { n ^ { x } }$ for $x > 1$, and $B ( x ) = \int _ { 0 } ^ { 1 } ( \ln ( 1 - t ) ) ^ { 2 } t ^ { x - 1 } \mathrm {~d} t$. We have $S _ { r } = \frac { ( - 1 ) ^ { r } } { 2 ( r - 2 ) ! } \lim _ { x \rightarrow 0 ^ { + } } B ^ { ( r - 2 ) } ( x )$.
Find again the value of $S _ { 2 }$ already calculated in I.F.3.
grandes-ecoles 2015 Q5 View
We consider the function $F : ] 0 , + \infty [ \rightarrow \mathbb { R }$ defined by $F ( x ) = \int _ { 1 } ^ { + \infty } e ^ { - t / x } t ^ { - 1 } d t$.
For $N \in \mathbb { N } ^ { * }$ and $x > 0$, we set $$\begin{aligned} r _ { N } ( x ) & = ( - 1 ) ^ { N } N ! x ^ { N + 1 } e ^ { - 1 / x } \\ S _ { N } ( x ) & = \sum _ { k = 1 } ^ { N } ( - 1 ) ^ { k - 1 } ( k - 1 ) ! x ^ { k } e ^ { - 1 / x } \\ R _ { N } ( x ) & = ( - 1 ) ^ { N } N ! x ^ { N } \int _ { 1 } ^ { + \infty } e ^ { - t / x } t ^ { - ( N + 1 ) } d t \end{aligned}$$
Show that, for all $N \geqslant 1$ and all $x > 0 , F ( x ) = S _ { N } ( x ) + R _ { N } ( x )$.
grandes-ecoles 2016 QI.A.4 View
For $x \in \mathbb{R}^{+}$, we define $$f(x) = \int_{0}^{\infty} \frac{1 - \cos t}{t^{2}} \mathrm{e}^{-xt} \mathrm{~d}t$$ Show $$\left\{ \begin{array}{l} \forall x > 0, \quad f(x) = x \ln(x) - \frac{1}{2} x \ln\left(x^{2} + 1\right) - \arctan(x) + \frac{\pi}{2} \\ f(0) = \frac{\pi}{2} \end{array} \right.$$
grandes-ecoles 2018 Q9 View
We denote $M_{p} = \int_{-\infty}^{+\infty} x^{2p} \exp\left(-x^{2}\right) \mathrm{d}x$. For $p$ a natural integer, give a relation between $M_{p+1}$ and $M_{p}$ and deduce that, for all $p \in \mathbb{N}$, $$M_{p} = \frac{\sqrt{\pi}(2p)!}{2^{2p} p!}$$
grandes-ecoles 2018 QIV.1 View
For $n \in \mathbb{N}$, we set $$I_{n} = \int_{0}^{+\infty} x^{n} e^{-x}\, dx.$$ Determine by induction $I_{n}$ for all $n \in \mathbb{N}$.
grandes-ecoles 2021 Q8 View
We define, for all $x \in \mathbb{R}^{+*}$, $$\Gamma(x) = \int_0^{+\infty} t^{x-1} \mathrm{e}^{-t} \, \mathrm{d}t$$ Determine the value of $\Gamma(n)$, for $n \in \mathbb{N}^*$.
grandes-ecoles 2023 Q2 View
  1. Let $a$ and $b$ be two real numbers with $a > 0$. Choose without justification the correct expression for $a ^ { b }$: $(A) : \mathrm { e } ^ { b \ln ( a ) }$ $(B) : \mathrm { e } ^ { a \ln ( b ) }$ $(C) : \mathrm { e } ^ { \ln ( a ) \ln ( b ) }$.
  2. Let $x$ and $y$ be two real numbers such that $x < y$ and $t$ a real number in $]0,1[$. Compare $t ^ { x }$ and $t ^ { y }$.
  3. Give, without proof, the power series expansion of the real exponential function and give its domain of validity.
  4. We consider the function $\Gamma$ defined by $\Gamma ( x ) = \int _ { 0 } ^ { + \infty } t ^ { x - 1 } e ^ { - t } \mathrm {~d} t$. We admit that this function is defined on $]0 , + \infty[$ and that, for all strictly positive real $x$: $$\Gamma ( x + 1 ) = x \Gamma ( x )$$ Calculate $\Gamma ( 1 )$ and deduce, by using a proof by induction, the value of $\Gamma ( n + 1 )$ for $n \in \mathbb { N }$.
  5. For $x \in \mathbb { R }$, we denote, when it makes sense: $$F ( x ) = \int _ { 0 } ^ { 1 } t ^ { t ^ { x } } \mathrm { d } t$$ where, as is customary, $t ^ { t ^ { x } } = t^{(t^{x})}$.
    1. [5.1.] Determine the domain of definition of $F$.
    2. [5.2.] Determine the monotonicity of $F$.
    3. [5.3.] Prove that for all non-negative real $x$, we have: $F ( x ) \geqslant \frac { 1 } { 2 }$.
    4. [5.4.] Prove that $F$ is continuous on its domain of definition.
    5. [5.5.] Determine $\lim _ { x \rightarrow + \infty } F ( x )$ and $\lim _ { x \rightarrow - \infty } F ( x )$. The theorems used will be cited with precision and we will ensure that their hypotheses are well verified.
    6. [5.6.] Then carefully draw up the table of variations of $F$ and give a general sketch of its representative curve in an orthonormal coordinate system. We will admit that $F ^ { \prime } ( 0 ) = \frac { 1 } { 4 }$ and we will draw the tangent line at the point with abscissa $x = 0$.
  6. Let $x$ be a strictly positive real number. For every natural number $n$, we denote by $g _ { n }$ the function defined on $]0,1]$ by $g _ { n } ( t ) = \frac { t ^ { n x } \ln ^ { n } ( t ) } { n ! }$.
    1. [6.1.] Prove that the series of functions $\sum _ { n \in \mathbb { N } } g _ { n }$ converges pointwise on $]0,1]$ and give its sum.
    2. [6.2.] Prove that, for every natural number $n , \int _ { 0 } ^ { 1 } \left| g _ { n } ( t ) \right| \mathrm { d } t = \frac { 1 } { n ! } \frac { \Gamma ( n + 1 ) } { ( n x + 1 ) ^ { n + 1 } }$.
    3. [6.3.] Finally establish that we have: $$F ( x ) = \sum _ { n = 0 } ^ { + \infty } \frac { ( - 1 ) ^ { n } } { ( 1 + n x ) ^ { n + 1 } }$$
grandes-ecoles 2023 Q7 View
Throughout this problem, $I = ]-1, +\infty[$, and $f(x) = \int_0^{\pi/2} (\sin(t))^x \mathrm{~d}t$.
Show that for every natural number $n$, $$f(n)f(n+1) = \frac{\pi}{2(n+1)}$$ then that: $$f(x) \underset{x \to +\infty}{\sim} \sqrt{\frac{\pi}{2x}}$$
grandes-ecoles 2023 Q6 View
Using the recurrence relation $K _ { n } = K _ { n + 1 } + \frac { 1 } { 2 n } K _ { n }$ and the fact that $I_n \sim K_n$, deduce a simple equivalent of $I _ { n }$ as $n$ tends to $+ \infty$, where $I _ { n } = \int _ { 0 } ^ { 1 } \frac { 1 } { \left( 1 + t ^ { 2 } \right) ^ { n } } \mathrm {~d} t$.
grandes-ecoles 2024 Q18 View
Deduce that:
$$\int _ { 0 } ^ { + \infty } \frac { 1 - ( \cos ( t ) ) ^ { 2 p + 1 } } { t ^ { 2 } } \mathrm {~d} t = \frac { \pi } { 2 } \frac { ( 2 p + 1 ) ! } { 2 ^ { 2 p } \cdot ( p ! ) ^ { 2 } }$$
kyotsu-test 2014 QCourse2-IV-Q2 View
Given the function in $x$
$$f _ { n } ( x ) = \sin ^ { n } x \quad ( n = 1,2,3 , \cdots ) ,$$
answer the following questions.
(1) Consider the cases in which the equality
$$\lim _ { x \rightarrow 0 } \frac { a - x ^ { 2 } - \left( b - x ^ { 2 } \right) ^ { 2 } } { f _ { n } ( x ) } = c$$
holds for three real numbers $a , b$ and $c$.
(i) We have $a = b$.
(ii) When $n = 2$, if $c = 6$, then $b = \frac { \mathbf { P } } { \mathbf { Q } }$.
(iii) When $n = 4$, then $b = \frac { \mathbf { R } } { \mathbf { S } }$ and $c = - \mathbf { T }$.
(2) For this $f _ { n } ( x )$, consider the definite integral
$$I _ { n } = \int _ { 0 } ^ { \frac { \pi } { 2 } } f _ { n } ( x ) \sin 2 x \, d x \quad ( n = 1,2,3 , \cdots )$$
When the integral is calculated, we have
$$I _ { n } = \frac { \mathbf { U } } { n + \mathbf { V } } .$$
Hence we obtain
$$\lim _ { n \rightarrow \infty } \left( I _ { n - 1 } + I _ { n } + I _ { n + 1 } + \cdots + I _ { 2 n - 2 } \right) = \int _ { 0 } ^ { \mathbf { W } } \frac { \mathbf { X } } { \mathbf { Y } + x } \, dx = \log \mathbf { Z }$$
turkey-yks 2014 Q45 View
For every integer $m$ greater than 1
$$\int \tan ^ { m } x d x = \frac { 1 } { m - 1 } \tan ^ { m - 1 } x - \int \tan ^ { m - 2 } x d x$$
the equality is satisfied. Accordingly, what is the value of the integral $\int _ { 0 } ^ { \frac { \pi } { 4 } } \tan ^ { 4 } \mathrm { xdx }$?
A) $\frac { 2 \pi + 3 } { 4 }$
B) $\frac { 4 \pi - 3 } { 8 }$
C) $\frac { 3 \pi - 8 } { 12 }$
D) $\pi + 2$
E) $2 \pi + 1$