: Άσκηση 110
Να αποδειχθεί ότι
<Συχνά τον βλέπουμε στην ισοδύναμη μορφή

O τύπος είναι πολύ γνωστός σε αυτούς που ασχολούνται με Διαφορικές Εξισώσεις, αλλά συχνά σε μορφή που τον κάνει αγνώριστο. Συγκεκριμένα παίρνει την μορφή "αυτοσυζυγούς τελεστή" (ότι και αν σημαίνει αυτό) όπως για παράδειγμα εδώ (λίγο πριν την μέση, στο σημείο που γράφει

Για την απόδειξη μπορούμε βέβαια να κάνουμε δύο φορές ολοκλήρωση κατά παράγοντες. Ένας συντομέτερος τρόπος, που εξηγεί και τον τύπο, είναι να παραγωγίσουμε το δεξί μέλος της
. Εδώ
, που είναι η συνάρτηση μέσα στο ολοκλήρωμα.



το ολοκλήρωμα. Η συνάρτηση
είναι παραγωγίσιμη στο
,
έχουμε 
![\begin{aligned} I&=\int_{0}^{1}(f(x)+f^{-1}(x))dx\\&=\int_{0}^{1}f(x)dx+\int_{0}^{1}f^{-1}(x)dx\\&=\int_{0}^{1}f(x)dx+\int_{0}^{1}x\,f^{\prime}(x)dx\\&=\int_{0}^{1}(f(x)+x\,f^{\prime}(x))dx=\left[x\,f(x)]_{0}^{1}=1\end{aligned} \begin{aligned} I&=\int_{0}^{1}(f(x)+f^{-1}(x))dx\\&=\int_{0}^{1}f(x)dx+\int_{0}^{1}f^{-1}(x)dx\\&=\int_{0}^{1}f(x)dx+\int_{0}^{1}x\,f^{\prime}(x)dx\\&=\int_{0}^{1}(f(x)+x\,f^{\prime}(x))dx=\left[x\,f(x)]_{0}^{1}=1\end{aligned}](/forum/ext/geomar/texintegr/latexrender/pictures/9c21a1ebd8aec27f6160f3250ec54153.png)
o οποίος εξηγεί καλύτερα το "τι τρέχει". Συγκεκριμένα, αν
αντιστρέψιμη συνάρτηση, όπως εδώ η
, τότε το μεν
είναι το εμβαδόν
στο σχήμα, το δε
είναι το εμβαδόν
(αιτιολογείστε).
που βέβαια είναι το εμβαδόν του
που τα περικλείει. Άρα το ζητούμενο άθροισμα είναι
, χωρίς να χρειαστεί να κάνουμε καμία πράξη. Κάποια στιγμή θα αναρτήσω και άλλη άσκηση στην ίδια ιδέα. Προσθέτω ότι και σε κάποιον ΑΣΕΠ υπήρχε θέμα που απαιτούσε την ίδια αυτή ιδέα.

![\displaystyle{\int _1^e \sqrt {\ln x} \, dx=\int _0^1 t (2te^{t^2}) \, dt=[te^{t^2}]_0^1-\int _0^1 e^{t^2} \, dt=e-\int _0^1 e^{x^2} \, dx} \displaystyle{\int _1^e \sqrt {\ln x} \, dx=\int _0^1 t (2te^{t^2}) \, dt=[te^{t^2}]_0^1-\int _0^1 e^{t^2} \, dt=e-\int _0^1 e^{x^2} \, dx}](/forum/ext/geomar/texintegr/latexrender/pictures/78d75d33058bea552a253856b31ae0ca.png)
στο
ειναι ακριβώς η
στο
.![\displaystyle{\int_{0}^{1} \frac{\mathrm{d}x}{1+x+e^{x^3}} + \int_{1}^{e} \frac{\mathrm{d}x}{1+x+\sqrt[3]{\ln x}} = \ln \left ( 1 + \frac{e}{2} \right )} \displaystyle{\int_{0}^{1} \frac{\mathrm{d}x}{1+x+e^{x^3}} + \int_{1}^{e} \frac{\mathrm{d}x}{1+x+\sqrt[3]{\ln x}} = \ln \left ( 1 + \frac{e}{2} \right )}](/forum/ext/geomar/texintegr/latexrender/pictures/fcb2f375f53145de333e05e740a29e8b.png)

, ισοδύναμα
, το μετατρέπει σε
(και αλλάζω τώρα το όνομα της μεταβλητής σε
)
![=\left [\ln \left (1+x+e^{x^3}\right )\right ]_0^1= \ln (2+e) - \ln 2= \ln \left ( 1 + \frac{e}{2} \right ) =\left [\ln \left (1+x+e^{x^3}\right )\right ]_0^1= \ln (2+e) - \ln 2= \ln \left ( 1 + \frac{e}{2} \right )](/forum/ext/geomar/texintegr/latexrender/pictures/14c407df408596db6db1ca776b1e839b.png)

![f:[a,\, b] \longrightarrow \mathbb R f:[a,\, b] \longrightarrow \mathbb R](/forum/ext/geomar/texintegr/latexrender/pictures/b415b20b2df3bdaeed945d312d290f5c.png)
.
είναι πολυωνυμική συνάρτηση η οποία παρουσιάζει τοπικά ακρότατα στα σημεία
,
. Να δειχθεί ότι
έχουμε 
![\displaystyle{2I = \int_{1/\sqrt{3}}^{\sqrt{3}} \frac{1+x^3}{\left ( x^3+1 \right ) \left ( x^2+1 \right )}\,dx= \int_{1/\sqrt{3}}^{\sqrt{3}} \frac{1}{ x^2+1 }\,dx = \left [ \arctan x \right ]_{1/\sqrt{3}}^{\sqrt{3}} = \dfrac {\pi}{3} - \dfrac {\pi }{6}} } \displaystyle{2I = \int_{1/\sqrt{3}}^{\sqrt{3}} \frac{1+x^3}{\left ( x^3+1 \right ) \left ( x^2+1 \right )}\,dx= \int_{1/\sqrt{3}}^{\sqrt{3}} \frac{1}{ x^2+1 }\,dx = \left [ \arctan x \right ]_{1/\sqrt{3}}^{\sqrt{3}} = \dfrac {\pi}{3} - \dfrac {\pi }{6}} }](/forum/ext/geomar/texintegr/latexrender/pictures/df5daf24e9fe5af8d2ec5873c0004b79.png)

