1. α) Να δώσετε τον ορισμό του αθροίσματος Riemann ορίζοντας αναλυτικά το κάθε τι, και με την βοήθειά του να δώσετε τον ορισμο της κατά Riemann ολοκληρώσιμης συνάρτησης.
β) Να αποδείξετε ότι αν μια συνάρτηση είναι ολοκληρώσιμη, σύμφωνα με τον ορισμό πού δώσατε στο α) , τότε αυτή είναι φραγμένη.
γ) Έστω
μιά ολοκληρώσιμη συνάρτηση, σύμφωνα με τον ορισμό πού δώσατε στο α) και
μιά τυχούσα διαμέριση του
. Να αποδείξετε ότι, για κάθε
, υπάρχει σύνολο ενδιαμέσων τιμών
της
τέτοιο ώστε να ισχύει
, όπου
είναι το άνω άθροισμα της ως προς
την
.δ) Να εξετάσετε αν συγκλίνει το γενικευμένο ολοκλήρωμα
, και αν υπάρχει η πρωτεύουσα τιμή Cauchy.2. α) Έστω
μιά παραγωγίσιμη συνάρτηση, τέτοια ώστε, για κάθε
, να ισχύει
, για κάποιον
. Να αποδείξετε ότι η
ικανοποιεί την συνθήκη του Riemann.β) Έστωσαν
και η συνάρτηση
,
. Θεωρώντας την διαμέριση
, να υπολογίσετε το
και το
, όπου
είναι το κάτω άθροισμα της ως προς
την
και
είναι το κάτω ολοκλήρωμα της
.γ) Να εξετάσετε αν συγκλίνει το γενικευμένο ολοκλήρωμα
.3. α) Μιά συνάρτηση
θα λέγεται αντιπεριοδική με αντιπερίοδο
, αν, για κάθε
, ισχύει
. Να αποδείξετε ότι, αν η συνάρτηση
είναι αντιπεριοδική με αντιπερίοδο
, τότε και η συνάρτηση
με
, είναι, επίσης, αντιπεριοδική με αντιπερίοδο
.β) Να βρεθούν οι τιμές
και
αν:
,όπου
και
είναι συνεχείς συναρτήσεις.γ) Η ευθεία που διέρχεται από τα σημεία
και
, χωρίζει σε δύο μέρη τον κύκλο με κέντρο
και ακτίνα
. Να εκφράσετε το εμβαδόν του μικρότερου μέρους με την βοήθεια ολοκληρωμάτων. Στην συνέχεια να υπολογίσετε ένα από τα άρρητα ολοκληρώματα. (Να κάνετε σχήμα)4. α) Να υπολογίσετε τα ολοκληρώματα:
.β) Αν
είναι συνεχείς συναρτήσεις με
και
, τότε να αποδείξετε ότι υπάρχει
, τέτοιο ώστε
.γ) Να βρείτε την καμπύλη η οποία διέρχεται από το σημείο
και της οποίας το μήκος τόξου μπορεί να υπολογισθεί από το ολοκλήρωμα
. Να υπολογίσετε αυτό το μήκος.________________________________________
και για την αντιγραφή


, προκύπτει ότι υπάρχει
, τέτοιο ώστε
.
.
είναι διαμέριση του
, τότε σε κάθε διάστημα
, η
στό
, τέτοια ώστε:![\begin{array}{l}
m_{i}=\mathop{\inf}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=\mathop{\min}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=f({\rho_{i}})\\\noalign{\vspace{0.2cm}}
M_{i}=\mathop{\sup}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=\mathop{\max}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=f({\sigma_{i}})\,.\end{array} \begin{array}{l}
m_{i}=\mathop{\inf}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=\mathop{\min}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=f({\rho_{i}})\\\noalign{\vspace{0.2cm}}
M_{i}=\mathop{\sup}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=\mathop{\max}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=f({\sigma_{i}})\,.\end{array}](/forum/ext/geomar/texintegr/latexrender/pictures/7eb8f8455eb5a6f643eda2ef1fc8d1b1.png)


.
, τέτοια ώστε να ισχύει:
.



![-\displaystyle\int_{0}^{x+2T}{f({s})\,ds}+\int_{0}^{T}{f({s})\,ds}-\frac{1}{2}\,\int_{0}^{T}{f({t})\,dt}=-\biggl[{\int_{0}^{x+2T}{f({s})\,ds}-\frac{1}{2}\,\int_{0}^{T}{f({t})\,dt}}\biggr]= -\displaystyle\int_{0}^{x+2T}{f({s})\,ds}+\int_{0}^{T}{f({s})\,ds}-\frac{1}{2}\,\int_{0}^{T}{f({t})\,dt}=-\biggl[{\int_{0}^{x+2T}{f({s})\,ds}-\frac{1}{2}\,\int_{0}^{T}{f({t})\,dt}}\biggr]=](/forum/ext/geomar/texintegr/latexrender/pictures/25e22b8d460590932ae006269e34b2b9.png)

το
με
προκύπτει
, 




![\biggl[{\dfrac{t^3}{3}}\biggr]_{0}^{g(9)}=9\,\cos({9\pi})\quad\Rightarrow\quad\dfrac{g^3({9})}{3}=9\,({-1})\quad\Rightarrow\quad{g}^3({9})=({-3})^{3}\quad\Rightarrow \biggl[{\dfrac{t^3}{3}}\biggr]_{0}^{g(9)}=9\,\cos({9\pi})\quad\Rightarrow\quad\dfrac{g^3({9})}{3}=9\,({-1})\quad\Rightarrow\quad{g}^3({9})=({-3})^{3}\quad\Rightarrow](/forum/ext/geomar/texintegr/latexrender/pictures/7764a33dc0e28f2148127fb7fba898ac.png)

