ĐẠI HỌC QUỐC GIA HÀ NỘI ĐẠI HỌC KHOA HỌC TỰ NHIÊN VŨ CÔNG VIÊN CÁC BẤT ĐẲNG THỨC KIỂU HARDY MỘT CHIỀU LUẬN VĂN THẠC SĨ KHOA HỌC Hà Nội - Năm 2012 ĐẠI HỌC QUỐC GIA HÀ NỘI ĐẠI HỌC KHOA HỌC TỰ NHIÊN VŨ CÔNG VIÊN CÁC BẤT ĐẲNG THỨC KIỂU HARDY MỘT CHIỀU Chuyên ngành: TOÁN GIẢI TÍCH Mã số : 60 46 01 LUẬN VĂN THẠC SĨ KHOA HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC TS. ĐẶNG ANH TUẤN Hà Nội - Năm 2012 Danh mục các kí hiệu 2 Danh mục các kí hiệu I gian trong R µ ∗ (I) độ đo ngoài Lebesgue của I µ(I) độ đo Lebesgue của I L p (I) gian các hàm có lũy thừa bậc p của modun khả tích trong I L p loc (I) không gian các hàm có lũy thừa bậc p của modun khả tích địa phương trong I V ar I u biến phân của hàm u trong I BPV (I) không gian các hàm có biến phân bị chặn trong I BPV loc (I) không gian các hàm có biến phân bị chặn địa phương trong I AC(I) không gian các hàm liên tục tuyệt đối trong I AC loc (I) không gian các hàm liên tục tuyệt đối địa phương trong I AC L ((a, b)) =  u ∈ AC loc ((a, b)) : lim x→a + u(x) = 0  AC R ((a, b)) =  u ∈ AC loc ((a, b)) : lim x→b − u(x) = 0  AC LR ((a, b)) = AC L ((a, b)) ∩ AC R ((a, b)) (H L f) (x) = x  a f(t)dt (H R f) (x) = b  x f(t)dt W(I) tập các hàm trọng trong I M + (I) tập các hàm đo được không âm h.k.n trong I  kết thúc chứng minh hoặc ví dụ. Mục lục Lời cảm ơn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Danh mục các kí hiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Lời nói đầu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1 Các kiến thức chuẩn bị 5 1.1 Nhắc lại một vài kết quả trong độ đo và tích phân Lebesgue . . . . . . 5 1.2 Hàm đơn điệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.3 Hàm có biến phân bị chặn . . . . . . . . . . . . . . . . . . . . . . . . . 25 1.4 Hàm liên tục tuyệt đối . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2 Các bất đẳng thức kiểu Hardy một chiều 59 2.1 Bất đẳng thức Hardy gốc trong không gian một chiều . . . . . . . . . . 59 2.2 Các bất đẳng thức kiểu Hardy một chiều . . . . . . . . . . . . . . . . . 70 2.3 Một số ví dụ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 Kết luận . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 Tài liệu tham khảo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 3 Lời nói đầu 4 Lời nói đầu Bất đẳng thức liên quan đến tích phân của một hàm và đạo hàm của hàm đó xuất hiện thường xuyên trong các ngành khác nhau của toán học và đó có thể coi là một công cụ hữu ích trong toán học, ví dụ trong lý thuyết và bài tập của phương trình vi phân, trong lý thuyết xấp xỉ, trong xác suất,. . . Trong những thập kỷ qua, chủ đề này tiếp tục được mở rộng. Một trong những bất đẳng thức liên quan đến tích phân quan trọng đó là: Bất đẳng thức Hardy. Năm 1920, G.H.Hardy đã chứng minh được bất đẳng thức Hardy ở dạng cơ bản trong không gian một chiều. Nhưng chứng minh của ông chưa được đầy đủ vì chưa tìm ra được hằng số tốt nhất trong bất đẳng thức. Năm 1926, E.Landau đã chỉ ra được giá trị tốt nhất của hằng số trong bất đẳng thức. Những năm sau đó nhiều nhà toán học đã nghiên cứu độc lập và tìm cách mở rộng bất đẳng thức Hardy cổ điển. Trong các hướng mở rộng có hướng mở rộng lớp hàm trọng, nghĩa là các hàm đo được và dương hầu khắp nơi. Luận văn của tôi tìm hiểu về bất đẳng thức Hardy trong không gian một chiều và một số bất đẳng thức kiểu Hardy khi mở rộng theo hướng thêm các “hàm trọng”. Luận văn được chia làm hai chương. Chương 1: Cơ sở lý thuyết. Trong chương này, tôi trình bày các kết quả liên quan đến sự khả vi, khả tích Lebesgue của các hàm đơn điệu dựa trên tài liệu tham khảo [1] của Hoàng Tụy, Định lý Funini về việc chuyển dấu đạo hàm qua dấu tổng dựa trên tài liệu [2] của Ralph Howard, hàm có biến phân bị chặn và hàm liên tục tuyệt đối dựa trên tài liệu tham khảo [3] của Giovanni Leoni. Phần cuối của chương này đã chứng minh được kết quả quan trọng, đó là định lý cơ bản của phép tính vi tích phân đối với tích phân Lebesgue. Chương 2: Các bất đẳng thức kiểu Hardy một chiều. Trong chương này, tôi trình bày chứng minh bất đẳng thức Hardy gốc dựa trên tài liệu tham khảo [5] của D.T.Shum. Sau đó trình bày sự mở rộng của bất đẳng thức Hardy khi bổ sung thêm các hàm trọng, và đã chứng minh được các điều kiện ràng buộc để các kiểu mở rộng là đúng dựa trên tài liệu tham khảo [4] của B Opic and A Kufner. Vì trình độ còn hạn chế nên luận văn không thể tránh khỏi những sai sót, tác giả hy vọng sẽ nhận được nhiều ý kiến đóng góp từ các thầy cô giáo và bạn đọc để luận văn được hoàn chỉnh hơn. Chương 1 Các kiến thức chuẩn bị Trong chương này tôi sẽ đề cập đến một số tính chất của các hàm đơn điệu, các hàm có biến phân bị chặn và các hàm liên tục tuyệt đối. Các hàm này có vai trò quan trọng để chúng ta nghiên cứu về bất đẳng thức Hardy cũng như các bất đẳng thức kiểu Hardy. 1.1 Nhắc lại một vài kết quả trong độ đo và tích phân Lebesgue Định nghĩa 1.1.1. [1](Độ đo ngoài Lebesgue) Cho hàm µ ∗ (A) : R → [0;+∞] µ ∗ (A) = inf { +∞  i=1 |∆ i |: +∞  i=1 ∆ i ⊃ A, ∆ i là gian, i = 1, 2, }, được gọi là độ đo ngoài Lebesgue trên R. Hàm tập µ ∗ là một độ đo ngoài trên R như vậy ta có thể áp dụng định lý Caratheodory để xây dựng một độ đo trên R, đó chính là độ đo Lebesgue. Định nghĩa 1.1.2. [1](Độ đo Lebesgue) Cho hàm µ ∗ : L → [0,∞] trong đó L là lớp tất cả các tập con A của R sao cho µ ∗ (E) = µ ∗ (E ∩ A) + µ ∗ (E\A) với mọi E ⊂ R, là độ đo Lebesgue trên R, ký hiệu là µ và A được gọi là tập đo được Lebesgue. Theo định lí Caratheodory thì lớp các tập đo được Lebesgue L là một σ- đại số . Chú ý 1.1.1. Định nghĩa 1.1.1 có thể thay bằng µ ∗ (A) = inf{ ∞  i=1 |∆ i | : ∞  i=1 ∆ i ⊃ A, ∆ i là khoảng mở, i = 1, 2, }. 5 1.1. Nhắc lại một vài kết quả trong độ đo và tích phân Lebesgue 6 Khi đó với mọi ε > 0 thì tồn tại các khoảng mở ∆ i , i = 1, 2, . . . sao cho ∞  i=1 ∆ i ⊃ A và ∞  i=1 |∆ i | < µ ∗ (A) + ε. Đặt G = ∞  i=1 ∆ i , thì ta có G là tập mở, G ⊃ A và µ(G) ≤ ∞  i=1 |∆ i | < µ ∗ (A) + ε. Như vậy với mọi ε > 0 luôn tồn tại tập mở G ⊃ A sao cho µ(G) < µ ∗ (A) + ε. Định nghĩa 1.1.3. [1](Tập mở) Một tập hợp G trong không gian mêtric X được gọi là tập hợp mở nếu mỗi điểm a ∈ G đều có một lân cận V của điểm a sao cho V ⊂ G, điều này tương đương với điều kiện: với mọi a ∈ G tồn tại r > 0 sao cho hình cầu mở B(a, r) ⊂ G. Định nghĩa 1.1.4. [1](Tập đóng) Tập F trong không gian mêtric X được gọi là tập đóng nếu F c = X\F là tập mở. Định nghĩa 1.1.5. [1](Phần trong) Cho một tập hợp A trong không gian mêtric X. Điểm x ∈ X được gọi là điểm trong của tập của tập hợp A nếu tồn tại một lân cận V của x sao cho x ∈ V ⊂ A; điều này tương đương với điều kiện tồn tại một số r > 0 sao cho hình cầu B(x, r) ⊂ A. Tập hợp tất cả các điểm trong của A ký hiệu A 0 hoặc intA. Định nghĩa 1.1.6. [1](Tập compact): Một tập hợp A ⊂ R n gọi là tập compact nếu mọi dãy điểm {x k } k ⊂ A đều có một dãy con {x k l } l hội tụ đến một giới hạn thuộc A. Định nghĩa 1.1.7. [1](Tập Borel) σ−đại số nhỏ nhất bao hàm lớp các tập mở trong không gian R được gọi là σ−đại số Borel của không gian R và những tập thuộc σ−đại số này được gọi là tập Borel trong không gian R. Tập Borel là những tập xuất phát từ tập mở và thực hiện một số hữu hạn hay đếm được phép toán hợp, giao trên các tập đó. Mệnh đề 1.1.1. [1]Mọi tập Borel đều đo được Lebesgue. Chứng minh: xem [1]. 1.1. Nhắc lại một vài kết quả trong độ đo và tích phân Lebesgue 7 Định lý 1.1.1. [1]Cho µ : L → [0,∞] là độ đo, A i , i = 1, 2, là các tập đo được, A 1 ⊂ A 2 ⊂ và ∞  i=1 A i là tập đo được. Khi đó µ  ∞  i=1 A i  = lim i→∞ µ(A i ). Chứng minh: xem [1]. Định lý 1.1.2. [1]Đối với một tập A trên R ba điều kiện sau là tương đương : i) A đo được Lebesgue . ii) Với mỗi ε > 0 có thể tìm được tập mở G ⊃ A sao cho µ ∗ (G\A) < ε. iii) Với mỗi ε > 0 có thể tìm được tập đóng F ⊂ A sao cho µ ∗ (A\F ) < ε. Chứng minh: xem [1]. Chú ý 1.1.2. Với mỗi tập A đo được ta có thể viết thành A = E 0 ∪  n K n , với K n là các tập compact, K n ⊂ K n+1 , n = 1, 2, và µ(E 0 ) = 0. Thật vậy. Với mỗi n ∈ N, lấy ε = 1 n . Khi đó theo Định lý 1.1.2 thì tồn tại tập đóng F n ⊂ A sao cho µ(A\F n ) ≤ 1 n . Ta có A\ ∞  n=1 F n ⊂ A\F n do đó 0 ≤ µ  A\ ∞  n=1 F n  ≤ µ (A\F n ) ≤ 1 n , ∀n ∈ N. Do đó µ  A\ ∞  n=1 F n  = 0. Khi đó ta có E 0 = A\ ∞  n=1 F n . Đặt F n k = F n ∩ [−k, k]. Ta có F n = ∞  k=1 F n k . Với mỗi N ∈ N ta lấy K N = N  n=1 N  k=1 F n k là hợp hữu hạn các tập compact nên là compact. Lại có K N ⊂ K N+1 và ∞  N=1 K N = ∞  n=1 ∞  k=1 F n k = A. 1.1. Nhắc lại một vài kết quả trong độ đo và tích phân Lebesgue 8 Trong trường hợp đặc biệt A là các gian thì E 0 = ∅ và ta có thể viết như sau: Cho a, b là hữu hạn, a < b. (a, b) = ∞  n=1  a + b − a 2n , b − b − a 2n  , (a, +∞) = ∞  n=1  a + b − a 2n , n  , (−∞, b) = ∞  n=1  −n, b − b − a 2n  , (−∞, +∞) = ∞  n=1 [−n, n], [a, b) = ∞  n=1  a, b − b − a 2n  , (a, b] = ∞  n=1  a + b − a 2n , b  , [a, +∞) =  n∈N n>a [a, n], (−∞, b] =  n∈N n>−b [−n, b]. Định nghĩa 1.1.8. [1](Hàm đo được Lebesgue) Hàm số f : A → [-∞, +∞] được gọi là đo được trên A với một tập đo được Lebesgue nếu ∀a ∈ R, E 1 = {x ∈ A:f(x)<a} ∈ L. Định nghĩa 1.1.9. [1](Hội tụ hầu khắp nơi) Dãy hàm {f n } được gọi là hội tụ h.k.n về hàm số f(x) trên A ∈ L nếu tồn tại một tập B ⊂ A, B ∈ L, µ(B) = 0 sao cho lim n→∞ f n (x) = f(x) với mọi x ∈ A\B. Định nghĩa 1.1.10. [1](Sự hội tụ theo độ đo) Cho A ∈ L và f 1 , f 2 , f 3 , là những hàm đo được hữu hạn h.k.n trên A. Dãy {f n } được gọi là hội tụ theo độ đo đến f(x) và ký hiệu là f n µ −→ f trên A nếu ∀ε > 0 lim n→+∞ µ({x ∈ A: |f n (x) − f(x)| ≥ ε}) = 0. Nói cách khác với mọi ε > 0, với mọi δ > 0, tồn tại n 0 ∈ N sao cho ∀n ∈ N : n > n 0 thì µ({x ∈ A: |f n (x) − f(x)| ≥ ε}) < δ. Định nghĩa 1.1.11. [1](Tích phân của hàm đơn giản) Cho hàm A là tập đo được, f : A → [-∞, +∞] là hàm đơn giản, đo được trên A. Gọi f 1 , f 2 , f n là các giá trị khác nhau đôi một của f(x). Đặt A k = {x ∈ A : f(x) = f k } , k = 1, , n. A = n  k=1 A k và f(x) = n  k=1 f k χ A k , ∀x ∈ A. Khi đó tích phân của hàm đơn giản f(x) trên A với độ đo µ là số  A f(x)dµ = n  k=1 f k µ(A k ). 1.1. Nhắc lại một vài kết quả trong độ đo và tích phân Lebesgue 9 Định nghĩa 1.1.12. [1](Tích phân của hàm không âm) Cho A là tập đo được Lebesgue, hàm f : A → [0,+∞] là hàm đo được. Khi đó tồn tại dãy đơn điệu tăng các hàm đơn giản đo được f n (x) ≥ 0 hội tụ h.k.n về f(x) trên A . Tích phân của hàm f(x) trên A đối với độ đo µ là  A f(x)dµ = lim n→+∞  A f n (x)dµ. Định nghĩa 1.1.13. [1](Tích phân của hàm có dấu bất kỳ) Cho A là tập đo được Lebesgue, hàm f : A → R là hàm đo được trên A. Khi đó ta có f(x) = f + (x) − f − (x) với f + (x), f − (x) ≥ 0. Các hàm số f + (x), f − (x) có tích phân tương ứng trên A với độ đo µ là  A f + (x)dµ,  A f − (x)dµ. Nếu  A f + (x)dµ −  A f − (x)dµ có nghĩa thì tích phân của hàm đo được f(x) trên A với độ đo µ là  A f(x)dµ =  A f + (x)dµ −  A f − (x)dµ. Định lý 1.1.3. [1](Hội tụ đơn điệu Beppo Levi) Nếu f n (x) ≥ 0 và f n (x) đơn điệu tăng đến f(x) trên A thì lim n→∞  A f n (x)dµ =  A f(x)dµ. Chứng minh: xem [1]. Định lý 1.1.4. [1](Bổ đề Fatou) Nếu f n (x) ≥ 0 trên A thì  A lim n→∞ f n (x)dµ ≤ lim n→∞  A f n (x)dµ. Chứng minh: xem [1]. Định lý 1.1.5. [1](Hội tụ chặn Lebesgue) Nếu |f n (x)| ≤ g(x), g(x) khả tích và f n (x) → f(x) (h.k.n hay theo độ đo) trên A thì  A f n (x)dµ →  A f(x)dµ khi n → ∞. Chứng minh: xem [1]. [...]... đo được E và p, q là hai số thực sao cho 1 < p < ∞ và  1 p  |f (x).g(x)|dµ ≤  |f (x)p | dµ  E E 1 p + 1 q = 1 thì 1 q |g(x)q | dµ E Chứng minh: xem [1] Định lý 1.1.7 [1] (Bất đẳng thức Minkowski) Cho hàm đo được dương K(x, y) xác định trên (a, b) × (c, d) và r ≥ 1 thì  b   d 1 r d K(x, y)dy  dx ≤  a r c  b K r (x, y)dx dy  c 1 r a 1.1 Nhắc lại một vài kết quả trong độ đo và tích phân... hợp tất cả các số K thỏa mãn bất đẳng thức trên gọi là cận trên đúng cốt yếu của hàm f (x), được kí hiệu là esssup |f (x)| E Định nghĩa 1.1.15 [1](Không gian L∞ (E))Họ tất cả các hàm f (x) bị chặn cốt yếu trên E được gọi là không gian L∞ (E) Mệnh đề 1.1.2 [1]Nếu hàm f (x) ∈ L∞ (E) thì f (x) ≤ esssup |f (x)| h.k.n trên E E Chứng minh: xem [1] Định lý 1.1.6 [1] (Bất đẳng thức Holder ) Nếu f (x), g(x)... quả trong độ đo và tích phân Lebesgue 11 Chứng minh: xem [1] Chú ý 1.1.3 .Bất đẳng thức Minkowski còn có thể viết dưới dạng:   b a 1 r  b ϕ(y)dy  dx ≤ f (x)   r x ϕ(y)  a a 1 r b f (x)dx dy y với f (x), ϕ(y) là các hàm đo được không âm h.k.n trên [a, b] Thật vây Chọn 1 K(x, y) = ϕ(y)χ[a,x] (y)f r (x) Theo bất đẳng thức Minkowski ta có  b  r b 1 r b  1 ϕ(y)χ[a,x] (y)f r (x)dy  dx ≤... (1.1.4) và (1.1.5) ta có |v(x)|dx → 0 khi n → ∞ Fn |v(x)| dx > ε, nên điều giả sử là sai Điều này trái với điều giả sử là tồn tại ε > 0 để Fn Vậy v là khả tích đều trong trường hợp p = 1 Khi đó ta phải chứng minh với 1 < p ≤ ∞ Nếu v(x) = 0 h.k.n trên E Khi đó điều phải chứng minh luôn đúng Nếu v = 0 h.k.n trên E Ta chứng minh với 1 < p < ∞ Lấy bất kì ε > 0 và F ⊂ E với F là tập đo được Theo bất đẳng thức. .. |u(x ) − u(x )| ≤ V ar[a,x ] u = V (x ) i=1 Do bất đẳng thức trên đúng với bất kì cách chia đoạn [a, x ] bởi những điểm chia a = x0 < x1 < < xn = x nên ta có V (x ) + |u(x ) − u(x )| ≤ V (x ), hay V (x ) − V (x ) ≥ |u(x ) − u(x )| Do đó V (x ) − V (x ) ≥ u(x ) − u(x ) và V (x ) − V (x ) ≥ − (u(x ) − u(x )) , hay ta có V (x ) − u(x ) ≥ V (x ) − u(x ) và V (x ) + u(x ) ≥ V (x ) + u(x ) Vậy các hàm... , bl ) l rời nhau, [ak , bk ] ⊂ [a, b] , k = 1, , l và (bk − ak ) ≤ δ thì từ (1.4.4), (1.4.5) và (1.4.6) k=1 ta có l |(u + v)(bk ) − (u + v) (ak )| ≤ ε k=1 Vậy u + v ∈ AC ([a, b]) (ii) Do u, v ∈ AC ([a, b]) nên u, v liên tục trên [a, b] Khi đó hàm u và v bị chặn trên [a, b] Giả sử |u(x)| ≤ M1 , |v(x)| ≤ M2 , ∀x ∈ [a, b] Lấy ε > 0 bất kỳ, và lấy bất kỳ một hệ hữu hạn các khoảng (a1 , b1 ) , , (al ,... tồn tại hữu hạn giới hạn: lim u(x) x→b− ¯ Vậy có thể mở rộng u thành một hàm u : J → R ii) Để chứng minh hàm mở rộng u ∈ AC ([a, b]) thì ta phải chứng minh: với mỗi ε > 0 tồn tại δ > 0 sao cho với mọi hệ khoảng (a1 , b1 ) , , (al , bl ) rời nhau, [ak , bk ] ⊂ [a, b] , k = l (bk − ak ) ≤ δ thì 1, , l và k=1 l |u(bk ) − u (ak )| ≤ ε k=1 Lấy ε > 0 bất kỳ Do u ∈ AC ((a, b)) nên tồn tại δ > 0 sao cho với... b] khi và chỉ khi nó là hiệu của hai hàm số đơn điệu tăng Chứng minh a Điều kiện cần Giả sử hàm u(x) có biến phân bị chặn trong [a, b] Đặt V (x) = V ar[a,x] u ≤ V ar[a,b] u < ∞ với x ∈ [a, b] và 1 (V (x) + u(x)) , 2 1 u2 (x) = (V (x) − u(x)) 2 Ta sẽ chứng minh u1 (x), u2 (x) là các hàm đơn điệu tăng trong [a, b] và u1 (x) = u(x) = u1 (x) − u2 (x) Lấy x , x bất kì sao cho a ≤ x < x ≤ b Lấy bất kì... ≥ µ∗ (A) − ε Bổ đề 1.2.2 [1]Cho tập bất kì A ⊂ (a, b) và Ω là một lớp khoảng sao cho với mọi số η > 0 nhỏ tùy ý, mỗi điểm x ∈ A đều là đầu mút trái của ít nhất một khoảng ∆ = (x, x + hx ) ∈ Ω với hx < η Khi ấy với một tập mở bất kỳ G ⊃ A và ε > 0 tùy ý cho trước, ta có thể chọn được một số hữu hạn khoảng rời nhau ∆1 , ∆2 , , ∆s nằm trọn trong G, và phủ lên một tập con A ⊂ A với µ∗ (A ) > µ∗ (A) − ε... Lấy x ∈ A bất kỳ Do G là tập mở và G ⊃ A nên tồn tại η1 > 0 sao cho (x − η1 , x + η1 ) ⊂ G Với x ∈ A, η1 > 0 thì theo giả thiết về Ω tồn tại hx ∈ (0, η1 ) sao cho (x, x + hx ) ∈ Ω Lại có (x, x + hx ) ⊂ (x − η1 , x + η1 ) nên (x, x + hx ) ∈ Ω1 Áp dụng Bổ đề 1.2.1 cho lớp Ω1 thì ta có điều phải chứng minh Tương tự như Bổ đề 1.2.2 ta cũng có bổ đề sau Bổ đề 1.2.3 [1]Cho tập bất kì A ⊂ (a, b) và Ω là một . bất đẳng thức kiểu Hardy một chiều. Trong chương này, tôi trình bày chứng minh bất đẳng thức Hardy gốc dựa trên tài liệu tham khảo [5] của D.T.Shum. Sau đó trình bày sự mở rộng của bất đẳng thức. trong bất đẳng thức. Năm 1926, E.Landau đã chỉ ra được giá trị tốt nhất của hằng số trong bất đẳng thức. Những năm sau đó nhiều nhà toán học đã nghiên cứu độc lập và tìm cách mở rộng bất đẳng thức. rộng bất đẳng thức Hardy cổ điển. Trong các hướng mở rộng có hướng mở rộng lớp hàm trọng, nghĩa là các hàm đo được và dương hầu khắp nơi. Luận văn của tôi tìm hiểu về bất đẳng thức Hardy trong không