.
, έχουμε
![\displaystyle{= \int _0^1 e^{-y} (f''(y)-f(y) ) \,dy = \left [ e^{-y} f'(y)+ e^{-y} f(y)\right ]_0^1 = } \displaystyle{= \int _0^1 e^{-y} (f''(y)-f(y) ) \,dy = \left [ e^{-y} f'(y)+ e^{-y} f(y)\right ]_0^1 = }](/forum/ext/geomar/texintegr/latexrender/pictures/26e3cb9067776507e95c55dfe4ca97ea.png)
, από όπου η ζητούμενη ισότητα.
. Αυτό που είχα στο μυαλό μου ήταν το πιο κλασσικό:![\displaystyle{\begin{aligned}
\int_{1}^{e} \frac{f''(\ln x)}{x^2} \, \mathrm{d}x &= \int_{1}^{e} \frac{f''(\ln x) \cdot \frac{1}{x}}{x}\, \mathrm{d}x \\
&= \int_{1}^{e} \frac{f''(\ln x) \left ( \ln x \right )'}{x} \, \mathrm{d}x \\
&= \int_{1}^{e} \frac{\left ( f'(\ln x) \right )'}{x}\, \mathrm{d}x \\
&= \left [ \frac{f'(\ln x)}{x} \right ]_1^e + \int_{1}^{e} \frac{f'(\ln x)}{x^2}\, \mathrm{d}x \\
&= \int_{1}^{e} \frac{\left ( f (\ln x) \right )'}{x} \, \mathrm{d}x \\
&= \left [ \frac{f(\ln x)}{x} \right ]_1^e + \int_{1}^{e} \frac{f(\ln x)}{x^2}\, \mathrm{d}x \\
&= \int_{1}^{e} \frac{f(\ln x)}{x^2}\, \mathrm{d}x
\end{aligned}} \displaystyle{\begin{aligned}
\int_{1}^{e} \frac{f''(\ln x)}{x^2} \, \mathrm{d}x &= \int_{1}^{e} \frac{f''(\ln x) \cdot \frac{1}{x}}{x}\, \mathrm{d}x \\
&= \int_{1}^{e} \frac{f''(\ln x) \left ( \ln x \right )'}{x} \, \mathrm{d}x \\
&= \int_{1}^{e} \frac{\left ( f'(\ln x) \right )'}{x}\, \mathrm{d}x \\
&= \left [ \frac{f'(\ln x)}{x} \right ]_1^e + \int_{1}^{e} \frac{f'(\ln x)}{x^2}\, \mathrm{d}x \\
&= \int_{1}^{e} \frac{\left ( f (\ln x) \right )'}{x} \, \mathrm{d}x \\
&= \left [ \frac{f(\ln x)}{x} \right ]_1^e + \int_{1}^{e} \frac{f(\ln x)}{x^2}\, \mathrm{d}x \\
&= \int_{1}^{e} \frac{f(\ln x)}{x^2}\, \mathrm{d}x
\end{aligned}}](/forum/ext/geomar/texintegr/latexrender/pictures/e2c7fdce42e551b12736a4a1e7020811.png)
.
στο
. Παίρνοντας λογάριθμο έχουμε
. Άρα
, δηλαδή
, που είναι η δεύτερη συνάρτηση μέσα στο ολοκλήρωμα. Επίσης το σύνολο τιμών της
(το ίδιο με το πεδίο ορισμού). Συνεπώς από τον τύπο
.