με κέντρο
, ενώ η ευθεία
που διέρχεται από τα σημεία
. Επίσης το έτερο σημείο τομής τού κύκλου
.
το μικρότερο από τα δύο μέρη στα οποία χωρίζει η ευθεία
το χωρίο που περικλείεται από το τόξο
και τον άξονα
και
, τότε
.
![\displaystyle\Bigl[{-x^2+x-\frac{1}{4}\,({-2y+2})\,\sqrt{1-x^2+2x}-\arcsin\bigl({\tfrac{\sqrt{2}}{2}\,({x-1})}\bigr)}\Bigr]_{0}^{\frac{6}{5}}= \displaystyle\Bigl[{-x^2+x-\frac{1}{4}\,({-2y+2})\,\sqrt{1-x^2+2x}-\arcsin\bigl({\tfrac{\sqrt{2}}{2}\,({x-1})}\bigr)}\Bigr]_{0}^{\frac{6}{5}}=](/forum/ext/geomar/texintegr/latexrender/pictures/43fcd1f5b05c7c4f3b7d975aa252bd9d.png)
. 



.
,
.
, προκύπτουν
,
,
και 

όταν 


![\displaystyle{ii)\int_{-2}^{2}{\left(|x|+|1-x^{2}|\right)dx}=\left[ \frac{x|x|}{2}\right]^{2}_{-2}+2\left[ \frac{x^{3}}{3}-x\right]^{2}_{1}+2\left[ x-\frac{x^{3}}{3}\right]^{1}_{0}=8} \displaystyle{ii)\int_{-2}^{2}{\left(|x|+|1-x^{2}|\right)dx}=\left[ \frac{x|x|}{2}\right]^{2}_{-2}+2\left[ \frac{x^{3}}{3}-x\right]^{2}_{1}+2\left[ x-\frac{x^{3}}{3}\right]^{1}_{0}=8}](/forum/ext/geomar/texintegr/latexrender/pictures/548c1114e852af92a996febb3626d5ff.png)
για κάθε
, τότε
άτοπο από υπόθεση.
ώστε
κι άρα από Θεώρημα Bolzano υπάρχει
ώστε
.
. Έπειτα εφαρμόζουμε Bolzano για την
στο
.

.
. 

η καμπύλη πού διέρχεται από το
.
και
.
.


![\displaystyle\frac{1}{8}\,\Bigl[{\ln({u+1})}\Bigr]_{\frac{\sqrt{5}}{2}}^{\frac{\sqrt{17}}{4}}+\frac{1}{8}\,\Bigl[{\frac{1}{u+1}}\Bigr]_{\frac{\sqrt{5}}{2}}^{\frac{\sqrt{17}}{4}}-\frac{1}{8}\,\Bigl[{\ln({u-1})}\Bigr]_{\frac{\sqrt{5}}{2}}^{\frac{\sqrt{17}}{4}}+\frac{1}{8}\,\Bigl[{\frac{1}{u-1}}\Bigr]_{\frac{\sqrt{5}}{2}}^{\frac{\sqrt{17}}{4}}= \displaystyle\frac{1}{8}\,\Bigl[{\ln({u+1})}\Bigr]_{\frac{\sqrt{5}}{2}}^{\frac{\sqrt{17}}{4}}+\frac{1}{8}\,\Bigl[{\frac{1}{u+1}}\Bigr]_{\frac{\sqrt{5}}{2}}^{\frac{\sqrt{17}}{4}}-\frac{1}{8}\,\Bigl[{\ln({u-1})}\Bigr]_{\frac{\sqrt{5}}{2}}^{\frac{\sqrt{17}}{4}}+\frac{1}{8}\,\Bigl[{\frac{1}{u-1}}\Bigr]_{\frac{\sqrt{5}}{2}}^{\frac{\sqrt{17}}{4}}=](/forum/ext/geomar/texintegr/latexrender/pictures/d3cf57aa83c2339977b549e4b19fdb87.png)



![\displaystyle\mathop{\lim}\limits_{\alpha\rightarrow{+\infty}}\int_{0}^{\alpha}{x\,\cos{x}\,dx}=\mathop{\lim}\limits_{\alpha\rightarrow{+\infty}}\biggl({\bigl[{x\,\sin{x}}\bigr]_{0}^{\alpha}-\int_{0}^{\alpha}{\sin{x}\,dx}}\biggr)= \displaystyle\mathop{\lim}\limits_{\alpha\rightarrow{+\infty}}\int_{0}^{\alpha}{x\,\cos{x}\,dx}=\mathop{\lim}\limits_{\alpha\rightarrow{+\infty}}\biggl({\bigl[{x\,\sin{x}}\bigr]_{0}^{\alpha}-\int_{0}^{\alpha}{\sin{x}\,dx}}\biggr)=](/forum/ext/geomar/texintegr/latexrender/pictures/1cf8e0ebbee227727dbbe657d47f2fa8.png)
δεν υπάρχει αφού για τις ακολουθίες
,
και
, 
και
.
δεν συγκλίνει και το 


, υπάρχει η πρωτεύουσα τιμή Cauchy του ολοκληρώματος και ισούται με 