Bối cảnh và vấn đề nghiên cứu

Khóa luận tốt nghiệp chuyên ngành Toán giải tích của tác giả Trần Ba Sao (Trường Đại học Sư phạm Thành phố Hồ Chí Minh, 2022) tập trung nghiên cứu tính chính quy nghiệm (regularity theory) cho lớp bài toán cản đôi (double obstacle problem) phi tuyến liên quan đến toán tử elliptic tựa tuyến tính và thế vị Schrödinger. Trong lý thuyết phương trình đạo hàm riêng và phép tính biến phân, bài toán obstacle xuất hiện khi tìm nghiệm của phương trình vi phân chịu ràng buộc bởi các hàm cản biên hoặc cản miền, dẫn đến việc khảo sát bất phương trình biến phân thay vì phương trình vi phân thông thường.

Khóa luận khảo sát bài toán biên Dirichlet đối với phương trình elliptic tựa tuyến tính có dạng: $$-\text{div}(A(x, \nabla u)) + V|u|^{q-2} u \le -\text{div}(B(x, F, g)) \quad \text{trong } \Omega,$$ với điều kiện biên $u = 0$ trên $\partial\Omega$. Nghiệm yếu $u$ được tìm trong tập ràng buộc: $$S := \left{ u \in W_0^{1,p}(\Omega) : \psi_1 \le u \le \psi_2 \text{ hầu khắp nơi trong } \Omega \right},$$ trong đó $\psi_1, \psi_2$ là các hàm cản thỏa mãn $\psi_1 \le 0 \le \psi_2$ trên $\partial\Omega$, $\Omega \subset \mathbb{R}^n$ là miền mở bị chặn ($n \ge 2$), $p \in (1, \infty)$, số mũ $q$ thỏa mãn $1 < q < p^$ với $p^ = \frac{np}{n-p}$ khi $p < n$.

Mục tiêu và nhiệm vụ nghiên cứu của tác giả bao gồm:

  1. Tổng hợp và hệ thống hóa các cơ sở giải tích hiện đại về miền Reifenberg, không gian Lorentz, không gian Sobolev và tính bị chặn của các toán tử cực đại.
  2. Xây dựng các đánh giá so sánh địa phương (comparison estimates) giữa nghiệm yếu của bài toán cản ban đầu với nghiệm của các phương trình elliptic thuần nhất tương ứng.
  3. Thiết lập bất đẳng thức trên các tập mức (good-$\lambda$ level-set inequalities) thông qua kỹ thuật phủ Vitali (dạng Calderón-Zygmund-Krylov-Safonov).
  4. Chứng minh đánh giá gradient toàn cục cho nghiệm trong thang không gian Lorentz $L^{q,s}(\Omega)$ thông qua toán tử cực đại Hardy-Littlewood $M$ và toán tử cực đại cấp phân số $M_\alpha$.

Đối tượng nghiên cứu là nghiệm yếu $u \in W_0^{1,p}(\Omega)$ của bất đẳng thức biến phân double obstacle. Phạm vi không gian là miền mở bị chặn $\Omega \subset \mathbb{R}^n$ có biên không trơn thỏa mãn điều kiện $(r_0, \delta)$-Reifenberg, toán tử $A(x, \xi)$ thỏa mãn tính elliptic tựa tuyến tính với dao động trung bình BMO nhỏ, và thế vị $V(x)$ thuộc lớp hàm Reverse Hölder địa phương.

Cơ sở lý thuyết và phương pháp

