SEEMOUS 2020 (Προβλήματα)
Δημοσιεύτηκε: Πέμ Μαρ 05, 2020 6:54 pm
Καλησπέρα!
Πριν από λίγο ολοκληρώθηκε στη Θεσσαλονίκη ο διαγωνισμός SEEMOUS 2020. Παραθέτω τα θέματα του διαγωνισμού.
Θέμα 1 Θεωρούμε όλους τους πίνακες
τέτοιους ώστε να ισχύουν οι σχέσεις
και
. Να βρεθεί το μέγιστο δυνατό πλήθος τέτοιων πινάκων έτσι ώστε οποιοδήποτε δύο από αυτούς να μην είναι όμοιοι.
Θέμα 2 Έστω
πραγματικός αριθμός. Να υπολογιστούν τα παρακάτω όρια:
(a)
,
(b)![\lim_{n\to +\infty} n\left[L-\bigint_0^1 \left(\cfrac{k}{\sqrt[n]{x}+k-1}\right)^n \, dx\right] \lim_{n\to +\infty} n\left[L-\bigint_0^1 \left(\cfrac{k}{\sqrt[n]{x}+k-1}\right)^n \, dx\right]](/forum/ext/geomar/texintegr/latexrender/pictures/801c6f17bcbeaff975caf25be44e0bd6.png)
Θέμα 3 Έστω
θετικός ακέραιος,
και
με
και
.
Να βρείτε το
.
Θέμα 4 Θεωρούμε
και έστω
μια
περιοδική και παραγωγίσιμη συνάρτηση τέτοια, ώστε
για κάθε
η οποία ικανοποιεί τις σχέσεις

(a) Να αποδείξετε ότι για κάθε θετικό ακέραιο
, η εξίσωση
έχει μοναδική λύση στο διάστημα
, έστω
.
(b) 'Εστω
και 
Να αποδείξετε ότι
και να μελετήσετε ως προς τη σύγκλιση τις σειρές
και
.
Πριν από λίγο ολοκληρώθηκε στη Θεσσαλονίκη ο διαγωνισμός SEEMOUS 2020. Παραθέτω τα θέματα του διαγωνισμού.
Θέμα 1 Θεωρούμε όλους τους πίνακες
τέτοιους ώστε να ισχύουν οι σχέσεις
και
. Να βρεθεί το μέγιστο δυνατό πλήθος τέτοιων πινάκων έτσι ώστε οποιοδήποτε δύο από αυτούς να μην είναι όμοιοι.Θέμα 2 Έστω
πραγματικός αριθμός. Να υπολογιστούν τα παρακάτω όρια:(a)
,(b)
![\lim_{n\to +\infty} n\left[L-\bigint_0^1 \left(\cfrac{k}{\sqrt[n]{x}+k-1}\right)^n \, dx\right] \lim_{n\to +\infty} n\left[L-\bigint_0^1 \left(\cfrac{k}{\sqrt[n]{x}+k-1}\right)^n \, dx\right]](/forum/ext/geomar/texintegr/latexrender/pictures/801c6f17bcbeaff975caf25be44e0bd6.png)
Θέμα 3 Έστω
θετικός ακέραιος,
και
με
και
.Να βρείτε το
.Θέμα 4 Θεωρούμε
και έστω
μια
περιοδική και παραγωγίσιμη συνάρτηση τέτοια, ώστε
για κάθε
η οποία ικανοποιεί τις σχέσεις
(a) Να αποδείξετε ότι για κάθε θετικό ακέραιο
, η εξίσωση
έχει μοναδική λύση στο διάστημα
, έστω
.(b) 'Εστω
και 
Να αποδείξετε ότι
και να μελετήσετε ως προς τη σύγκλιση τις σειρές
και
.
είναι σε κανονική μορφή Jordan. Έστω
τα Jordan blocks του. Τότε 
αν
και
αν
.
είναι επίσης σε κανονική μορφή Jordan και επιπλέον, επειδή
, τότε
αν
πρέπει
αν
αν
για κάθε
και επιπλέον
για κάθε
στοιχεία της κυρίας διαγωνίου ίσα με
και τα υπόλοιπα ίσα με
. Τότε όμως είναι
. Δηλαδή
και
.
, τότε
, άρα ο
και
. Τότε
, οπότε το ελάχιστο πολυώνυμο του
.
. Τότε
από τις ιδιοτιμές του
και οι άλλες
είναι ίσες με
. Αλλά
, οπότε
είναι πολλαπλάσιο του
. Από εδώ παίρνουμε
.
είναι απλές ρίζες του χαρακτηριστικού πολυωνύμου, κάθε Jordan block στην κανονική μορφή Jordan του
. Άρα η κανονική μορφή Jordan του
.
ανόμοιους πίνακες.
για να πάρουμε
.
που παρατηρούμε ότι είναι γνησίως αύξουσα ως προς
στο
και επί του 
είναι φραγμένο μακρυά από το
για κάθε
. Άρα έχουμε
.

