Równanie z całkami oznaczonymi
-
- Użytkownik
- Posty: 12
- Rejestracja: 18 sie 2011, o 18:21
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 1 raz
Równanie z całkami oznaczonymi
Mam równanie:
\(\displaystyle{ H \int_{0}^{H}{\eta(z)^2\: dz} - \left(\int_{0}^{H}{\eta(z)\: dz}\right)^2 = 0}\)
Pytanie brzmi jak poszukiwać funkcji \(\displaystyle{ \eta(z)}\) które spełniają to równanie? I czy to w ogóle możliwe? Na razie mam jedno trywialne rozwiązanie \(\displaystyle{ \eta(z)=const}\) .
Pozdrawiam.
Marek
\(\displaystyle{ H \int_{0}^{H}{\eta(z)^2\: dz} - \left(\int_{0}^{H}{\eta(z)\: dz}\right)^2 = 0}\)
Pytanie brzmi jak poszukiwać funkcji \(\displaystyle{ \eta(z)}\) które spełniają to równanie? I czy to w ogóle możliwe? Na razie mam jedno trywialne rozwiązanie \(\displaystyle{ \eta(z)=const}\) .
Pozdrawiam.
Marek
-
- Użytkownik
- Posty: 5974
- Rejestracja: 28 lut 2010, o 19:45
- Płeć: Mężczyzna
- Lokalizacja: Toruń
- Podziękował: 15 razy
- Pomógł: 1251 razy
Równanie z całkami oznaczonymi
Załóżmy, że \(\displaystyle{ \eta \geq 0}\) . Zauważ, że z nierówności Holdera (lub z Jensena - jak kto woli) mamy:
\(\displaystyle{ \left( \int_0^H \eta(z) \, dz \right)^2 \leq H \int_0^H \eta(z)^2 \, dz}\)
Czyli:
\(\displaystyle{ 0 = H \int_{0}^{H}{\eta(z)^2\, dz} - \left(\int_{0}^{H}{\eta(z)\, dz}\right)^2 \geq H \int_{0}^{H}{\eta(z)^2\, dz} - H \int_0^H \eta(z)^2 \, dz = 0}\)
Czyli w nierówności Holdera musi zachodzić równość, czyli gdy funkcje \(\displaystyle{ \eta}\) i stała są liniowo zależne, czyli \(\displaystyle{ \eta}\) jest stała.
Nie wiem, jak przeprowadzić to rozumowanie dla \(\displaystyle{ \eta}\) , która mogłaby przyjmować wartości ujemne.
\(\displaystyle{ \left( \int_0^H \eta(z) \, dz \right)^2 \leq H \int_0^H \eta(z)^2 \, dz}\)
Czyli:
\(\displaystyle{ 0 = H \int_{0}^{H}{\eta(z)^2\, dz} - \left(\int_{0}^{H}{\eta(z)\, dz}\right)^2 \geq H \int_{0}^{H}{\eta(z)^2\, dz} - H \int_0^H \eta(z)^2 \, dz = 0}\)
Czyli w nierówności Holdera musi zachodzić równość, czyli gdy funkcje \(\displaystyle{ \eta}\) i stała są liniowo zależne, czyli \(\displaystyle{ \eta}\) jest stała.
Nie wiem, jak przeprowadzić to rozumowanie dla \(\displaystyle{ \eta}\) , która mogłaby przyjmować wartości ujemne.
Ostatnio zmieniony 2 lut 2018, o 17:19 przez bartek118, łącznie zmieniany 1 raz.
-
- Użytkownik
- Posty: 12
- Rejestracja: 18 sie 2011, o 18:21
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 1 raz
Równanie z całkami oznaczonymi
Hej, Dziękuje za odpowiedź, proszę jednak o objaśnienia. Z nierówności Holdera, tak jak to jest opisane na Wikipedii ( ... ue_measure), przy przyjęciu \(\displaystyle{ f(x)=g(x)=\eta(x) \geq 0}\) , wychodzi mi raczej nierówność:
\(\displaystyle{ \left( \int_0^H \eta(z) \, dz \right)^2 \geq \int_0^H \eta(z)^2 \, dz}\)
Jak uzasadniasz zmianę kierunku nierówności i przejście do całkowania od \(\displaystyle{ 0}\) do \(\displaystyle{ 1}\) ?
Pozdrawiam.
Marek
\(\displaystyle{ \left( \int_0^H \eta(z) \, dz \right)^2 \geq \int_0^H \eta(z)^2 \, dz}\)
Jak uzasadniasz zmianę kierunku nierówności i przejście do całkowania od \(\displaystyle{ 0}\) do \(\displaystyle{ 1}\) ?
Pozdrawiam.
Marek
-
- Użytkownik
- Posty: 5974
- Rejestracja: 28 lut 2010, o 19:45
- Płeć: Mężczyzna
- Lokalizacja: Toruń
- Podziękował: 15 razy
- Pomógł: 1251 razy
Równanie z całkami oznaczonymi
Natomiast to była literówka -- powinno być od \(\displaystyle{ 0}\) do \(\displaystyle{ H}\).mwojc pisze:Jak uzasadniasz zmianę kierunku nierówności i przejście do całkowania od \(\displaystyle{ 0}\) do \(\displaystyle{ 1}\) ?
-
- Użytkownik
- Posty: 12
- Rejestracja: 18 sie 2011, o 18:21
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 1 raz
Równanie z całkami oznaczonymi
Niestety nadal tego nie widzę. Jeżeli \(\displaystyle{ \eta(z)=1\cdot\eta(z)}\) , czyli jak rozumiem \(\displaystyle{ f(z)=1,\ g(z)=\eta(z)}\) , to mi wychodzi:
\(\displaystyle{ H \int_0^H \eta(z) \, dz \geq \int_0^H \eta(z) \, dz}\)
Jest to samo w sobie jest dziwne, bo to by oznaczało, że musi być spełnione \(\displaystyle{ H\geq 1}\) , a niby dlaczego?
Nawet jeżeli pogodzę się z tym wynikiem i pomnożę go stronami przez \(\displaystyle{ \int_0^H \eta(z) \, dz}\) , zaś mój poprzedni wynik dla \(\displaystyle{ f(z)=g(z)=\eta(z)}\) pomnożę stronami przez \(\displaystyle{ H}\) to otrzymam dwie nierówności:
\(\displaystyle{ H \left(\int_0^H \eta(z) \, dz \right)^2 \geq \left(\int_0^H \eta(z) \, dz\right)^2}\)
\(\displaystyle{ H \left(\int_0^H \eta(z) \, dz \right)^2 \geq H\int_0^H \eta(z)^2 \, dz}\)
z których nadal raczej nie wynika Twój wynik. I nie mam już pomysłu...
Pozdrawiam.
Marek
\(\displaystyle{ H \int_0^H \eta(z) \, dz \geq \int_0^H \eta(z) \, dz}\)
Jest to samo w sobie jest dziwne, bo to by oznaczało, że musi być spełnione \(\displaystyle{ H\geq 1}\) , a niby dlaczego?
Nawet jeżeli pogodzę się z tym wynikiem i pomnożę go stronami przez \(\displaystyle{ \int_0^H \eta(z) \, dz}\) , zaś mój poprzedni wynik dla \(\displaystyle{ f(z)=g(z)=\eta(z)}\) pomnożę stronami przez \(\displaystyle{ H}\) to otrzymam dwie nierówności:
\(\displaystyle{ H \left(\int_0^H \eta(z) \, dz \right)^2 \geq \left(\int_0^H \eta(z) \, dz\right)^2}\)
\(\displaystyle{ H \left(\int_0^H \eta(z) \, dz \right)^2 \geq H\int_0^H \eta(z)^2 \, dz}\)
z których nadal raczej nie wynika Twój wynik. I nie mam już pomysłu...
Pozdrawiam.
Marek
-
- Użytkownik
- Posty: 5974
- Rejestracja: 28 lut 2010, o 19:45
- Płeć: Mężczyzna
- Lokalizacja: Toruń
- Podziękował: 15 razy
- Pomógł: 1251 razy
Re: Równanie z całkami oznaczonymi
\(\displaystyle{ \int_0^H \eta(z) \, dz \leq \left( \int_0^H 1 \, dz \right)^{1/2} \left( \int_0^H \eta(z)^2 \, dz \right)^{1/2}}\)
-
- Użytkownik
- Posty: 12
- Rejestracja: 18 sie 2011, o 18:21
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 1 raz
Równanie z całkami oznaczonymi
No jasne! Dziękuję.
W takim razie mam uzasadnienie, że \(\displaystyle{ \eta(z)}\) musi być stałą. Warunek \(\displaystyle{ \eta(z) \geq 0}\) mi nie przeszkadza, bo takie funkcje miałem na myśli zasadniczo. Teraz jeszcze jedno pytanie, a właściwie prośba o potwierdzenie: czy \(\displaystyle{ \eta(z)}\) może być też kawałkami stała, np.:
\(\displaystyle{ \eta(z) = \begin{cases} 1 \quad \textrm{dla} \quad z\in\langle 0, \frac{H}{2}) \\
0.5 \quad \textrm{dla} \quad z\in\langle\frac{H}{2}, H\rangle
\end{cases}}\)
Wydaje mi się oczywiste, że tak, ale wolę się upewnić...
Pozdrawiam,
Marek
W takim razie mam uzasadnienie, że \(\displaystyle{ \eta(z)}\) musi być stałą. Warunek \(\displaystyle{ \eta(z) \geq 0}\) mi nie przeszkadza, bo takie funkcje miałem na myśli zasadniczo. Teraz jeszcze jedno pytanie, a właściwie prośba o potwierdzenie: czy \(\displaystyle{ \eta(z)}\) może być też kawałkami stała, np.:
\(\displaystyle{ \eta(z) = \begin{cases} 1 \quad \textrm{dla} \quad z\in\langle 0, \frac{H}{2}) \\
0.5 \quad \textrm{dla} \quad z\in\langle\frac{H}{2}, H\rangle
\end{cases}}\)
Wydaje mi się oczywiste, że tak, ale wolę się upewnić...
Pozdrawiam,
Marek
-
- Użytkownik
- Posty: 12
- Rejestracja: 18 sie 2011, o 18:21
- Płeć: Mężczyzna
- Lokalizacja: Polska
- Podziękował: 1 raz
Równanie z całkami oznaczonymi
No to mnie zmartwiłeś. Ale po chwili namysłu stwierdzam, że masz oczywiście rację
Dziękuję za pomoc i pozdrawiam,
Marek
Dziękuję za pomoc i pozdrawiam,
Marek