Phương trình Euler–Lagrange

Trong Phép tính biến phân và cơ học cổ điển, những phương trình Euler-Lagrange là một hệ thống những phương trình vi phân thường bậc 2, có nghiệm là những điểm uốn của hàm số hành động vật lý cho trước. Những phương trình ấy được khám phá thập niên 1750 bởi nhà toán học Thuỵ Sĩ Leonhard Euler và nhà toán học Ý Joseph-Louis Lagrange.

bởi vì một hàm số khả vi là điểm uốn tại điểm cực trị cục bộ của hàm ấy, phương trình Euler-Lagrange sẽ hữu ích cho giải những bài toán tối ưu mà theo đó, cho trước hàm số nào đó, ta tìm hàm số tối thiểu hoặc tối đa nó. Đây tương tự với định lý của Fermat trong vi tích phân, tuyên bố rằng tại bất cứ điểm nào thoả mãn một hàm số khả vi đạt một điểm cực trị cục bộ thì đạo hàm của nó sẽ bằng không. Trong cơ học Lagrange, tuân theo nguyên lý của Hamilton về tác dụng tối thiểu, tiến triển của một hệ vật lý sẽ được miêu tả bởi những nghiệm cho phương trình Euler cho hoạt động của hệ thống. Trong văn cảnh này, những phương trình Euler thường gọi tên là những phương trình Lagrange. Trong cơ học cổ điển, nó tương đương với các định luật chuyển động của Newton; đúng là, các phương trình Euler-Lagrange sẽ sản sinh ra cùng những phương trình giống như các định luật của Newton. Đây đặc biệt hữu ích khi phân tích những hệ thống có những vectơ lực đặc biệt phức tạp. Nó có lợi thế vì nó giữ nguyên hình thức trong bất cứ hệ thống toạ độ suy rộng nào, nó sẽ hợp hơn cho việc khái quát hoá. Trong lý thuyết trường cổ điển, có một phương trình tương tự để tính những động lực của một trường.

Lịch sử 
phương trình Euler-Lagrange được phát triển thập niên 1750 bởi Euler và Lagrange liên quan đến những nghiên cứu của họ về vấn đề đường đẳng thời. Đây là vấn đề quyết định một đường cong mà trên đó một hạt có khối lượng sẽ rơi xuống một điểm cố định trong một khoảng thời gian cố định, độc lập với điểm bắt đầu.

Lagrange giải quyết vấn đề này năm 1755 và gửi nghiệm cho Euler. Cả hai đã phát triển thêm phương pháp của Lagrange và ứng dụng nó vào cơ học, đã dẫn đến hình thành cơ học Lagrange. Hai người trao đổi thư từ, sau rốt, đã dẫn đến phép tính biến phân là thuật ngữ được Euler đặt tên năm 1766

Phát biểu 
đặt (X, L) là một hệ thống cơ học có n bậc tự do. Tại đây, X là không gian cấu hình và  L = L (t, q, v) Lagrange là một hàm số giá trị thực trơn thoả mãn q  X và v là một vectơ tốc độ n chiều (cho ai quen thuộc với hình học vi phân thì X là một đa tạp trơn, và L : Rt x TX -> R sao cho TX là chùm tiếp tuyến của X)

đặt P (a, b, xa ,xb ) là tập hợp những đường trơn q : [a, b] -> X sao cho q(a) = xa và q(b) = xb . Hàm số hành động vật lý S : P (a, b, xa, xb) -> R được định nghĩa là

S [q] = 

một đường q  P (a, b, xa, xb) là một điểm uốn của S khi và chỉ khi

(t, q(t), q'(t)) - (t, q(t), q'(t)) = 0, i = 1, ..., n

ở đây q'(t) là đạo hàm thời gian của q(t). Khi ta nói đến điểm uốn, ta ám chỉ rằng một điểm uốn của S đối với bất cứ rung động nhỏ nào trong q. Xem chứng minh dưới đây để thêm chi tiết cụ thể.Nguồn gốc của phương trình Euler-Lagrange một chiều

