Forum matematyczne: miliony postów, setki tysięcy tematów, dziesiątki tysięcy użytkowników - pomożemy rozwiązać każde zadanie z matematyki https://matematyka.pl/
\(\displaystyle{ \int_0^\frac{\pi}{2} \frac{\{\tg x\}}{\tg x}\dd x=\frac \pi 2- \int_{0}^{\frac \pi 2} \frac{\lfloor \tg x\rfloor}{\tg x}\,\dd x= \frac{\pi}{2}- \sum_{n=0}^{ \infty }n \int_{\arctan n}^{\arctan(n+1)} \frac{\,\dd x}{\tg x}=\\=\frac \pi 2- \sum_{n=0}^{ \infty }n\left( \log \sin \arctan(n+1)-\log \sin \arctan n\right)}\)
Niech teraz \(\displaystyle{ S_N= \sum_{n=1}^{N}n\left( \log \sin \arctan(n+1)-\log \sin \arctan n\right).}\)
Nietrudno wykazać, że \(\displaystyle{ S_N=N\log \sin \arctan(N+1)- \sum_{n=1}^{N}\log \sin \arctan n.}\)
Odnotujmy teraz, że \(\displaystyle{ \log \sin \arctan n= \frac{1}{2}\log \sin^2 \arctan n=\frac 1 2\log\left( 1-\cos^2\arctan n\right)}\)
i ponieważ \(\displaystyle{ \cos^2z = \frac{1}{1+\tg^2 z}}\), więc ostatecznie \(\displaystyle{ \log \sin \arctan n= \frac{1}{2}\log \frac{n^2}{n^2+1}.}\)
Stąd oczywiście nietrudno wywnioskować, iż \(\displaystyle{ \lim_{N \to \infty }N\log \sin \arctan(N+1)=0}\) (Taylor albo znane nierówności z logarytmem naturalnym).
Lemat: \(\displaystyle{ \lim_{N \to \infty } \prod_{n=1}^{N} \frac{n^2}{n^2+1}= \frac{ \pi}{\sinh \pi}}\)
Dowód lematu: viewtopic.php?t=410944
ja bym tego nie wymyślił (nigdy nie będę matematykiem), ale chociaż zapamiętałem, gdzie to można znaleźć.
A zatem \(\displaystyle{ \int_0^\frac{\pi}{2} \frac{\{\tg x\}}{\tg x}\dd x= \frac{\pi}{2}- \lim_{N\to \infty }S_N=\frac \pi 2- \lim_{N \to \infty}\left( \frac{N}{2}\log \frac{N^2}{N^2+1}-\frac 1 2\log\left( \prod_{n=1}^{N} \frac{n^2}{n^2+1}\right)\right)=\\= \frac{\pi}{2}+\frac 1 2\log \left( \frac{ \pi}{\sinh \pi}\right)}\)
z ciągłości logarytmu naturalnego.
Dobrze by było, gdyby ktoś to skontrolował, w szczególności miałem wątpliwości przy rozbiciu na przeliczalną sumę całek, ale chyba są jakieś twierdzonka, na przykład Lebesgue'a, które uzasadniają poprawność tego kroku.
PS Czy gdybym wstawił sobie fragment utworu Hemp Gru (zaczynający się od słowa "śmierć") do podpisu, to otrzymałbym trzecie ostrzeżenie?
-- 16 mar 2017, o 04:31 --
A co do tamtej poprzedniej całki to bez kitu, mógłbym gapić się na to przez pół roku i nie wpaść na takie przekształcenie. Jak sam na to wpadłeś, to naprawdę szacunek (ludzi ulicy).
W sumie nie powinienem tego dawać, bo nie mam żadnego rozwiązania bez policzenia całki nieoznaczonej, która jest brzydka. Wynik to \(\displaystyle{ \frac{\pi(a-b)^2}{4(a+b)}}\).
Hint 4.:
Ogólniej: dla dodatnich liczb rzeczywistych takich, że \(\displaystyle{ d=a+b+2c}\),
Nie wiem czy ten przykład jest godny smakoszy, ale spróbuję. \(\displaystyle{ \int \frac{x^2}{(x \sin x + \cos x)^2}dx}\)
Całki dla smakoszy
: 11 lut 2018, o 02:07
autor: Premislav
O, nie widziałem tej wypowiedzi.
Może to jest całka z jakiejś pochodnej ilorazu? [zaznaczam, że poniższy pomysł w nieco innej formie zaproponował kilka lat temu yorgin, nie jest on mojego autorstwa, jak zresztą nic od czasu budowli z klocków Lego w 2002 czy 2003 roku).
Idealnie byłoby, gdybyśmy znaleźli takie funkcje różniczkowalne \(\displaystyle{ f(x), g(x)}\), że \(\displaystyle{ \frac{x^2}{(x\sin x+\cos x)^2}=\left( \frac{f(x)}{g(x)} \right)'}\)
Niech \(\displaystyle{ g(x)=x\sin x+\cos x}\), wtedy mamy do rozwiązania takie oto równanie: \(\displaystyle{ f'(x)(x\sin x+\cos x)-f(x)\cdot x\cos x=x^2}\)
A może by tak zgadnąć postać konkretnego rozwiązania \(\displaystyle{ f}\)? Albowiem uzmiennianie stałej zaprowadziłoby nas do takiej całki jak właśnie ta z zadania. Te sinusy i cosinusy, które mają zniknąć, przywołują myśl o jedynce trygonometrycznej. Ponadto zaobserwowaliśmy, że to się tak ładnie zwija: \(\displaystyle{ (x\sin x+\cos x)'=x\cos x}\), więc analogicznie \(\displaystyle{ \left( \sin x-x\cos x\right)'=x\sin x}\). Niech \(\displaystyle{ f(x)=\sin x-x\cos x}\), wówczas to, co trzeba się elegancko skraca.
Czyli podsumowując \(\displaystyle{ \int \frac{x^2}{(x sinx + cosx)^2}dx= \frac{\sin x-x\cos x}{x\sin x+\cos x}+C}\)
BTW dec1, masz jakiś fajny sposób na tę Twoją ostatnią całkę? Walczyłem kiedyś z tym ustrojstwem przez tydzień ferii (no nie cały czas, ale po jakieś dwie-trzy godziny dziennie). Pewnie jakaś dziwna funkcja specjalna, o której słyszało pięciu ludzi.
Całki dla smakoszy
: 11 lut 2018, o 11:46
autor: Mariusz M
Całkowanie przez części pozwoli jedynie pozbyć się arcusa tangensa
Jak to nie zadziała to można próbować całką podwójną, różniczkowaniem pod znakiem całki
(do tych dwóch pomysłów trzeba dobrać odpowiednią funkcję)
Jeśli to nie zadziała to może analiza zespolona zadziała
albo rozwinięcie w szereg
Premislav, czego próbowałeś ?
Będziemy wiedzieli czego nie próbować
Całki dla smakoszy
: 11 lut 2018, o 15:31
autor: Premislav
Już słabo pamiętam. Próbowałem całkować przez części na różne sposoby, żeby chociaż zabić ten arcus tangens. Później usiłowałem rozwijać lokalnie w szereg, ale wyglądało to na klęskę, gdyż nawet nie był on jednostajnie zbieżny (albo ja się pomyliłem). Potem sobie pomyślałem, że hej, przecież \(\displaystyle{ \frac{\,\dd }{\,\dd x} \left( \ln \sin x\right) =\ctg x=\frac{1}{\tg x}}\) dla odpowiednich \(\displaystyle{ x}\), a na zewnątrz mamy jakiś arcus tangens i szukałem jakichś twierdzeń powiązanych ze złożeniami funkcji, całkami z funkcji odwrotnych itd. ale zaprowadziło mnie to donikąd.
Potem próbowałem poszukać jakichś całek z parametrem i zastosować regułę Leibniza (wspomniane różniczkowanie pod znakiem całki), ale to także zakończyło się fiaskiem. Nie jestem jednak biegły w tej metodzie, więc niekoniecznie znaczy to, że się tak nie da.
Myślałem sobie też o tożsamościach w stylu \(\displaystyle{ \arctg x+\arcctg x=\frac{\pi}{2}, \ \arctg\left( \frac 1 x\right) =\arcctg x}\) w dodatnich itd. lecz z tego też wiele nie wycisnąłem. I w sumie nic dziwnego, bo jak teraz patrzę, to przecież \(\displaystyle{ \ln \sin x<0}\).
W akcie desperacji nawet próbowałem jakichś dziwnych podstawień, ale raczej nie tędy droga. Nie walczyłem z tym z użyciem analizy zespolonej, więc może warto spróbować, tylko na tę chwilę nie wiem jak.
Gdybyśmy teraz skorzystali ze wzoru na sumę arcusów tangensów to argument by się
nam jeszcze bardziej skomplikował
Co z całką podwójną , próbowałeś jej użyć
W akcie desperacji nawet próbowałem jakichś dziwnych podstawień, ale raczej nie tędy droga. Nie walczyłem z tym z użyciem analizy zespolonej, więc może warto spróbować, tylko na tę chwilę nie wiem jak.
Jakie to były podstawienia ?
Przekształcające całkę do postaci