Phương trình Helmholtz

Phương trình Helmholtz, đặt tên theo Hermann von Helmholtz, là một phương trình vi phân riêng phần elliptic
với formula_2 là toán tử Laplace, formula_3 là hằng số, và hàm số chưa biết formula_4 được định nghĩa trên không gian Euclid "n"-chiều R"n" (thông thường "n"=1, 2, hay 3, khi nghiệm của phương trình này có ý nghĩa vật lý).
Xuất phát của phương trình.
Phương trình Helmholtz thường xuất hiện trong các nghiên cứu về các bài toán vật lý liên quan đến phương trình đạo hàm riêng trong cả không gian và thời gian. Phương trình Helmholtz, đại diện cho dạng không phụ thuộc vào thời gian của phương trình nguyên thủy, thường là kết quả của việc áp dụng kĩ thuật phân tách biến để làm giảm độ phức tạp của việc phân tích bài toán.
Ví dụ, ta xét phương trình sóng:
Phân tách biến bắt đầu bằng cách giả sử rằng hàm sóng "u"("t") thật sự là có thể phân tách được:
và
Thay thế dạng này vào phương trình sóng, và sau đó đơn giản, ta có 2 phương trình vi phân:
và formula_9 với formula_3 là vectơ sóng và ω là tần số góc. Do vậy ta có thể viết lại như là:
Để ý là do bản chất của ansatz (nghiệm phỏng đoán) cho formula_12 formula_13 thỏa mãn:
với formula_15
Bây giờ ta có phương trình Helmholtz cho biến không gian formula_16 và một phương trình vi phân bậc 2 về thời gian. Nghiệm theo thời gian sẽ là một tổ hợp tuyến tính của các hàm sine và cosine, với tần số góc ω, trong khi dạng của nghiệm trong không gian sẽ phụ thuộc vào các điều kiện biên.
Hoặc theo cách khác, sử dụng các biến đổi tích phân, chẳng hạn như biến đổi Laplace hay biến đổi Fourier, thường được sử dụng để biến đổi một phương trình đạo hàm riêng hyperbolic thành một dạng của phương trình Helmholtz.
Bởi vì mối liên quan với phương trình sóng, phương trình Helmholtz thường nảy sinh trong các bài toán của các ngành vật lý như các nghiên cứu về bức xạ điện từ trường, địa chấn(seismology), và lan truyền âm thanh.
Giải phương trình Helmholtz bằng phương pháp phân tách biến.
Tấm mỏng rung động.
Dạng tương tự của sợi dây rung động trong không gian 2 chiều là một tấm mỏng rung động, với cạnh của tấm được kẹp lại bất động. Phương trình Helmholtz được giải cho nhiều dạng cơ bản trong thế kỉ thứ 19: tấm mỏng hình chữ nhật bởi Siméon Denis Poisson vào năm 1829, tấm hình tam giác đều bởi Gabriel Lamé vào năm 1852, và tấm mỏng hình tròn bởi Alfred Clebsch vào năm 1862. Hình mặt trống bầu dục được nghiên cứu bởi Emile Mathieu, dẫn đến phương trình vi phân Mathieu. Các hình dạng giải được đều tương ứng với những hình dạng mà bảng billiard động là tích phân được, nghĩa là không hỗn loạn.
Nếu miền là một hình tròn đường kính "a", thường người ta đổi sang tọa độ cực "r" và θ. Phương trình Helmholtz bây giờ có dạng
Chúng ta có thể giả sử điều kiện biên là "A" biến mất nếu "r"="a"; do vậy
Phương pháp phân tích biến dẫn đến nghiệm thử có dạng
với Θ phải tuần hoàn với chu kì 2π. Điều này dẫn tới
và
Do điều kiện tuần hoàn nên ta có
và rằng "n" phải là một số nguyên. Phần theo bán kính "R" có dạng
với hàm số Bessel "Jn"(ρ) thỏa mãn phương trình Bessel
và ρ="kr". Hàm số theo bán kính "Jn" 
có vô số nghiệm với mỗi giá trị của n, ký hiệu bởi ρ"m,n". Điều kiện biên rằng "A" bằng 0 với "r"="a" sẽ được thỏa mãn nếu như chu kì tương ứng được cho bởi
Nghiệm tổng quát "A" sau đó sẽ là chuỗi kép vô hạn của các hạng tử với tích của các
Những nghiệm này là những tần số rung động của một mặt trống hình tròn.
Nghiệm trong không gian 3 chiều.
Trong tọa độ cầu, nghiệm của phương trình là:
Nghiệm này thường gặp trong các nghiệm theo biến không gian của phương trình sóng và phương trình truyền nhiệt. Ở đây formula_28 và formula_29 là những hàm số cầu Bessel, và
là những hàm cầu điều hòa (Abramowitz và Stegun, 1964). Chú ý là những dạng này là những nghiệm tổng quát, và cần những điều kiện biên để sử dụng ở các trường hợp cụ thể. Với những miền bên ngoài kéo ra vô hạn, một điều kiện phát xạ có thể là cần thiết (Sommerfeld, 1949).
Paraxial form.
The paraxial form of the Helmholtz equation is:
where
is the transverse form of the Laplacian.
This equation has important applications in the science of optics, ở đó nó provides solutions that describe the propagation of electromagnetic waves (light) in the form of either paraboloidal waves or Gaussian beams. Most lasers emit beams that take this form.
In the paraxial approximation, the complex magnitude of the electric field "E" becomes
where "A" represents the complex-valued amplitude of the electric field, which modulates the sinusoidal plane wave represented by the exponential factor.
The paraxial approximation places certain upper limits on the variation of the amplitude function "A" with respect to longitudinal distance "z". Specifically:
and
These conditions are equivalent to saying that the angle θ between the wave vector k and the optical axis "z" must be small enough so that
Inhomogeneous Helmholtz equation.
The inhomogeneous Helmholtz equation is the equation
where formula_38 is a given function with compact support, and formula_39
In order to solve this equation uniquely, one needs to specify a boundary condition at infinity, which is typically the Sommerfeld radiation condition
uniformly in formula_41 with formula_42, where the vertical bars denote the Euclidean norm.
With this condition, the solution to the inhomogeneous Helmholtz equation is the convolution
(notice this integral is actually over a finite region, since formula_44 has compact support). Here, formula_45 is the Green's function of this equation, that is, the solution to the inhomogeneous Helmholtz equation with formula_44 equaling the Dirac delta function, so formula_45 satisfies
The expression for the Green's function depends on the dimension of the space. One has
for formula_50
for formula_52, where formula_53 is a Hankel function, and
for formula_55