Khóa luận vận dụng hệ thống lý thuyết giải tích hàm phi tuyến, lý thuyết không gian hàm và lý thuyết phương trình đạo hàm riêng elliptic hiện đại:

  • Không gian Lebesgue và Không gian Lorentz: Sử dụng không gian Lebesgue $L^p(\Omega)$ và không gian Lorentz $L^{q,s}(\Omega)$ ($0 < q < \infty, 0 < s \le \infty$) với chuẩn định nghĩa qua hàm phân phối độ đo: $$|f|{L^{q,s}(\Omega)} = \left( q \int_0^\infty \lambda^s |{x \in \Omega : |f(x)| > \lambda}|^{\frac{s}{q}} \frac{d\lambda}{\lambda} \right)^{\frac{1}{s}} \quad (s < \infty),$$ $$|f|{L^{q,\infty}(\Omega)} = \sup_{\lambda > 0} \lambda |{x \in \Omega : |f(x)| > \lambda}|^{\frac{1}{q}}.$$
  • Không gian Sobolev và công thức Green: Không gian Sobolev $W^{1,p}(\Omega)$, không gian vết $W_0^{1,p}(\Omega)$ là bao đóng của $C_c^1(\Omega)$, các công thức Green tích phân từng phần và bất đẳng thức nhúng Sobolev-Poincaré: $|u|{L^{p^*}(\Omega)} \le C |\nabla u|{L^p(\Omega)}$ với mọi $u \in W_0^{1,p}(\Omega)$.
  • Hình học miền Reifenberg: Miền $\Omega$ thỏa mãn điều kiện $(r_0, \delta)$-Reifenberg kiểm soát độ phẳng của biên $\partial\Omega$ thông qua khoảng cách Hausdorff cổ điển $d_H$, cho phép biên có cấu trúc fractal hoặc góc nhọn ở mức độ nhỏ hơn tham số $\delta$.
  • Toán tử cực đại: Toán tử cực đại Hardy-Littlewood $M$ và toán tử cực đại cấp phân số $M_\alpha$ ($\alpha \in [0, n]$) định nghĩa bởi: $$M_\alpha f(x) = \sup_{r > 0} r^\alpha \frac{1}{|B_r(x)|} \int_{B_r(x)} |f(y)| dy.$$ Sử dụng tính bị chặn của $M$ từ $L^p \to L^p$, từ $L^1 \to L^{1,\infty}$, và trên không gian Lorentz $L^{q,s}$. Đồng thời sử dụng toán tử cực đại dạng cắt (cut-off maximal operator) $M_r, M_r^\alpha$.
  • Giả thiết cấu trúc toán tử và thế vị:
    • Toán tử Carathéodory $A: \Omega \times \mathbb{R}^n \to \mathbb{R}^n$ thỏa mãn điều kiện tăng trưởng và tính elliptic: $$|A(x, \mu)| + |\partial_\mu A(x, \mu)| \le \Lambda (\sigma^2 + |\mu|^2)^{\frac{p-1}{2}},$$ $$\langle A(x, \mu_1) - A(x, \mu_2), \mu_1 - \mu_2 \rangle \ge \Lambda^{-1} (\sigma^2 + |\mu_1|^2 + |\mu_2|^2)^{\frac{p-2}{2}} |\mu_1 - \mu_2|^2.$$
    • Toán tử $A$ thỏa mãn điều kiện dao động trung bình nhỏ $(\delta, r_0)$-BMO: $$[A]{r_0} = \sup{y \in \mathbb{R}^n, 0 < \rho \le r_0} \sup_{\zeta \in \mathbb{R}^n \setminus {0}} \frac{1}{|B_\rho(y)|} \int_{B_\rho(y)} \frac{|A(x, \zeta) - \bar{A}{B\rho(y)}(\zeta)|}{|\zeta|^{p-1}} dx \le \delta.$$
    • Hàm vế phải thỏa mãn $|B(x, F, g)| \le \Lambda_1 |F|^{p-1} + \Lambda_2 |g|$.
    • Thế vị Schrödinger $V \ge 0$ thuộc lớp Hölder ngược $V \in RH_\gamma$ với chỉ số $\gamma > \max\left{ \frac{n}{p}, \frac{np}{np - n + p} \right}$.

Phương pháp nghiên cứu thực tế bao gồm phương pháp đánh giá nhiễu loạn/so sánh nghiệm (perturbation and comparison estimates), phương pháp hàm phân phối và tập mức dạng good-$\lambda$, kết hợp bổ đề phủ Vitali trên miền biên Reifenberg để suy rộng các ước lượng tích phân địa phương thành đánh giá chuẩn toàn cục trong thang không gian Lorentz. Nguồn tư liệu nghiên cứu kế thừa các kết quả nền tảng của Grafakos, Bruce, Lee & Ok (2018), Tran & Nguyen (2019, 2020, 2021).

Nội dung chính theo từng chương

Chương 1: Kiến thức chuẩn bị

