I. Hướng dẫn toàn tập về phương trình Elliptic trong toán lý 2
Giáo trình phương trình toán lý phần 2 tập trung sâu vào các phương trình đạo hàm riêng loại Elliptic. Đây là nền tảng cho việc mô tả các hiện tượng vật lý ở trạng thái dừng, tức là không thay đổi theo thời gian. Trọng tâm của chương này là ba phương trình cốt lõi: phương trình Laplace, phương trình Poisson, và phương trình Helmholtz. Mỗi phương trình này đều có dạng tổng quát liên quan đến toán tử Laplace (∇²), nhưng khác nhau về vế phải, tương ứng với trường hợp không có nguồn, có nguồn phân bố, hoặc liên quan đến bài toán trị riêng. Sự hiểu biết về phương trình Elliptic là cực kỳ quan trọng trong nhiều lĩnh vực khoa học và công nghệ, từ tĩnh điện, từ học, truyền nhiệt, đến cơ học chất lỏng. Một điểm đặc biệt của các phương trình này là dạng biểu diễn của chúng thay đổi tùy thuộc vào hệ tọa độ được sử dụng. Việc lựa chọn hệ tọa độ phù hợp (Cartesian, trụ, cầu) không chỉ giúp đơn giản hóa bài toán mà còn là chìa khóa để tìm ra nghiệm chính xác. Nội dung của giáo trình sẽ đi sâu vào việc xây dựng và giải các phương trình này trong từng hệ tọa độ, kèm theo các điều kiện biên phổ biến như Dirichlet, Neumann và Robin. Những điều kiện này mô tả trạng thái của hệ tại biên của miền khảo sát, là yếu tố không thể thiếu để đảm bảo nghiệm của bài toán là duy nhất và có ý nghĩa vật lý.
1.1. Khái niệm phương trình Laplace và các điều kiện biên
Phương trình Laplace là trường hợp cơ bản nhất của phương trình Elliptic, có dạng ∇²u = 0. Phương trình này mô tả các trường thế trong một miền không có nguồn, chẳng hạn như điện thế trong vùng không có điện tích hoặc nhiệt độ ở trạng thái dừng trong một vật không có nguồn nhiệt. Nghiệm của phương trình Laplace được gọi là các hàm điều hòa. Để tìm được một nghiệm duy nhất, phương trình phải đi kèm với các điều kiện biên. Có ba loại điều kiện biên chính:
- Điều kiện biên Dirichlet: Giá trị của hàm u được xác định trực tiếp trên biên của miền khảo sát (u = g(x,y,z)).
- Điều kiện biên Neumann: Đạo hàm theo phương pháp tuyến của hàm u được xác định trên biên (∂u/∂n = g(x,y,z)). Điều này tương ứng với việc xác định dòng chảy qua biên.
- Điều kiện biên Robin: Là sự kết hợp tuyến tính của hai điều kiện trên (αu + β(∂u/∂n) = g(x,y,z)). Việc lựa chọn và áp dụng đúng điều kiện biên là bước thiết yếu để mô hình hóa chính xác bài toán vật lý.
1.2. Phân biệt phương trình Poisson và phương trình Helmholtz
Trong khi phương trình Laplace mô tả trạng thái không nguồn, phương trình Poisson (∇²u = f(x,y,z)) lại mô tả các hệ có nguồn phân bố trong miền. Hàm f(x,y,z) biểu diễn mật độ của nguồn, ví dụ như mật độ điện tích trong điện trường hoặc nguồn nhiệt trong bài toán truyền nhiệt. Phương trình này là sự mở rộng trực tiếp của phương trình Laplace và đóng vai trò trung tâm trong lý thuyết thế. Mặt khác, phương trình Helmholtz (∇²u + λu = 0) thường xuất hiện sau khi áp dụng phương pháp tách biến cho các phương trình phụ thuộc thời gian như phương trình truyền sóng hoặc phương trình khuếch tán. Trong phương trình này, λ là hằng số tách biến, thường liên quan đến các trị riêng của hệ. Do đó, việc giải phương trình Helmholtz thực chất là một bài toán trị riêng, tìm các giá trị λ để tồn tại nghiệm không tầm thường. Cả hai phương trình này đều là những công cụ mạnh mẽ được đề cập trong giáo trình phương trình toán lý phần 2.
1.3. Vai trò toán tử Laplace trong các hệ tọa độ phổ biến
Toán tử Laplace (∇²) có biểu thức khác nhau trong các hệ tọa độ khác nhau, phản ánh cấu trúc hình học của không gian. Trong hệ tọa độ Cartesian (x, y, z), nó có dạng đơn giản nhất là tổng các đạo hàm riêng cấp hai theo mỗi biến. Tuy nhiên, đối với các bài toán có tính đối xứng trụ hoặc đối xứng cầu, việc sử dụng tọa độ Cartesian trở nên phức tạp. Thay vào đó, hệ tọa độ trụ (r, φ, z) và hệ tọa độ cầu (r, θ, φ) cung cấp một mô tả tự nhiên và hiệu quả hơn. Trong tọa độ trụ, toán tử Laplace chứa các đạo hàm theo bán kính r, góc φ và chiều cao z. Trong tọa độ cầu, nó lại được biểu diễn qua bán kính r và hai góc θ, φ. Việc nắm vững biểu thức của toán tử Laplace trong các hệ tọa độ này là điều kiện tiên quyết để có thể giải thành công các phương trình Elliptic cho các miền hình học phức tạp.
II. Bí quyết giải phương trình Laplace trong các hệ tọa độ khác nhau
Giải phương trình Laplace là một trong những kỹ năng cốt lõi được trình bày trong giáo trình phương trình toán lý phần 2. Phương pháp chung và hiệu quả nhất là phương pháp tách biến. Ý tưởng của phương pháp này là giả định nghiệm của phương trình có thể được biểu diễn dưới dạng tích của các hàm một biến, ví dụ u(x,y,z) = X(x)Y(y)Z(z). Khi thay dạng nghiệm này vào phương trình Laplace, phương trình đạo hàm riêng ban đầu sẽ được chuyển thành một hệ các phương trình vi phân thường, vốn dễ giải hơn rất nhiều. Tuy nhiên, dạng của các phương trình vi phân thường này và nghiệm của chúng phụ thuộc hoàn toàn vào hệ tọa độ được chọn. Mỗi hệ tọa độ sẽ dẫn đến một họ các hàm đặc biệt khác nhau. Ví dụ, tọa độ Cartesian dẫn đến các hàm mũ và lượng giác; tọa độ trụ dẫn đến các hàm Bessel; và tọa độ cầu dẫn đến các đa thức Legendre. Việc lựa chọn đúng hệ tọa độ không chỉ dựa vào hình dạng của miền biên mà còn là một chiến lược để đơn giản hóa quá trình tìm nghiệm. Hiểu rõ mối liên hệ giữa hệ tọa độ và các hàm đặc biệt là bí quyết để chinh phục các bài toán phức tạp liên quan đến phương trình Laplace và các nghiệm hàm điều hòa của nó.
2.1. Giải pháp trong hệ tọa độ Cartesian tọa độ Đề các
Trong hệ tọa độ Cartesian, phương trình Laplace có dạng ∂²u/∂x² + ∂²u/∂y² + ∂²u/∂z² = 0. Khi áp dụng phương pháp tách biến bằng cách đặt u(x,y,z) = X(x)Y(y)Z(z), ta thu được ba phương trình vi phân thường: X''/X = α², Y''/Y = β², Z''/Z = γ², với điều kiện α² + β² + γ² = 0. Nghiệm của các phương trình này thường là tổ hợp của các hàm sin, cosin, sinh, và cosh, hoặc hàm mũ. Dạng nghiệm cụ thể phụ thuộc vào các hằng số tách biến (âm hoặc dương), vốn được quyết định bởi điều kiện biên của bài toán. Hệ tọa độ này đặc biệt hiệu quả cho các bài toán trong miền hình hộp chữ nhật, nơi các biên song song với các trục tọa độ. Nghiệm tổng quát sau đó được xây dựng bằng cách chồng chất các nghiệm riêng, thường dưới dạng một chuỗi Fourier.
2.2. Tìm nghiệm trong hệ tọa độ trụ và sự xuất hiện hàm Bessel
Đối với các bài toán có đối xứng trụ, chẳng hạn như tìm điện thế trong một dây dẫn hình trụ, việc sử dụng hệ tọa độ trụ (r, φ, z) là lựa chọn tối ưu. Phương trình Laplace trong tọa độ trụ trở nên phức tạp hơn, nhưng phương pháp tách biến vẫn có thể áp dụng. Sau khi tách biến, phương trình cho biến góc φ và biến z vẫn dẫn đến các hàm lượng giác và hàm mũ quen thuộc. Tuy nhiên, phương trình cho biến bán kính r lại có một dạng đặc biệt: r²R'' + rR' + (k²r² - n²)R = 0. Đây chính là phương trình Bessel. Nghiệm của nó là các hàm Bessel loại một (Jₙ) và loại hai (Yₙ). Các hàm này mô tả sự biến thiên của trường theo phương bán kính trong các hệ có đối xứng trụ. Việc hiểu và sử dụng các hàm Bessel là không thể thiếu khi làm việc với các bài toán vật lý trong hình học trụ.
2.3. Lời giải trong hệ tọa độ cầu và đa thức Legendre liên kết
Khi xử lý các bài toán có đối xứng cầu, như trường hấp dẫn của một hành tinh, hệ tọa độ cầu (r, θ, φ) là công cụ mạnh nhất. Áp dụng phương pháp tách biến cho phương trình Laplace trong tọa độ cầu, ta thu được các phương trình vi phân thường cho từng biến. Phương trình cho bán kính r là một phương trình dạng Cauchy-Euler. Phương trình cho góc phương vị φ cho nghiệm lượng giác. Đáng chú ý nhất là phương trình cho góc thiên đỉnh θ, sau một phép đổi biến x = cos(θ), sẽ dẫn đến phương trình Legendre liên kết. Nghiệm của phương trình này là các đa thức Legendre liên kết Pₙᵐ(x). Các hàm này, kết hợp với các hàm lượng giác theo góc φ, tạo thành một họ các hàm trực giao trên mặt cầu được gọi là các hàm cầu điều hòa. Chúng đóng vai trò cực kỳ quan trọng trong nhiều ngành như cơ học lượng tử, địa vật lý và điện động lực học.
III. Phân tích sâu phương trình Helmholtz Nền tảng cốt lõi toán lý
Phương trình Helmholtz, với dạng ∇²H + λH = 0, là một trong những phương trình quan trọng nhất trong giáo trình phương trình toán lý phần 2. Nó không chỉ là một phương trình Elliptic độc lập mà còn là cầu nối giữa các bài toán trạng thái dừng và các bài toán phụ thuộc thời gian. Phương trình này thường nảy sinh từ việc áp dụng phương pháp tách biến cho phương trình sóng hoặc phương trình truyền nhiệt/khuếch tán. Trong quá trình này, phần không gian của nghiệm thỏa mãn phương trình Helmholtz, trong khi phần thời gian tuân theo một phương trình vi phân thường đơn giản. Hằng số tách biến λ, hay trị riêng, có ý nghĩa vật lý quan trọng, thường đại diện cho tần số dao động hoặc tốc độ tắt dần của hệ. Do đó, việc giải phương trình Helmholtz tương đương với việc tìm các trạng thái riêng (eigenstates) và tần số riêng (eigenfrequencies) của một hệ vật lý. Giống như phương trình Laplace, việc giải phương trình Helmholtz cũng phụ thuộc mạnh mẽ vào hệ tọa độ được chọn, dẫn đến sự xuất hiện của các họ hàm đặc biệt khác nhau như hàm Bessel, hàm Bessel cầu, và các đa thức Legendre.
3.1. Nguồn gốc từ phương trình truyền nhiệt và phương trình sóng
Phương trình Helmholtz không phải là một phương trình cơ bản mà thường là kết quả của một bước phân tích. Ví dụ, xét phương trình truyền nhiệt ∇²u = (1/α²)∂u/∂t. Khi tìm nghiệm ở dạng tách biến u(x,t) = H(x)T(t), ta có thể biến đổi phương trình thành (∇²H)/H = (1/α²)(T'/T). Vì vế trái chỉ phụ thuộc vào không gian (x) và vế phải chỉ phụ thuộc vào thời gian (t), cả hai vế phải bằng cùng một hằng số, ký hiệu là -λ. Điều này dẫn đến hai phương trình: phương trình không gian ∇²H + λH = 0 (chính là phương trình Helmholtz) và phương trình thời gian T' + α²λT = 0. Một quy trình tương tự cũng áp dụng cho phương trình sóng, cho thấy vai trò phổ quát của phương trình Helmholtz trong việc phân tích các chế độ dao động và khuếch tán.
3.2. Phương pháp tách biến cho phương trình Helmholtz trong tọa độ trụ
Giải phương trình Helmholtz trong hệ tọa độ trụ là một bài toán điển hình trong nhiều ứng dụng, như sóng điện từ trong ống dẫn sóng hình trụ. Sử dụng nghiệm tách biến H(r,φ,z) = R(r)Φ(φ)Z(z), phương trình đạo hàm riêng ban đầu được chia thành ba phương trình vi phân thường. Phương trình cho Φ(φ) và Z(z) dẫn đến các nghiệm lượng giác và mũ quen thuộc. Phương trình cho biến bán kính R(r) một lần nữa lại là một phương trình Bessel hoặc phương trình Bessel biến thể, tùy thuộc vào dấu của các hằng số tách biến. Cụ thể, nếu λ - k_z² > 0, ta có phương trình Bessel chuẩn. Nếu λ - k_z² < 0, ta thu được phương trình Bessel biến thể, có nghiệm là các hàm Bessel biến thể Iₙ và Kₙ, mô tả các sóng tắt dần theo phương bán kính.
3.3. Nghiệm trong tọa độ cầu và hàm Bessel cầu
Trong hệ tọa độ cầu, việc giải phương trình Helmholtz có vai trò quan trọng trong các bài toán tán xạ sóng hoặc cơ học lượng tử. Sau khi tách biến, phần góc của nghiệm vẫn được mô tả bởi các hàm cầu điều hòa, tương tự như trường hợp phương trình Laplace. Tuy nhiên, phương trình cho phần bán kính R(r) sẽ có dạng: r²R'' + 2rR' + [k²r² - n(n+1)]R = 0. Đây là phương trình Bessel cầu. Nghiệm của nó là các hàm Bessel cầu (jₙ, yₙ) và các hàm Hankel cầu. Các hàm này mô tả các sóng cầu lan truyền ra xa hoặc hội tụ về tâm. Sự xuất hiện của các hàm đặc biệt này một lần nữa khẳng định tầm quan trọng của việc nắm vững các công cụ toán học cao cấp khi nghiên cứu các phương trình toán lý.
IV. Hướng dẫn giải phương trình Poisson trong các miền hình học
Phương trình Poisson, ∇²u = f(x,y), là một sự mở rộng của phương trình Laplace để mô tả các hệ thống có sự hiện diện của nguồn hoặc mật độ điện tích. Việc giải phương trình này là một chủ đề quan trọng trong giáo trình phương trình toán lý phần 2, đòi hỏi các kỹ thuật tinh vi hơn so với trường hợp thuần nhất (Laplace). Một trong những phương pháp tiếp cận hiệu quả là dựa trên nghiệm của bài toán trị riêng tương ứng. Cụ thể, ta tìm các hàm riêng (eigenfunctions) Φₙ của toán tử Laplace (∇²Φₙ + λₙΦₙ = 0) với cùng điều kiện biên. Do tính trực giao và đầy đủ của hệ hàm riêng này, cả hàm nguồn f(x,y) và nghiệm u(x,y) đều có thể được khai triển thành chuỗi theo các hàm riêng đó. Bằng cách thay các khai triển này vào phương trình Poisson, ta có thể xác định được các hệ số trong chuỗi khai triển của nghiệm u. Một phương pháp mạnh mẽ khác là sử dụng công thức tích phân, đặc biệt là công thức tích phân Poisson cho miền tròn, cung cấp một biểu thức tường minh cho nghiệm dựa trên giá trị biên.
4.1. Kỹ thuật giải phương trình Poisson trong miền chữ nhật
Đối với phương trình Poisson trong một miền chữ nhật với điều kiện biên Dirichlet thuần nhất (u=0 trên biên), phương pháp hàm riêng là cực kỳ hiệu quả. Trước hết, ta giải bài toán trị riêng ∇²Φ + λΦ = 0 trong cùng miền chữ nhật. Bằng phương pháp tách biến, các hàm riêng được tìm thấy có dạng Φₙₘ(x,y) = sin(nπx/a)sin(mπy/b), tương ứng với các trị riêng λₙₘ. Đây chính là các hàm cơ sở của chuỗi Fourier hai chiều. Sau đó, ta khai triển cả hàm nguồn f(x,y) và nghiệm u(x,y) theo hệ hàm riêng này. Thay các chuỗi vào phương trình Poisson và sử dụng tính trực giao của các hàm sin, ta có thể tìm được mối liên hệ đại số đơn giản giữa các hệ số khai triển của u và f, từ đó xác định được nghiệm cuối cùng.
4.2. Công thức tích phân Poisson cho nghiệm trong miền tròn
Đối với bài toán Dirichlet cho phương trình Laplace (một trường hợp đặc biệt của phương trình Poisson với f=0) trong một miền tròn, có một công cụ rất mạnh mẽ là công thức tích phân Poisson. Công thức này cho phép biểu diễn giá trị của nghiệm u(r,φ) tại một điểm bất kỳ bên trong hình tròn thông qua một tích phân của các giá trị biên f(φ) trên đường tròn. Biểu thức này có dạng: u(r,φ) = (1/2π) ∫ P(r, a, φ-ψ)f(ψ)dψ, trong đó a là bán kính hình tròn và P là một hàm đặc biệt được gọi là nhân Poisson. Công thức này không chỉ cung cấp một lời giải tường minh mà còn cho thấy giá trị của hàm điều hòa tại một điểm là một trung bình có trọng số của các giá trị trên biên, với trọng số được quyết định bởi nhân Poisson.
4.3. Ý nghĩa của nhân Poisson và các bài toán biên liên quan
Nhân Poisson, P(r, a, γ) = (a² - r²)/(a² - 2arcos(γ) + r²), đóng vai trò như một hàm trọng số trong công thức tích phân. Nó luôn dương khi r < a và đạt giá trị cực đại khi γ=0, tức là tại điểm trên biên gần nhất với điểm đang xét. Điều này phản ánh một tính chất vật lý trực quan: giá trị tại một điểm bị ảnh hưởng mạnh nhất bởi các giá trị biên ở gần nó. Công thức tích phân Poisson là nền tảng để chứng minh nhiều tính chất quan trọng của hàm điều hòa, chẳng hạn như tính trơn (khả vi vô hạn) bên trong miền và nguyên lý giá trị trung bình. Mặc dù được trình bày cho phương trình Laplace, kỹ thuật này có thể được mở rộng để giải phương trình Poisson tổng quát thông qua việc sử dụng hàm Green.
V. Ứng dụng thực tiễn của phương trình toán lý trong vật lý
Các phương trình Elliptic không chỉ là những cấu trúc toán học trừu tượng mà còn là công cụ không thể thiếu để mô hình hóa vô số hiện tượng vật lý ở trạng thái cân bằng. Giáo trình phương trình toán lý phần 2 dành một phần quan trọng để minh họa những ứng dụng này, đặc biệt thông qua lý thuyết thế. Lý thuyết này nghiên cứu các trường vật lý có thể được biểu diễn bằng gradien của một hàm vô hướng, gọi là thế. Nếu một trường vector là không xoáy (rot V = 0), nó có thể được sinh ra từ một trường vô hướng (thế) theo hệ thức V = -∇ψ. Nếu trường vector này đồng thời là trường cảm ứng (div V = 0), thì thế ψ sẽ thỏa mãn phương trình Laplace ∇²ψ = 0. Lý thuyết này có ứng dụng trực tiếp trong việc mô tả trường hấp dẫn, trường tĩnh điện, trường tĩnh từ, và cả chuyển động của chất lỏng không nhớt. Việc hiểu rõ mối liên hệ giữa các khái niệm vật lý và các phương trình toán học này giúp làm sáng tỏ bản chất của nhiều định luật tự nhiên.
5.1. Lý thuyết thế Trường vô hướng và trường vector
Một trường vector V được gọi là trường thế nếu nó là gradien của một trường vô hướng ψ, tức V = ±∇ψ. Hàm ψ được gọi là thế vô hướng. Điều kiện cần để một trường vector là trường thế là rot V = 0, nghĩa là trường đó không có xoáy. Ngược lại, một trường vector được gọi là trường cảm ứng nếu div V = 0. Khi một trường vector vừa không xoáy vừa cảm ứng, nó sẽ được sinh ra từ một thế vô hướng ψ là nghiệm của phương trình Laplace (∇²ψ = 0). Điều này tạo ra một sự kết nối sâu sắc giữa các tính chất hình học của trường vector (không xoáy, không nguồn) và tính chất giải tích của hàm thế (là một hàm điều hòa). Các công cụ như toán tử gradien, div, và rot trong các hệ tọa độ khác nhau là chìa khóa để áp dụng lý thuyết này.
5.2. Mô hình hóa trường hấp dẫn và trường tĩnh điện
Trong vật lý cổ điển, trường hấp dẫn g do một vật có khối lượng M sinh ra là một trường vector. Trường này có thể được biểu diễn qua thế hấp dẫn ψ = -GM/r, theo công thức g = -∇ψ. Dễ dàng kiểm chứng rằng trong không gian không có khối lượng (r > 0), thế hấp dẫn này là một nghiệm của phương trình Laplace, ∇²ψ = 0. Tương tự, trong trường tĩnh điện, định luật Faraday (rot E = 0) cho thấy điện trường E có thể được sinh ra từ điện thế vô hướng V (E = -∇V). Định luật Gauss (div E = ρ/ε₀) chỉ ra rằng điện thế V thỏa mãn phương trình Poisson ∇²V = -ρ/ε₀. Trong vùng không gian không có điện tích (ρ=0), phương trình này trở thành phương trình Laplace, cho thấy điện thế là một hàm điều hòa.
5.3. Áp dụng trong cơ học chất lỏng và trường tĩnh từ
Lý thuyết thế cũng có ứng dụng quan trọng trong các lĩnh vực khác. Trong cơ học chất lỏng, đối với một dòng chảy của chất lỏng lý tưởng (không nén được và không nhớt), nếu dòng chảy là không xoáy (rot v = 0), thì vector vận tốc v có thể được biểu diễn qua thế vận tốc φ (v = -∇φ). Điều kiện không nén được (div v = 0) dẫn đến kết luận rằng thế vận tốc φ phải thỏa mãn phương trình Laplace. Trong trường tĩnh từ, khi không có dòng điện (J=0), định luật Ampere trở thành rot B = 0. Điều này cho phép định nghĩa một thế từ vô hướng ψₘ sao cho B = -∇ψₘ. Kết hợp với định luật Gauss cho từ trường (div B = 0), ta lại thu được phương trình Laplace ∇²ψₘ = 0. Những ví dụ này cho thấy sức mạnh thống nhất của các phương trình toán lý trong việc mô tả thế giới tự nhiên.
VI. Kết luận giáo trình toán lý phần 2 Tính chất hàm điều hòa
Phần cuối của chương về phương trình Elliptic trong giáo trình phương trình toán lý phần 2 tập trung tổng kết các tính chất quan trọng của hàm điều hòa, tức là các nghiệm của phương trình Laplace. Các tính chất này không chỉ có ý nghĩa toán học sâu sắc mà còn phản ánh những nguyên lý vật lý cơ bản. Một hàm điều hòa trong một miền V bị chặn bởi bề mặt S có những đặc tính rất đặc biệt. Chẳng hạn, tích phân của đạo hàm theo pháp tuyến của nó trên toàn bộ bề mặt S luôn bằng không, thể hiện sự bảo toàn dòng. Giá trị của hàm tại một điểm bất kỳ bên trong một hình cầu bằng giá trị trung bình của hàm trên bề mặt của hình cầu đó (nguyên lý giá trị trung bình). Tính chất này dẫn đến một hệ quả cực kỳ quan trọng là nguyên lý cực đại và cực tiểu. Một hàm điều hòa không thể đạt giá trị lớn nhất hoặc nhỏ nhất tại một điểm bên trong miền, mà các giá trị cực trị này phải nằm trên biên. Đây là cơ sở để chứng minh tính duy nhất của nghiệm cho bài toán Dirichlet và có ý nghĩa vật lý rõ ràng: nhiệt độ cao nhất trong một vật không có nguồn nhiệt phải nằm ở biên của nó.
6.1. Định nghĩa và các tính chất cốt lõi của hàm điều hòa
Một hàm u(x,y,z) được gọi là hàm điều hòa trong một miền nếu nó có đạo hàm riêng cấp hai liên tục và thỏa mãn phương trình Laplace (∇²u = 0) tại mọi điểm trong miền đó. Các hàm này còn được gọi là hàm thế. Một trong những tính chất cơ bản là nếu u là hàm điều hòa, thì tích phân ∫(∂u/∂n)dS trên một mặt kín S bao quanh miền luôn bằng không. Một tính chất quan trọng khác là nguyên lý giá trị trung bình: giá trị của hàm điều hòa tại tâm một hình cầu bằng trung bình cộng các giá trị của nó trên bề mặt hình cầu đó. Tính chất này cho thấy sự 'mượt mà' và 'san bằng' vốn có của các hiện tượng vật lý ở trạng thái dừng mà hàm điều hòa mô tả.
6.2. Nguyên lý cực đại và tính duy nhất của nghiệm bài toán Dirichlet
Một hệ quả trực tiếp của nguyên lý giá trị trung bình là nguyên lý cực đại/cực tiểu. Nguyên lý này phát biểu rằng một hàm điều hòa không hằng số trong một miền bị chặn không thể đạt giá trị cực đại hoặc cực tiểu tại một điểm trong của miền. Các điểm cực trị này phải nằm trên biên. Nguyên lý này có ý nghĩa vật lý sâu sắc, ví dụ, điểm nóng nhất hoặc lạnh nhất của một vật thể ở trạng thái cân bằng nhiệt phải nằm trên bề mặt của nó. Về mặt toán học, nguyên lý cực đại là công cụ chính để chứng minh tính duy nhất của nghiệm cho bài toán Dirichlet. Nếu có hai hàm điều hòa u₁ và u₂ cùng thỏa mãn một điều kiện biên Dirichlet cho trước, thì hiệu của chúng (u₁ - u₂) cũng là một hàm điều hòa và bằng không trên biên. Theo nguyên lý cực đại, hiệu này phải bằng không ở mọi nơi, suy ra u₁ = u₂.
6.3. Tầm quan trọng của hàm điều hòa trong nghiên cứu toán lý
Hàm điều hòa không chỉ là nghiệm của một phương trình cụ thể mà còn là một lớp hàm có cấu trúc đẹp và phong phú, là đối tượng nghiên cứu trung tâm của lý thuyết thế. Chúng xuất hiện trong hầu hết các lĩnh vực của vật lý lý thuyết và kỹ thuật. Hơn nữa, tính chất của hàm điều hòa vẫn được bảo toàn qua nhiều phép biến đổi, chẳng hạn như phép biến đổi bảo giác trong mặt phẳng phức. Nghiên cứu các phương trình Elliptic và các hàm điều hòa trong giáo trình phương trình toán lý phần 2 cung cấp cho người học một bộ công cụ giải tích mạnh mẽ và một sự thấu hiểu sâu sắc về các nguyên lý cân bằng và trạng thái dừng trong tự nhiên, mở đường cho các nghiên cứu nâng cao hơn trong toán học và vật lý ứng dụng.
