[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"_public_topic_publications_nghi%E1%BB%87m%20m%E1%BA%A1nh{\"limit\":5}":3,"_public_topic_byId_nghiệm mạnh":11},{"code":4,"data":5,"meta":10},"SUCCESS",{"latest":6,"mostCited":7,"vietnamFeatured":8,"vietnamLatest":9},[],[],[],[],null,{"code":4,"data":12,"meta":10},{"id":13,"title":14,"description":15,"content":16,"term":17,"englishTitle":18,"synonyms":10,"definition":19,"discipline":20,"references":21,"faqs":41,"createUser":51,"publishUser":55,"keywords":59,"keywordCount":70,"enrichTopicLink":71,"status":72,"createTime":73,"updateTime":74,"publishTime":75,"linkEnrichedTime":76,"publicationScanTime":10,"contentErrorMessage":10,"viewCount":77,"relateTopics":78},"nghiệm mạnh","Nghiệm mạnh là gì? Các bài nghiên cứu khoa học liên quan","Nghiệm mạnh của PDE là hàm đủ khả vi trong không gian Sobolev sao cho phương trình được thỏa mãn pointwise tại hầu hết mọi điểm, đảm bảo đạo hàm tồn tại điểm-thức. Định nghĩa này đòi hỏi đạo hàm truyền thống phải thuộc các không gian Sobolev thích hợp, khác với nghiệm yếu chỉ yêu cầu hàm thỏa mãn dạng tích phân dưới dấu hội tụ. ","\u003Cp>\u003Cstrong>Nghiệm mạnh\u003C\u002Fstrong> (\u003Cem>Strong solution\u003C\u002Fem>) là trong lý thuyết phương trình vi phân và phương trình vi phân ngẫu nhiên (SDE) là một hàm khả vi hoặc quá trình ngẫu nhiên thỏa mãn phương trình một cách cổ điển tại hầu khắp mọi điểm, hoặc đối với SDE là quá trình được xây dựng thích ứng trực tiếp trên cùng một không gian xác suất và chuyển động Brown cho trước.\u003C\u002Fp>\u003Cp>Nghiệm mạnh của một phương trình đạo hàm riêng (PDE) là hàm đủ điều kiện khả vi sao cho phương trình được thỏa mãn tại hầu hết mọi điểm trong miền nghiên cứu. Cụ thể, với PDE điển hình  \n\u003Cscript type=\"math\u002Ftex\">\\partial_t u - \\Delta u = f,\u003C\u002Fscript>  \nmột hàm \u003Cem>u\u003C\u002Fem> được gọi là nghiệm mạnh nếu  \n\u003Cscript type=\"math\u002Ftex\">u,\\;\\partial_t u,\\;\\nabla^2 u\\in L^2(\\Omega)\u003C\u002Fscript>  \nvà phương trình hold pointwise almost everywhere (a.e.).\u003C\u002Fp>\n\u003Cp>Điều kiện này đòi hỏi \u003Cem>u\u003C\u002Fem> có {{topic|%7B%22topic%22%3A%22%C4%91%E1%BA%A1o%20h%C3%A0m%22%7D}} theo từng biến theo nghĩa truyền thống (classical derivative), không chỉ đạo hàm yếu (weak derivative). Việc yêu cầu đạo hàm {{topic|%7B%22topic%22%3A%22t%E1%BB%93n%20t%E1%BA%A1i%22%7D}} pointwise giúp phân tích trực tiếp các tính chất local của nghiệm, như {{topic|%7B%22topic%22%3A%22t%C3%ADnh%20li%C3%AAn%20t%E1%BB%A5c%22%7D}} của gradient hay độ mịn của hàm. Tài liệu tham khảo chi tiết về định nghĩa nghiệm mạnh có thể xem tại \u003Ca href=\"https:\u002F\u002Fencyclopediaofmath.org\u002Fwiki\u002FStrong_solution\" target=\"_blank\" rel=\"noopener\">Encyclopedia of Mathematics\u003C\u002Fa>.\u003C\u002Fp>\n\u003Cp>Trong thực tế, nghiệm mạnh thường được {{topic|%7B%22topic%22%3A%22t%C3%ACm%20ki%E1%BA%BFm%22%7D}} trong không gian Sobolev cao cấp, đảm bảo đủ điều kiện về {{topic|%7B%22topic%22%3A%22t%C3%ADch%20ph%C3%A2n%22%7D}} và tính khả vi. Khác với {{topic|%7B%22topic%22%3A%22nghi%E1%BB%87m%20c%E1%BB%95%20%C4%91i%E1%BB%83n%22%7D}} yêu cầu \u003Cem>u\u003C\u002Fem> có đạo hàm mọi bậc xuất hiện trong PDE, nghiệm mạnh chỉ cần đạo hàm xuất hiện trong PDE thuộc một không gian Lebesgue hay Sobolev nhất định. Điều này mở rộng khả năng áp dụng cho các PDE có hệ số không liên tục hoặc miền {{topic|%7B%22topic%22%3A%22ph%E1%BB%A9c%20t%E1%BA%A1p%22%7D}}.\u003C\u002Fp>\n\n\u003Ch2>So sánh với nghiệm yếu\u003C\u002Fh2>\n\u003Cp>Nghiệm yếu (weak solution) chỉ yêu cầu hàm \u003Cem>u\u003C\u002Fem> và đạo hàm yếu của nó xuất hiện dưới dấu tích phân thỏa mãn dạng phân bố (distribution form) của PDE. Ví dụ với cùng PDE  \n\u003Cscript type=\"math\u002Ftex\">\\partial_t u - \\Delta u = f,\u003C\u002Fscript>  \nthì {{topic|%7B%22topic%22%3A%22nghi%E1%BB%87m%20y%E1%BA%BFu%22%7D}} \u003Cem>u\u003C\u002Fem> cần thỏa mãn  \n\u003Cscript type=\"math\u002Ftex\">\\int_\\Omega ( -u\\,\\partial_t\\varphi + \\nabla u\\cdot\\nabla\\varphi )\\,dx = \\int_\\Omega f\\,\\varphi\\,dx\u003C\u002Fscript>  \nvới mọi hàm thử \u003Cem>ϕ\u003C\u002Fem> mịn có compact support.\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>\u003Cstrong>Nghiệm yếu\u003C\u002Fstrong> phù hợp khi đạo hàm mạnh không tồn tại hoặc miền có biên dạng phức tạp.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Nghiệm mạnh\u003C\u002Fstrong> đòi hỏi {{topic|%7B%22topic%22%3A%22r%C3%A0ng%20bu%E1%BB%99c%22%7D}} khắt khe hơn, đảm bảo đạo hàm tồn tại pointwise và có thể {{topic|%7B%22topic%22%3A%22khai%20th%C3%A1c%22%7D}} tính chất local.\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>Ưu điểm của nghiệm mạnh nằm ở khả năng sử dụng trực tiếp các công cụ tính toán số, như phương pháp sai phân hữu hạn (FDM) hay phần tử hữu hạn (FEM), nơi yêu cầu khả vi để đánh giá gradient và laplacian tại từng nút lưới. Trong khi đó, nghiệm yếu thích hợp cho bằng chứng tồn tại – duy nhất thông qua các bất đẳng thức tích phân và kỹ thuật compactness.\u003C\u002Fp>\n\n\u003Ch2>Không gian Sobolev và điều kiện định nghĩa\u003C\u002Fh2>\n\u003Cp>Không gian Sobolev \u003Cscript type=\"math\u002Ftex\">H^k(\\Omega)\u003C\u002Fscript> bao gồm các hàm \u003Cem>u\u003C\u002Fem> mà u và các đạo hàm weak tới bậc \u003Cem>k\u003C\u002Fem> đều thuộc \u003Cscript type=\"math\u002Ftex\">L^2(\\Omega)\u003C\u002Fscript>. Nghiệm mạnh thường được xét trong không gian  \n\u003Cscript type=\"math\u002Ftex\">H^2(\\Omega)\u003C\u002Fscript> hoặc cao hơn, tùy vào bậc nghiệm cần tính toán. Các định lý embedding của Sobolev đảm bảo khi bậc Sobolev vượt ngưỡng nhất định, nghiệm trở nên liên tục hay có đạo hàm liên tục.\u003C\u002Fp>\n\u003Ctable>\n  \u003Cthead>\n    \u003Ctr>\u003Cth>Không gian\u003C\u002Fth>\u003Cth>Yêu cầu đạo hàm\u003C\u002Fth>\u003Cth>Kết quả embedding\u003C\u002Fth>\u003C\u002Ftr>\n  \u003C\u002Fthead>\n  \u003Ctbody>\n    \u003Ctr>\n      \u003Ctd>\u003Cscript type=\"math\u002Ftex\">H^1(\\Omega)\u003C\u002Fscript>\u003C\u002Ftd>\n      \u003Ctd>\u003Cscript type=\"math\u002Ftex\">\\nabla u\\in L^2\u003C\u002Fscript>\u003C\u002Ftd>\n      \u003Ctd>u∈L^{2n\u002F(n−2)} nếu n&gt;2\u003C\u002Ftd>\n    \u003C\u002Ftr>\n    \u003Ctr>\n      \u003Ctd>\u003Cscript type=\"math\u002Ftex\">H^2(\\Omega)\u003C\u002Fscript>\u003C\u002Ftd>\n      \u003Ctd>\u003Cscript type=\"math\u002Ftex\">\\nabla^2 u\\in L^2\u003C\u002Fscript>\u003C\u002Ftd>\n      \u003Ctd>u∈C^{0,α} nếu bậc đủ cao\u003C\u002Ftd>\n    \u003C\u002Ftr>\n  \u003C\u002Ftbody>\n\u003C\u002Ftable>\n\u003Cp>Việc lựa chọn không gian Sobolev phù hợp phụ thuộc vào cấu trúc PDE và điều kiện biên. Các kết quả Sobolev embedding và trace theorem là công cụ then chốt để chuyển từ điều kiện tích phân sang điều kiện pointwise, phục vụ cho định nghĩa nghiệm mạnh.\u003C\u002Fp>\n\n\u003Ch2>Định lý tồn tại và duy nhất\u003C\u002Fh2>\n\u003Cp>Để chứng minh tồn tại và duy nhất nghiệm mạnh, thường sử dụng Lax–Milgram và phương pháp Galerkin. Biểu thức song tuyến (bilinear form) phải thỏa mãn tính coercivity và boundedness trên không gian Sobolev đã chọn. Ví dụ với phương trình elliptic  \n\u003Cscript type=\"math\u002Ftex\">- \\nabla\\cdot (A(x)\\nabla u) + c(x)u = f,\u003C\u002Fscript>  \nnếu ma trận \u003Cscript type=\"math\u002Ftex\">A(x)\u003C\u002Fscript> đối xứng, positive-definite và \u003Cscript type=\"math\u002Ftex\">c(x)\\ge 0\u003C\u002Fscript>, thì tồn tại nghiệm mạnh duy nhất \u003Cem>u\u003C\u002Fem> trong \u003Cscript type=\"math\u002Ftex\">H^1_0(\\Omega)\\cap H^2(\\Omega)\u003C\u002Fscript>.\u003C\u002Fp>\n\u003Cp>Phương pháp Galerkin xây dựng chuỗi nghiệm xấp xỉ trong không gian con hữu hạn, sau đó dùng ước lượng năng lượng (energy estimates) để đối chiếu chuẩn Sobolev và đi tới giới hạn. Bất đẳng thức Poincaré và Friedrichs hỗ trợ kiểm soát phần dư, đảm bảo hội tụ.\u003C\u002Fp>\n\u003Cul>\n  \u003Cli>Coercivity: \u003Cscript type=\"math\u002Ftex\">a(u,u)\\ge α\\|u\\|^2\u003C\u002Fscript>.\u003C\u002Fli>\n  \u003Cli>Boundedness: \u003Cscript type=\"math\u002Ftex\">|a(u,v)|\\le M\\|u\\|\\|v\\|\u003C\u002Fscript>.\u003C\u002Fli>\n  \u003Cli>Galerkin: chọn cơ sở orthonormal trong \u003Cscript type=\"math\u002Ftex\">H^1_0\u003C\u002Fscript>, xây dựng xấp xỉ tuần tự.\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>Kết quả cuối cùng cho phép khẳng định nghiệm mạnh không chỉ tồn tại duy nhất mà còn phụ thuộc liên tục vào dữ liệu đầu vào \u003Cem>f\u003C\u002Fem> và điều kiện biên, đảm bảo tính ổn định của phương trình dưới nhiễu loạn nhỏ.\u003C\u002Fp>\n\u003Ch2>Độ đều và điều kiện biên\u003C\u002Fh2>\n\u003Cp>Nghiệm mạnh phải thỏa mãn điều kiện biên pointwise trên ∂Ω, bao gồm Dirichlet (u = g) hoặc Neumann (∂ₙu = h). Tính đều (regularity) nghiên cứu mức độ mịn của u tùy theo độ mịn của hệ số và dữ liệu f, g, h. Khi A(x), c(x), f ∈ C^{k,α}(Ω̄) và biên ∂Ω đủ mịn, ta có u ∈ C^{k+2,α}(Ω̄).\u003C\u002Fp>\n\u003Cp>Đối với biên Dirichlet, không gian nghiệm thường là \u003Cscript type=\"math\u002Ftex\">H^2(Ω) ∩ H^1_0(Ω)\u003C\u002Fscript>, nghĩa là u và các đạo hàm weak đến bậc 2 thuộc L² và u|_{∂Ω} = 0 pointwise. Với điều kiện Neumann, u ∈ H²(Ω) và thỏa mãn tích phân cân bằng  \n\u003Cscript type=\"math\u002Ftex\">\\int_Ω f\\,dx + \\int_{∂Ω} h\\,ds = 0\u003C\u002Fscript>,  \nđảm bảo tính khả chiếu.\u003C\u002Fp>\n\u003Ctable>\n  \u003Cthead>\n    \u003Ctr>\u003Cth>Điều kiện biên\u003C\u002Fth>\u003Cth>Không gian nghiệm\u003C\u002Fth>\u003Cth>Yêu cầu bổ sung\u003C\u002Fth>\u003C\u002Ftr>\n  \u003C\u002Fthead>\n  \u003Ctbody>\n    \u003Ctr>\n      \u003Ctd>Dirichlet\u003C\u002Ftd>\n      \u003Ctd>\u003Cscript type=\"math\u002Ftex\">H^2(Ω)∩H^1_0(Ω)\u003C\u002Fscript>\u003C\u002Ftd>\n      \u003Ctd>u = g ∈ H^{3\u002F2}(∂Ω)\u003C\u002Ftd>\n    \u003C\u002Ftr>\n    \u003Ctr>\n      \u003Ctd>Neumann\u003C\u002Ftd>\n      \u003Ctd>\u003Cscript type=\"math\u002Ftex\">H^2(Ω)\u003C\u002Fscript>\u003C\u002Ftd>\n      \u003Ctd>\u003Cscript type=\"math\u002Ftex\">\\partialₙu = h ∈ H^{1\u002F2}(∂Ω)\u003C\u002Fscript>\u003C\u002Ftd>\n    \u003C\u002Ftr>\n  \u003C\u002Ftbody>\n\u003C\u002Ftable>\n\u003Cp>Kết quả Sobolev embedding và elliptic regularity theorem cho biết nếu f ∈ H^k(Ω) và biên đủ mịn, thì u ∈ H^{k+2}(Ω). Điều này hỗ trợ xây dựng ước lượng chuẩn cao hơn và suy ra tính liên tục của nghiệm mạnh.\u003C\u002Fp>\n\n\u003Ch2>Phương pháp chứng minh nghiệm mạnh\u003C\u002Fh2>\n\u003Cul>\n  \u003Cli>\u003Cstrong>Galerkin:\u003C\u002Fstrong> Chọn các không gian con hữu hạn V_n ⊂ H^1_0(Ω), xây dựng xấp xỉ u_n = ∑_{i=1}^n c_i φ_i. Giải hệ phương trình đại số từ điều kiện weak form, sau đó dùng energy estimates để chứng minh u_n → u trong H^1 và H^2.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Energy estimates:\u003C\u002Fstrong> Đối với elliptic form a(u,v) = ∫Ω (A∇u·∇v + c u v) dx, ước lượng coercivity và boundedness cho phép kiểm soát ||u||_{H^1} và ||u||_{H^2} thông qua ||f||_{L^2}.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Bất đẳng thức hỗ trợ:\u003C\u002Fstrong> Poincaré, Friedrichs, Sobolev embedding đóng vai trò then chốt để chuyển kết quả tích phân thành kết quả pointwise.\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>Quy trình chung:\u003C\u002Fp>\n\u003Col>\n  \u003Cli>Xây dựng xấp xỉ Galerkin và giải hệ matrix a(u_n, φ_i) = (f, φ_i).\u003C\u002Fli>\n  \u003Cli>Chứng minh tính boundedness của {u_n} trong H² bằng ước lượng energy.\u003C\u002Fli>\n  \u003Cli>Sử dụng compactness (Rellich–Kondrachov) để trích chọn dãy hội tụ và đối chiếu, kết luận tồn tại nghiệm mạnh u.\u003C\u002Fli>\n\u003C\u002Fol>\n\u003Cp>Kỹ thuật tương tự áp dụng cho PDE parabolic, với không gian Sobolev thời gian – không gian (Bochner spaces) như L²(0,T; H²(Ω)) ∩ H¹(0,T; L²(Ω)).\u003C\u002Fp>\n\n\u003Ch2>Ví dụ và ứng dụng điển hình\u003C\u002Fh2>\n\u003Cp>\u003Cstrong>Phương trình nhiệt (heat equation):\u003C\u002Fstrong>  \n\u003Cscript type=\"math\u002Ftex\">\\partial_t u - κ Δu = f\u003C\u002Fscript>  \nvới biên Dirichlet cho nghiệm mạnh u ∈ L²(0,T; H²(Ω)) ∩ H¹(0,T; L²(Ω)). Đây là cơ sở để mô hình hóa dẫn nhiệt trong vật liệu và dự báo biến thiên nhiệt độ theo thời gian. Ứng dụng trong kỹ thuật hàng không, cơ học vật liệu.\u003C\u002Fp>\n\u003Cp>\u003Cstrong>Phương trình sóng (wave equation):\u003C\u002Fstrong>  \n\u003Cscript type=\"math\u002Ftex\">\\partial_{tt} u - c² Δu = 0\u003C\u002Fscript>  \ncho nghiệm mạnh u ∈ C([0,T]; H²(Ω)) ∩ C¹([0,T]; H¹(Ω)), dùng để phân tích dao động đàn hồi, lan truyền sóng âm và địa chấn. Việc đảm bảo nghiệm mạnh giúp xác định chính xác vận tốc và biên dạng sóng.\u003C\u002Fp>\n\u003Cp>\u003Cstrong>Navier–Stokes (Reynolds thấp):\u003C\u002Fstrong>  \n\u003Cscript type=\"math\u002Ftex\">\\partial_t v + (v·∇)v - ν Δv + ∇p = 0\u003C\u002Fscript>,  \nứng dụng trong mô phỏng chất lỏng nhớt chảy chậm, dòng chảy vi mô (microfluidics). Nghiệm mạnh tại Re &lt; 1000 đảm bảo không có hiện tượng phân tách và tuôn trào rối.\u003C\u002Fp>\n\n\u003Ch2>Phương pháp số và nghiệm mạnh\u003C\u002Fh2>\n\u003Cul>\n  \u003Cli>\u003Cstrong>Finite Element Method (FEM):\u003C\u002Fstrong> Sử dụng phần tử bậc k (k ≥ 2) để đảm bảo hội tụ trong chuẩn H², xấp xỉ nghiệm mạnh trực tiếp. Phân tích sai số:  \n    \u003Cscript type=\"math\u002Ftex\">||u - u_h||_{H^2} ≤ C h^{k-1} ||u||_{H^{k+1}}\u003C\u002Fscript>.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Finite Difference Method (FDM):\u003C\u002Fstrong> Công thức sai phân bậc hai cho Laplacian, yêu cầu mesh đủ mịn và điều kiện biên rõ ràng để thu được kết quả hội tụ pointwise.\u003C\u002Fli>\n  \u003Cli>\u003Cstrong>Spectral Methods:\u003C\u002Fstrong> Phần tử orthogonal (Legendre, Chebyshev) cung cấp độ chính xác cao cho nghiệm mạnh khi u có tính mịn rất cao.\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>Điều kiện mesh (shape-regular, quasi-uniform) và độ mịn lưới h → 0 là tiền đề để đảm bảo kết quả số hội tụ tới nghiệm mạnh thực sự của PDE.\u003C\u002Fp>\n\n\u003Ch2>Thách thức và hướng nghiên cứu tương lai\u003C\u002Fh2>\n\u003Cp>Xây dựng nghiệm mạnh cho PDE phi tuyến cao cấp như Navier–Stokes 3D vẫn là bài toán mở (Millennium Prize Problem). Các tiến bộ về lý thuyết đa tạp, nonlinearity và biến đổi biên đang là hướng nghiên cứu trọng điểm.\u003C\u002Fp>\n\u003Cp>Tích hợp machine learning và phương pháp data-driven PDE solvers hứa hẹn giảm chi phí tính toán cho nghiệm mạnh phức tạp. Mạng neural physics-informed (PINNs) được khảo sát để xấp xỉ nghiệm mạnh thông qua tối ưu hàm mất mát chứa residual PDE.\u003C\u002Fp>\n\u003Cp>Nghiên cứu song song điều kiện regularity mới, tìm điều kiện đủ để đảm bảo u ∈ C^∞ khi dữ liệu đủ mịn, cũng là nội dung thu hút của cộng đồng toán học và tính toán khoa học.\u003C\u002Fp>","Nghiệm mạnh","Strong solution","Nghiệm mạnh (Strong solution) trong lý thuyết phương trình vi phân và phương trình vi phân ngẫu nhiên (SDE) là một hàm khả vi hoặc quá trình ngẫu nhiên thỏa mãn phương trình một cách cổ điển tại hầu khắp mọi điểm, hoặc đối với SDE là quá trình được xây dựng thích ứng trực tiếp trên cùng một không gian xác suất và chuyển động Brown cho trước.","NATURAL_SCIENCES",[22,29,36],{"citationText":23,"title":24,"authors":25,"source":26,"year":27,"doi":28,"url":10},"Cannone, Planchon, Schonbek (2000). Strong Solutions To The Incompressible Navier Stokes Equations In The Half Space. Communications in Partial Differential Equations.","Strong Solutions To The Incompressible Navier Stokes Equations In The Half Space","Cannone, Planchon, Schonbek","Communications in Partial Differential Equations",2000,"10.1080\u002F03605300008821536",{"citationText":30,"title":31,"authors":32,"source":33,"year":34,"doi":35,"url":10},"Xiao (2007). Homothetic variant of fractional Sobolev space with application to Navier–Stokes system. Dynamics of Partial Differential Equations.","Homothetic variant of fractional Sobolev space with application to Navier–Stokes system","Xiao","Dynamics of Partial Differential Equations",2007,"10.4310\u002Fdpde.2007.v4.n3.a2",{"citationText":37,"title":38,"authors":32,"source":33,"year":39,"doi":40,"url":10},"Xiao (2014). Homothetic variant of fractional Sobolev space with application to Navier-Stokes system revisited. Dynamics of Partial Differential Equations.","Homothetic variant of fractional Sobolev space with application to Navier-Stokes system revisited",2014,"10.4310\u002Fdpde.2014.v11.n2.a3",[42,45,48],{"question":43,"answer":44},"Sự khác biệt cốt lõi giữa nghiệm mạnh (strong solution) và nghiệm yếu (weak solution) trong phương trình vi phân ngẫu nhiên là gì?","Nghiệm mạnh yêu cầu quá trình nghiệm X_t phải thích ứng với dòng thông tin lọc sinh ra bởi một chuyển động Brown W_t cho trước trên cùng không gian xác suất; trong khi nghiệm yếu cho phép người giải tự chọn không gian xác suất và chuyển động Brown phù hợp để thỏa mãn phân phối.",{"question":46,"answer":47},"Định lý Yamada-Watanabe thiết lập mối quan hệ nền tảng nào giữa tính duy nhất và tính khả nghiệm?","Định lý khẳng định rằng: sự tồn tại của nghiệm yếu kết hợp với tính duy nhất theo quỹ đạo (pathwise uniqueness) suy ra sự tồn tại và tính duy nhất của một nghiệm mạnh duy nhất.",{"question":49,"answer":50},"Điều kiện Lipschitz cục bộ và điều kiện tăng trưởng tuyến tính đảm bảo điều gì cho nghiệm mạnh?","Đảm bảo tính tồn tại và duy nhất toàn cục của nghiệm mạnh mà quỹ đạo không bị nổ (blow-up) ra vô hạn trong thời gian hữu hạn.",{"id":52,"researcherId":10,"name":53,"imageUrl":54},1,"Nguyễn Ngọc Sơn","https:\u002F\u002Flh3.googleusercontent.com\u002Fa\u002FACg8ocLGfGsF1nYQqYK5BasTLhNu1dBrBXg2fcEgBNPXJ0p2gqLQnO7i=s96-c",{"id":56,"researcherId":10,"name":57,"imageUrl":58},2633,"Hoài Đặng","https:\u002F\u002Flh3.googleusercontent.com\u002Fa\u002FACg8ocLVXVafUxrnnC_H60UeQdpLE3UgeKGCSesypz_6Vi59B-n9C41A=s96-c",[60,61,62,63,64,65,66,67,68,69],"đạo hàm","tồn tại","tính liên tục","tìm kiếm","tích phân","nghiệm cổ điển","phức tạp","nghiệm yếu","ràng buộc","khai thác",10,true,"PUBLISHED","2025-07-27T04:38:17.186+00:00","2026-09-11T11:11:57.371+00:00","2025-07-28T10:25:29.903+00:00","2026-09-11T11:11:57.101+00:00",263,[79,82,85,88,91,94,97,100,103,106],{"id":80,"title":81,"term":80,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"năng lực mô hình hóa toán học","Năng lực mô hình hóa toán học là gì? Các nghiên cứu khoa học",{"id":83,"title":84,"term":83,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"toán cao cấp","Toán cao cấp là gì? Các nghiên cứu khoa học về Toán cao cấp",{"id":86,"title":87,"term":86,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"simulink","Simulink là gì? Các công bố khoa học về Simulink",{"id":89,"title":90,"term":89,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"autonomy","Autonomy là gì? Các công bố khoa học về Autonomy",{"id":92,"title":93,"term":92,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"bộ điều khiển pi","Bộ điều khiển Pi là gì? Các nghiên cứu về Bộ điều khiển Pi",{"id":95,"title":96,"term":95,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"tối ưu hoá","Tối ưu hoá là gì? Các nghiên cứu khoa học về Tối ưu hoá",{"id":98,"title":99,"term":98,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"phương pháp đại số","Phương pháp đại số là gì? Các nghiên cứu khoa học liên quan",{"id":101,"title":102,"term":101,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"giải thuật di truyền","Giải thuật di truyền là gì? Các công bố khoa học về Giải thuật di truyền",{"id":104,"title":105,"term":104,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"phương trình chuyển động","Phương trình chuyển động là gì? Các bài nghiên cứu khoa học",{"id":107,"title":108,"term":107,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"mô hình hóa toán học","Mô hình hóa toán học là gì? Các nghiên cứu khoa học"]