Επιμέλεια: Γιώργος Χασάπης για το lisari.blogspot.

com
Η δεύτερη πρότασή μας είναι η έκδοση της ανισότητας του
Hölder για συνεχείς συναρτήσεις, μία από τις σημαντικότερες
ανισότητες της Ανάλυσης.

Πρόταση 2. Υποθέτουμε ότι 𝑓 και 𝑔 είναι συνεχείς στο [𝛼, 𝛽 ], 𝑝

𝑝
πραγματικός αριθμός μεγαλύτερος του 1 και 𝑞 = . Τότε
𝑝−1

1⁄ 1⁄
𝛽 𝛽 𝑝 𝛽 𝑞

∫ |𝑓 (𝑥 )𝑔(𝑥)|𝑑𝑥 ≤ (∫ |𝑓 𝑝 (𝑥 )|𝑑𝑥 ) (∫ |𝑔𝑞 (𝑥 )|𝑑𝑥 ) .

𝛼 𝛼 𝛼

1⁄
𝛽 𝑝 𝑝
Απόδειξη. Θέτουμε 𝛢= (∫𝛼 |𝑓 (𝑥 )|𝑑𝑥 ) και 𝛣=
1⁄
𝛽 𝑞 𝑞
(∫𝛼 |𝑔 (𝑥 )|𝑑𝑥 ) . Αν 𝛢 = 0 τότε 𝑓 = 0 άρα η ανισότητα
ισχύει. Παρομοίως αν 𝛣 = 0 τότε 𝑔 = 0 και η ανισότητα ισχύει.

Υποθέτουμε ότι 𝛢, 𝐵 > 0. Από την ανισότητα του Young

𝑢𝑝 𝑣𝑞
𝑢𝑣 ≤ +
𝑝 𝑞

|𝑓(𝑥)| |𝑔(𝑥)|
η οποία ισχύει για μη αρνητικά 𝑢, 𝑣 με 𝑢 = και 𝑣 =
𝐴 𝐵
έχουμε ότι

|𝑓(𝑥)𝑔(𝑥)| |𝑓 𝑝 (𝑥)| |𝑔𝑞 (𝑥)|

≤ +
𝐴𝐵 𝑝𝐴𝑝 𝑞𝐵𝑞
για κάθε 𝑥 ∈ [𝛼, 𝛽 ]. Την τελευταία ανισότητα την
ολοκληρώνουμε ως προς 𝑥 από 𝛼 ως 𝛽 και λαμβάνουμε

𝛽 𝛽 𝛽
1 1 1
∫ |𝑓(𝑥 )𝑔(𝑥)|𝑑𝑥 ≤ 𝑝 ∫ |𝑓 𝑝 (𝑥)|𝑑𝑥 + 𝑞 ∫ |𝑔𝑞 (𝑥)|𝑑𝑥.
𝐴𝐵 𝑝𝐴 𝑞𝐵
𝛼 𝛼 𝛼

1 1 1 𝑝−1
Το δεξιό μέλος της τελευταίας είναι ίσο με + = + = 1,
𝑝 𝑞 𝑝 𝑝
άρα

∫ |𝑓(𝑥 )𝑔(𝑥)|𝑑𝑥 ≤ 𝐴𝐵,

𝛼

αυτό που θέλαμε να αποδείξουμε.

Παρατηρήσεις. (1) Για 𝑝 = 𝑞 = 2 η ανισότητα είναι η γνωστή

ανισότητα των Cauchy – Schwarz.
𝑝
(2) Αν 𝑝 ∈ (−∞, 0) ∪ (0,1), 𝑞 = και οι 𝑓, 𝑔 δεν μηδενίζονται
𝑝−1
πουθενά τότε ισχύει η παρακάτω ανισότητα

1⁄ 1⁄
𝛽 𝛽 𝑝 𝛽 𝑞

∫ |𝑓 (𝑥 )𝑔(𝑥)|𝑑𝑥 ≥ (∫ |𝑓 𝑝 (𝑥 )|𝑑𝑥 ) (∫ |𝑔𝑞 (𝑥 )|𝑑𝑥 ) .

𝛼 𝛼 𝛼