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.
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$.
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)}$$
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$$
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 )$.
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})$.
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)$$
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 )$.
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!}$$
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}^*$.
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 ) }$.
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 }$.
Give, without proof, the power series expansion of the real exponential function and give its domain of validity.
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 }$.
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})}$.
[5.1.] Determine the domain of definition of $F$.
[5.2.] Determine the monotonicity of $F$.
[5.3.] Prove that for all non-negative real $x$, we have: $F ( x ) \geqslant \frac { 1 } { 2 }$.
[5.4.] Prove that $F$ is continuous on its domain of definition.
[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.
[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$.
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 ! }$.
[6.1.] Prove that the series of functions $\sum _ { n \in \mathbb { N } } g _ { n }$ converges pointwise on $]0,1]$ and give its sum.
[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 } }$.
[6.3.] Finally establish that we have: $$F ( x ) = \sum _ { n = 0 } ^ { + \infty } \frac { ( - 1 ) ^ { n } } { ( 1 + n x ) ^ { n + 1 } }$$
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}}$$
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$.
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 }$$
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$