ώστε
για κάθε
στο
, με
.
στο
, άρα και σε κάθε διάστημα της μορφής
λόγω περιοδικότητας, επομένως η
είναι γνησίως αύξουσα σε κάθε τέτοιο διάστημα.
παίρνει τιμές στο
για κάποιο
, η οποία έχει (από Bolzano - Weierstrass) υπακολουθία
που συγκλίνει σε κάποιο
.
κοντά στο
έχουμε:
, αφού
, το οποίο είναι άτοπο. Άρα η
, το οποίο πάει στο
, όπως εύκολα μπορούμε να δούμε χρησιμοποιώντας τον κανόνα D'el Hopital και την τελευταία συνθήκη. Άρα για
έχουμε ότι το
για μεγάλα
έχουμε
.
για μεγάλα
με
και από D'el Hopital είναι:
.


για να πάρουμε
που θα δώσει
. (Όλες οι πράξεις για
οπότε επιτρέπεται το
.)
και επίσης
![I_n= \bigint_0^1 \left(\cfrac{k}{\sqrt[n]{x}+k-1}\right)^n \, dx I_n= \bigint_0^1 \left(\cfrac{k}{\sqrt[n]{x}+k-1}\right)^n \, dx](/forum/ext/geomar/texintegr/latexrender/pictures/b5878f4743fda8d9e88dfd42af0efec9.png)
είναι γνήσιως φθίνουσα.
;
εντάσσεται στο γενικότερο όριο
όπου
.
.
και
για κατάλληλο
.
και στο δεύτερο τη συνέχεια της
.![a_{n}(x)=n(\sqrt[n]{x}-1)\rightarrow \log x,x> 0 a_{n}(x)=n(\sqrt[n]{x}-1)\rightarrow \log x,x> 0](/forum/ext/geomar/texintegr/latexrender/pictures/76b491d034e2d7ee94d9442408c609c4.png)
εύκολα δείχνουμε ότι η σύγκλιση είναι ομοιόμορφη.![\displaystyle f_{n}(x)=(\frac{k}{k+\sqrt[n]{x}-1})^{n}=(1+\frac{a_{n}(x)}{nk})^{-n} \displaystyle f_{n}(x)=(\frac{k}{k+\sqrt[n]{x}-1})^{n}=(1+\frac{a_{n}(x)}{nk})^{-n}](/forum/ext/geomar/texintegr/latexrender/pictures/81a57d26456c52072f54864a3c92af1e.png)

(1)![x\in (\epsilon ,1],n\geq n_{0}(\epsilon) x\in (\epsilon ,1],n\geq n_{0}(\epsilon)](/forum/ext/geomar/texintegr/latexrender/pictures/919555c3858ccd3530ec6b7e6a8680b4.png)

![x\in (0 ,1],n\geq n_{x} x\in (0 ,1],n\geq n_{x}](/forum/ext/geomar/texintegr/latexrender/pictures/411588a0403befd2de8680078a48456b.png)


είναι αύξουσα.




και ![I=\int_{0}^{1}\(\frac{k}{\sqrt[n]{x}+k-1})^{n}dx I=\int_{0}^{1}\(\frac{k}{\sqrt[n]{x}+k-1})^{n}dx](/forum/ext/geomar/texintegr/latexrender/pictures/0840fa677d0e4a5d69d3b4813ae892cf.png)
ή 

ή
άρα
(1)
/





![J=\left [ \frac{u^{n}}{n(1-u)} \right ]_{0}^{\frac{1}{k}}-\int_{0}^{\frac{1}{k}}\frac{u^{n}}{n}(\frac{1}{1-u}){}'du J=\left [ \frac{u^{n}}{n(1-u)} \right ]_{0}^{\frac{1}{k}}-\int_{0}^{\frac{1}{k}}\frac{u^{n}}{n}(\frac{1}{1-u}){}'du](/forum/ext/geomar/texintegr/latexrender/pictures/a9ee963bb352290cc1ff4364815b6ee6.png)
![J=[\frac{k}{k-1} -k^{n}\int_{0}^{\frac{1}{k}}\frac{u^{n}}{(1-u)^{2}}du]\frac{1}{nk^{n}} J=[\frac{k}{k-1} -k^{n}\int_{0}^{\frac{1}{k}}\frac{u^{n}}{(1-u)^{2}}du]\frac{1}{nk^{n}}](/forum/ext/geomar/texintegr/latexrender/pictures/905dc482cb1bbe5530499594bcb826e8.png)

,![u\in [0,\frac{1}{k}] u\in [0,\frac{1}{k}]](/forum/ext/geomar/texintegr/latexrender/pictures/f95ca4f86251f22dbc903f7a8ae49535.png)
![[0,\frac{1}{k}] [0,\frac{1}{k}]](/forum/ext/geomar/texintegr/latexrender/pictures/c66851f7fb1dc3747f2c5810d91060af.png)


ισχύει ότι:
οποτε:
(2)
και
(3)


![\lim_{n \to +\infty }[k^{n}\int_{0}^{\frac{1}{k}}\frac{u^{n}}{(1-u)^{2}}du]=0 \lim_{n \to +\infty }[k^{n}\int_{0}^{\frac{1}{k}}\frac{u^{n}}{(1-u)^{2}}du]=0](/forum/ext/geomar/texintegr/latexrender/pictures/33616fec222bcd402f66504d4048825a.png)