Chương 1 thiết lập hệ thống định nghĩa, ký hiệu và các bổ đề giải tích cơ sở làm nền tảng cho toàn bộ chứng minh:

  • Trình bày định nghĩa hình học miền $(r_0, \delta)$-Reifenberg dựa trên khoảng cách Hausdorff $d_H(\partial\Omega \cap B_r(x), S(x,r) \cap B_r(x)) \le \delta r$ và cấu trúc tập lân cận biên $B^+, B^-$.
  • Hệ thống hóa bất đẳng thức Hölder và bất đẳng thức Young dạng có trọng số tham số $\varepsilon > 0$: $|ab| \le \varepsilon |a|^p + \varepsilon^{-\frac{q}{p}} |b|^q$.
  • Trình bày không gian Lorentz $L^{q,s}(\Omega)$ thông qua tích phân hàm phân phối mức độ đo và tính chất mở rộng trực tiếp từ không gian Lebesgue (khi $s = q = p$).
  • Trình bày không gian Sobolev $W^{1,p}(\Omega)$, $W_0^{1,p}(\Omega)$, các dạng công thức Green phân kỳ đối với hàm vô hướng và trường vectơ, định lý nhúng Sobolev liên tục vào $L^{p^*}(\Omega)$.
  • Định nghĩa toán tử cực đại Hardy-Littlewood $M$, toán tử cực đại cấp phân số $M_\alpha$ và chứng minh các bổ đề bị chặn kiểu yếu $L^1 \to L^{1,\infty}$, kiểu mạnh $L^p \to L^p$, cũng như tính bị chặn trên không gian Lorentz $L^{q,s}(\mathbb{R}^n)$ và bổ đề ước lượng độ đo tập mức: $$L^n({M_\alpha f > \lambda}) \le \frac{C}{\lambda^{\frac{n}{n-\alpha}}} \left( \int_{\mathbb{R}^n} |f(y)| dy \right)^{\frac{n}{n-\alpha}}.$$

Chương 2: Các đánh giá so sánh với nghiệm phương trình thuần nhất