nguồn gốc của phương trình Euler-Lagrange một chiều là một trong những  chứng minh kinh điển trong toán học. Nó dựa vào định lý căn bản của giải tích

ta muốn tìm một hàm số f thoả mãn những điều kiện giới hạn f(a) = A và f(b) = B và sẽ cực trị hoá hàm số:

J = 

ta giả thiết rằng L khả vi liên tục hai lần. Một giả thiết lỏng lẻo hơn có thể được sử dụng, nhưng chứng minh sẽ trở nên khó khăn hơn.

nếu f cực trị hoá chủ thể hàm số đến những điều kiện giới hạn, thì bất cứ rung động nhỏ nào của f miễn là bảo toàn những giá trị giới hạn sẽ phải hoặc tăng J (nếu f là một hàm cực tiểu) hoặc giảm J (nếu f là một hàm cực đại)

đặt g(x) = f (x) + (x) là kết quả của một rung động (x) của f mà  là nhỏ và (x) là một hàm số khả vi thoả mãn  sau đó định nghĩa:

J = (x, g(x), g'(x))dx =  dx

với L = L(x, g(x), g'(x))

giờ, ta muốn tính đạo hàm toàn phần của J với cân nhắc đến 

  =    +   +     =    +     =  (x)  +  '(x) 

với dữ kiện rằng x không phụ thuộc vào  tức là   

cho nên

 =  

khi  = 0 ta có  và  và  có một giá trị cực trị, sao cho

 =  

bước tiếp theo là để sử dụng tích phân từng phần lên số hạng thứ hai của hàm lấy tích phân, sẽ được

 

sử dụng những điều kiện giới hạn  

áp dụng  định lý căn bản của giải tích ta sẽ được phương trình Euler-LagrangeNguồn gốc khác của phương trình Euler-Lagrange một chiều

cho một hàm số

trên C1([a, b]) với những điều kiện giới hạn y(a) = A và y(b) = B ta tiếp tục bằng cách ước lượng đường cong cực trị bởi một một đường khấp khuỷu có n đoạn thẳng và đạt đến giới hạn khi số lượng những đoạn thẳng tăng lớn tuỳ ý.

chia khoảng [a, b] thành n đoạn thẳng bằng nhau với những điểm cuối t0 = a, t1, t2, ... , tn = b và đặt  

thay vì một hàm số trơn y(t), ta cân nhắc đường khấp khuỷu có những đỉnh (t0, y0), ... ,(tn, yn) với y0 = A và yn = B. Theo đó, hàm số của ta trở thành một hàm số thực của n - 1 biến số 

những cực trị của hàm số mới này sẽ được định nghĩa trên những điểm rời rạc t0, ... , tn tương ứng với những điểm mà

ước lượng đạo hàm riêng này ta được

chia phương trình trên cho  ta được

và lấy giới hạn tại  -> 0 của vế tay phải của biểu thức này, ta được

vế tay trái của biểu thức trên là đạo hàm  của hàm số J

một điều kiện cần thiết cho một đạo hàm có một cực trị trên hàm số nào đó là rằng đạo hàm của nó tại hàm số đó sẽ biến mất, đúng như miêu tả bởi biểu thức cuối cùng ở trên

Ví dụ 
một ví dụ tiêu chuẩn là tìm hàm số giá trị thực y(x) trên khoảng [a, b] sao cho y(a) = c và y(b) = d tại đó độ dài quãng đường dọc theo đường cong vẽ bởi y sẽ ngắn nhất có thể

hàm lấy tích sẽ là 

những đạo hàm riêng của L sẽ là

bằng cách thay thế những đạo hàm riêng này vào phương trình Euler-Lagrange, ta được

thế là,  đạo hàm bậc nhất  của hàm số trên là một hằng số, do đó đồ thị của nó là một đường thẳng

Suy rộng

Hàm số duy nhất của biến số duy nhất với những đạo hàm bậc cao 
những giá trị điểm uốn của hàm số

có thể lấy được từ phương trình Euler-Lagrange 

dưới những điều kiện giới hạn cố định cho bản thân hàm số cũng như cho những đạo hàm từ bậc k-1 trở xuống (tức là cho tất cả f(i) với )

những giá trị điểm cuối của đạo hàm bậc cao nhất f(k) sẽ vẫn linh hoạt

Nhiều hàm số của biến số duy nhất với đạo hàm duy nhất 
nếu vấn đề liên quan đến tìm nhiều hàm số  của một biến độc lập duy nhất (x) sẽ định nghĩa một cực trị của hàm số

thì những phương trình Euler-Lagrange tương ứng sẽ là

Hàm số duy nhất của nhiều biến số với đạo hàm duy nhất 
một suy rộng đa chiều đã đến từ cân nhắc một hàm số trên n biến số. Nếu  là bề mặt nào đó, thì

đạt cực trị chỉ khi f thoả mãn phương trình đạo hàm riêng 

khi n = 2 và hàm số  là hàm số năng lượng, đây sẽ dẫn đến vấn đề bề mặt tối thiếu của màng xà phòng

Nhiều hàm số của nhiều biến số với đạo hàm duy nhất 
nếu có nhiều hàm số chưa biết cần được xác định và nhiều biến số, sao cho

hệ phương trình Euler-Lagrange sẽ là 

...

Hàm số duy nhất của hai biến số với những đạo hàm bậc cao 
nếu có một hàm số đơn chưa biết f cần được xác định, mà phụ thuộc vào hai biến số x1 và x2 và nếu hàm số phụ thuộc vào hàm số bậc cao của f lên đến bậc thứ n sao cho

...

thì phương trình Euler-Lagrange sẽ là 

có thể viết gọn lại thành

với  là các chỉ số sẽ trải ra một số biến số, mà, ở đây chúng đi từ 1 đến 2. Ở đây,  tóm lại những chỉ số  sẽ chỉ với  để tránh đếm cùng một đạo hàm riêng nhiều lần, lấy ví dụ  xuất hiện chỉ một lần trong phương trình trước đó

Nhiều hàm số của nhiều biến số với những đạo hàm bậc cao 
nếu có p phương trình chưa biết fi cần được xác định, mà phụ thuộc vào m biến số  và nếu hàm số phụ thuộc vào đạo hàm bậc cao của fi lên đến bậc thứ n sao cho

...

với  là các chỉ số trải ra một số biến số, sẽ đi từ 1 đến m. Sau đó, phương trình Euler-Lagrange sẽ là

với tổng những  sẽ tránh đếm cùng đạo hàm  lại nhiều lần, giống như phần trên. Đây có thể viết gọn thành

Suy rộng ra những đa tạp 
đặt M là một đa tạp trơn và đặt  biểu thị khoảng không gian của những hàm số trơn  sau đó với những hàm số  của dạng thức

với  là Lagrange, phát biểu  sẽ tương đương với phát biểu rằng: với tất cả   thì mỗi bản tầm thường hoá khung toạ độ  của một vùng lân cận của  ra được những phương trình M chiều

Xem thêm 

 Cơ học Lagrange
 cơ học Hamilton
 cơ học giải tích
 trường hợp Beltrami
 đạo hàm

Chú thích

Tham khảo 

 những phương trình Lagrange (trong cơ học), bách khoa toàn thư toán học, hội toán học châu Âu 2001 [1994]
 Eric Wolfgang Weisstein, phương trình vi phân Euler-Lagrange và MathWorld
 phép tính biến phân trên trang PlanetMath
 Israel Gelfand (1963). Calculus of Variations. Dover. ISBN 0-486-41448-5
 Roubicek, T.: Calculus of variations. Chap.17 in: Mathematical Tools for Physicists. (Ed. M. Grinfeld) J. Wiley, Weinheim, 2014, ISBN 978-3-527-41188-7, pp. 551–588.