Chương 2 tập trung chứng minh các đánh giá sai phân năng lượng giữa nghiệm yếu $u$ của bất phương trình biến phân ban đầu và nghiệm của các phương trình elliptic thuần nhất trên quả cầu địa phương $B \subset \Omega$:

  • Xác lập dạng biến phân yếu của bài toán: tìm $u \in S$ sao cho với mọi $\phi \in S$: $$\int_\Omega \langle A(x, \nabla u), \nabla(u - \phi) \rangle dx + \int_\Omega V |u|^{q-2} u (u - \phi) dx \le \int_\Omega \langle B(x, F, g), \nabla(u - \phi) \rangle dx.$$
  • Định nghĩa hàm năng lượng tổng hợp $H(w) = |\nabla w|^p + V|w|^q$, $H_\sigma(w) = \sigma^p + |\nabla w|^p + V|w|^q$ và hàm dạng khoảng cách phi tuyến: $$\Phi(w_1, w_2) := (\sigma^2 + |\nabla w_1|^2 + |\nabla w_2|^2)^{\frac{p-2}{2}} |\nabla w_1 - \nabla w_2|^2 + V(|w_1|^2 + |w_2|^2)^{\frac{q-2}{2}} |w_1 - w_2|^2.$$
  • Thiết lập nghiệm trung gian thứ nhất $v_1 \in u + W_0^{1,p}(B)$ thỏa mãn bài toán cản một phía $v_1 \ge \psi_1$ và chứng minh $v_1 \le \psi_2$ hầu khắp nơi, cùng đánh giá $\int_B H(v_1) dx \le C \int_B (H(u) + H_\sigma(\psi_2)) dx$.
  • Thiết lập nghiệm trung gian thứ hai $v_2 \in u + W_0^{1,p}(B)$ là nghiệm phương trình vi phân có vế phải chứa hàm cản $\psi_1$: $$-\text{div}(A(x, \nabla v_2)) + V|v_2|^{q-2} v_2 = -\text{div}(A(x, \nabla \psi_1)) + V|\psi_1|^{q-2} \psi_1.$$
  • Thiết lập nghiệm thuần nhất $v \in u + W_0^{1,p}(B)$ của phương trình: $$-\text{div}(A(x, \nabla v)) + V|v|^{q-2} v = 0 \quad \text{trong } B.$$
  • Chứng minh bất đẳng thức so sánh cốt lõi: với mọi $\varepsilon > 0$, tồn tại hằng số $C(\varepsilon) > 0$ sao cho: $$\int_B H(u - v) dx \le \varepsilon \int_B H(u) dx + C(\varepsilon) \int_B (|g|^{p'} + |F|^p + H_\sigma(\psi_1) + H_\sigma(\psi_2)) dx.$$
  • Trình bày lại bất đẳng thức reverse Hölder địa phương cho nghiệm thuần nhất $v$ theo kết quả của Lee & Ok: $$\left( \frac{1}{|B_\rho|} \int_{B_\rho} (H(v))^\gamma dx \right)^{\frac{1}{\gamma}} \le \frac{C}{|B_{2\rho}|} \int_{B_{2\rho}} H(v) dx.$$

Chương 3: Đánh giá gradient trong không gian Lorentz qua toán tử cực đại và toán tử cực đại cấp phân số

Chương 3 xây dựng các định lý chính quy gradient toàn cục:

  • Sử dụng Bổ đề phủ Vitali dạng phân tích Calderón-Zygmund-Krylov-Safonov trên miền $(r_0, \delta)$-Reifenberg: nếu hai tập đo được $Q \subset N \subset \Omega$ thỏa mãn điều kiện mật độ $L^n(Q \cap B_\rho(\xi)) \ge \varepsilon L^n(B_\rho(\xi)) \implies B_\rho(\xi) \cap \Omega \subset N$, thì $L^n(Q) \le C\varepsilon L^n(N)$.
  • Định nghĩa các tập mức good-$\lambda$: $$Q_\lambda^\varepsilon = \left{ \xi \in \Omega : M(H(u))(\xi) > \varepsilon^{-\theta} \lambda, ; M(|F|^p)(\xi) \le \beta\lambda \right},$$ $$N^\lambda = \left{ \xi \in \Omega : M(H(u))(\xi) > \lambda \right}.$$
  • Chứng minh bất đẳng thức tập mức: tồn tại $\varepsilon_0 \in (0, 1)$ và $\delta > 0$ sao cho với mọi $\lambda > 0$ và $\varepsilon \in (0, \varepsilon_0)$: $$L^n(Q_\lambda^\varepsilon) \le C \varepsilon L^n(N^\lambda).$$ Chứng minh được chia thành hai trường hợp hình học: quả cầu $B_{4\rho}(\xi) \subset \Omega$ (điểm nằm sâu trong miền) và $B_{4\rho}(\xi) \cap \partial\Omega \ne \emptyset$ (điểm lân cận biên Reifenberg).
  • Chứng minh Định lý chính 3.3: Với $0 < q < \gamma$ và $0 < s \le \infty$, tồn tại $\delta > 0$ sao cho nếu bài toán thỏa mãn điều kiện $(r_0, \delta)$-BMO và $(r_0, \delta)$-Reifenberg, thì: $$|F|^p \in L^{q,s}(\Omega) \implies H(u) \in L^{q,s}(\Omega),$$ kèm theo ước lượng chuẩn $|H(u)|{L^{q,s}(\Omega)} \le C ||F|^p|{L^{q,s}(\Omega)}$.
  • Mở rộng đánh giá gradient qua toán tử cực đại cấp phân số $M_\alpha$ ($0 \le \alpha \le n$) bằng cách đưa vào toán tử cực đại dạng cắt $M_r, M_r^\alpha$ và chứng minh các bất đẳng thức giao hoán/hợp thành: $M M_\alpha f(x) \le \max{ M_r M_r^\alpha f, M_r N_r^\alpha f, N_r M_r^\alpha f }$ cùng $M_r M_r^\alpha f(x) \le C M_{2r}^\alpha f(x)$.

Kết quả và đóng góp

Khóa luận đạt được các kết quả toán học cụ thể sau:

Đối tượng / Khái niệm Điều kiện / Giả thiết toán học Kết quả / Đánh giá đạt được trong văn bản
Miền biên $\Omega$ $(r_0, \delta)$-Reifenberg flat Kiểm soát hình học biên qua khoảng cách Hausdorff $d_H \le \delta r$, thỏa mãn bổ đề phủ Vitali
Toán tử $A(x, \xi)$ Elliptic tựa tuyến tính, $(\delta, r_0)$-BMO nhỏ Triệt tiêu dao động biên độ lớn của hệ số $A(x, \cdot)$ trên các quả cầu nhỏ bán kính $\le r_0$
Thế vị $V(x)$ $V \ge 0, V \in RH_\gamma$ ($\gamma > \max{\frac{n}{p}, \frac{np}{np-n+p}}$) Đảm bảo tính khả tích cao hơn và thỏa bất đẳng thức Reverse Hölder địa phương
Sai phân nghiệm So sánh $u$ với nghiệm thuần nhất $v$ trên $B$ $\int_B H(u-v)dx \le \varepsilon \int_B H(u)dx + C(\varepsilon)\int_B (
Tập mức Good-$\lambda$ $Q_\lambda^\varepsilon$ và $N^\lambda$ trên miền Reifenberg Bất đẳng thức tỷ lệ độ đo: $L^n(Q_\lambda^\varepsilon) \le C \varepsilon L^n(N^\lambda)$ với mọi $\lambda > 0$
Chính quy gradient $0 < q < \gamma, ; 0 < s \le \infty$ $|H(u)|_{L^{q,s}(\Omega)} \le C |
Toán tử cấp phân số Toán tử cắt $M_r, M_r^\alpha$ với $0 \le \alpha \le n$ $M_r M_r^\alpha f(x) \le C M_{2r}^\alpha f(x)$, dẫn đến đánh giá gradient qua $M_\alpha$

Đóng góp của khóa luận là đã mở rộng và hoàn thiện lý thuyết chính quy gradient cho bài toán cản đôi (double obstacle problem) chứa số hạng thế vị Schrödinger phân rã phi tuyến $V|u|^{q-2}u$ và dữ liệu vế phải dạng phân kỳ trên miền có biên không trơn Reifenberg, thiết lập tường minh các chặn trên của gradient nghiệm trong thang không gian Lorentz tổng quát thay vì chỉ dừng lại ở không gian Lebesgue chuẩn.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế: Khóa luận chỉ khảo sát phương trình dạng vô hướng đơn lẻ với điều kiện biên thuần nhất Dirichlet $u = 0$ trên $\partial\Omega$; chưa xét các điều kiện biên phi thuần nhất hoặc điều kiện biên Neumann/Robin. Các đánh giá đòi hỏi số hạng thế vị $V$ phải thuộc lớp Hölder ngược bậc cao $RH_\gamma$ và hệ số toán tử $A$ phải có dao động trung bình BMO đủ nhỏ tương thích với độ phẳng Reifenberg $\delta$.
  • Hướng mở rộng: Tác giả định hướng mở rộng kỹ thuật ước lượng sang hệ phương trình elliptic tựa tuyến tính có ràng buộc cản (quasilinear elliptic systems), bài toán parabolic phụ thuộc thời gian (evolutionary obstacle problems), bài toán trong các không gian hàm với số mũ biến thiên $L^{p(x)}(\Omega)$ (variable exponent Sobolev spaces), hoặc các toán tử phi địa phương phân thứ kiểu fractional $p$-Laplacian.

Giá trị tham khảo

Tài liệu là tài liệu chuyên khảo có giá trị học thuật cao đối với:

  • Sinh viên đại học năm cuối, học viên cao học và nghiên cứu sinh chuyên ngành Toán giải tích, Phương trình vi phân và Đạo hàm riêng (PDE), Giải tích hàm phi tuyến.
  • Người nghiên cứu muốn tiếp cận phương pháp Good-$\lambda$ Calderón-Zygmund hiện đại áp dụng cho bài toán biên không trơn (Reifenberg domains).
  • Phần nội dung có giá trị tham khảo kỹ thuật nổi bật: Kỹ thuật xây dựng chuỗi nghiệm xấp xỉ ba bước ($u \to v_1 \to v_2 \to v$) trong Chương 2 và kỹ thuật tách ước lượng trên tập mức thành hai trường hợp hình học (trong miền và lân cận biên) trong Chương 3.

Câu hỏi thường gặp

1. Bài toán obstacle trong khóa luận được thiết lập dưới dạng toán học cụ thể nào và tập nghiệm chấp nhận được $S$ có cấu trúc ra sao?
Bài toán được thiết lập dưới dạng bất phương trình biến phân elliptic tựa tuyến tính: $$\int_\Omega \langle A(x, \nabla u), \nabla(u - \phi) \rangle dx + \int_\Omega V |u|^{q-2} u (u - \phi) dx \le \int_\Omega \langle B(x, F, g), \nabla(u - \phi) \rangle dx \quad (\forall \phi \in S),$$ với tập nghiệm chấp nhận được là $S := { u \in W_0^{1,p}(\Omega) : \psi_1 \le u \le \psi_2 \text{ hầu khắp nơi trong } \Omega }$, trong đó $\psi_1 \le 0 \le \psi_2$ trên $\partial\Omega$ đóng vai trò là hai hàm cản dưới và cản trên.

2. Điều kiện hình học $(r_0, \delta)$-Reifenberg đặt lên miền $\Omega$ có ý nghĩa gì trong bài toán này?
Điều kiện $(r_0, \delta)$-Reifenberg mô tả miền có biên không trơn (có thể chứa điểm fractal hoặc góc nhọn) nhưng tại mỗi điểm $x \in \partial\Omega$ và bán kính $r \le r_0$, tồn tại một siêu phẳng $S(x,r)$ sao cho khoảng cách Hausdorff giữa $\partial\Omega \cap B_r(x)$ và $S(x,r) \cap B_r(x)$ không vượt quá $\delta r$. Điều kiện này là cơ sở hình học thiết yếu để áp dụng Bổ đề phủ Vitali và kiểm soát tích phân biên.

3. Hàm năng lượng $H(w)$ và hàm khoảng cách phi tuyến $\Phi(w_1, w_2)$ được định nghĩa như thế nào?
Hàm năng lượng được định nghĩa là $H(w) = |\nabla w|^p + V|w|^q$, và $H_\sigma(w) = \sigma^p + |\nabla w|^p + V|w|^q$. Hàm khoảng cách phi tuyến được định nghĩa bởi: $$\Phi(w_1, w_2) := (\sigma^2 + |\nabla w_1|^2 + |\nabla w_2|^2)^{\frac{p-2}{2}} |\nabla w_1 - \nabla w_2|^2 + V(|w_1|^2 + |w_2|^2)^{\frac{q-2}{2}} |w_1 - w_2|^2.$$

4. Kỹ thuật so sánh trong Chương 2 sử dụng các nghiệm phụ trợ nào để chuyển tiếp từ nghiệm $u$ sang nghiệm thuần nhất $v$?
Tác giả sử dụng chuỗi ba bài toán phụ trợ trên quả cầu $B$:

  • $v_1$: Nghiệm của bài toán cản một phía $v_1 \ge \psi_1$ với dữ liệu biên $u$.
  • $v_2$: Nghiệm của phương trình vi phân $-\text{div}(A(x, \nabla v_2)) + V|v_2|^{q-2} v_2 = -\text{div}(A(x, \nabla \psi_1)) + V|\psi_1|^{q-2} \psi_1$.
  • $v$: Nghiệm của phương trình thuần nhất $-\text{div}(A(x, \nabla v)) + V|v|^{q-2} v = 0$.

5. Kết quả chính quy gradient trong không gian Lorentz (Định lý 3.3) được phát biểu chính xác như thế nào?
Định lý 3.3 phát biểu rằng: Với mỗi $0 < q < \gamma$ và $0 < s \le \infty$, tồn tại hằng số $\delta > 0$ sao cho nếu bài toán thỏa mãn điều kiện $(r_0, \delta)$-BMO và miền $\Omega$ là $(r_0, \delta)$-Reifenberg, thì khi $|F|^p \in L^{q,s}(\Omega)$, ta suy ra được $H(u) \in L^{q,s}(\Omega)$, đồng thời thỏa mãn đánh giá chặn chuẩn: $$|H(u)|{L^{q,s}(\Omega)} \le C ||F|^p|{L^{q,s}(\Omega)}.$$

Kết luận

Khóa luận tốt nghiệp của tác giả Trần Ba Sao đã giải quyết trọn vẹn bài toán đánh giá tính chính quy gradient cho lớp bài toán cản đôi elliptic tựa tuyến tính chứa thế vị Schrödinger trên miền biên không trơn Reifenberg. Thông qua việc kết hợp chặt chẽ giữa các đánh giá so sánh năng lượng địa phương, bất đẳng thức Reverse Hölder và kỹ thuật tập mức Good-$\lambda$ Calderón-Zygmund, tác giả đã thiết lập thành công chặn trên của gradient nghiệm trong thang không gian Lorentz $L^{q,s}(\Omega)$ thông qua toán tử cực đại Hardy-Littlewood và toán tử cực đại cấp phân số. Kết quả nghiên cứu đóng góp một tài liệu học thuật có cấu trúc chứng minh chặt chẽ, phục vụ hiệu quả cho việc nghiên cứu chuyên sâu trong giải tích phương trình đạo hàm riêng phi tuyến.