Phiếm hàm (toán học)

Trong toán học, thuật ngữ " phiếm hàm " (danh từ, tiếng Anh là functional) có ít nhất 3 nghĩa sau :
Bài viết này chủ yếu nói đến khái niệm thứ hai, nảy sinh vào đầu thế kỷ 18 như một phần của phép tính biến phân - calculus of variations. Khái niệm đầu tiên hiện đại và trừu tượng hơn, được thảo luận chi tiết trong một bài viết khác là dạng tuyến tính. Khái niệm thứ ba được trình bày trong bài viết về hàm thứ bậc cao.
Thông thường, formula_3 là một không gian hàm. Trong trường hợp này, " phiếm hàm " được hiểu là một " hàm của một hàm ", và một số tác giả cũ thực sự định nghĩa thuật ngữ "phiếm hàm" có nghĩa là " hàm của một hàm ". Tuy nhiên, việc formula_3 là không gian hàm không nhất thiết về mặt toán học, vì vậy định nghĩa cũ không còn phổ biến nữa.
Thuật ngữ này bắt nguồn từ phép tính biến phân, trong đó người ta tìm kiếm một hàm làm tối thiểu hóa (hoặc tối đa hóa) một hàm cho trước. Một ứng dụng đặc biệt quan trọng trong vật lý là tìm kiếm trạng thái của một hệ thống giảm thiểu hóa (hoặc tối đa hóa) một tác động, hay nói cách khác là tích phân theo thời gian của Lagrange.
Chi tiết.
Tính đối ngẫu
Ánh xạ 
 formula_11
là một hàm, trong đó formula_12 là đối số của formula_13. Đồng thời, ánh xạ biến một hàm thành giá trị của hàm đó tại một điểm 
 formula_14
được gọi là một "phiếm hàm," còn formula_12 được gọi là môt "tham số."
Với điều kiện formula_13 là một hàm tuyến tính từ một không gian vectơ đến trường vô hướng bên dưới, các ánh xạ tuyến tính trên là đối ngẫu với nhau, và trong giải tích hàm cả hai đều được gọi là phiếm hàm tuyến tính.
Tích phân xác định
Những tích phân như 
formula_17
tạo thành một lớp phiếm hàm đặc biệt. Chúng ánh xạ một hàm formula_13 thành một số thực, với điều kiện formula_19 là giá trị thực. Các ví dụ gồm có 
 formula_22
 formula_26
 formula_29
Không gian tích trong (không gian Hausdorff tiền Hilbert)
Cho một không gian tích trong (Inner product space) formula_3 với tích trong formula_31, và một véc tơ cố định formula_32. Ánh xạ xác định bởi 
 formula_33
là một phiếm hàm tuyến tính trên formula_3. Tập hợp 
 formula_35
là một không gian véctơ con của formula_36, gọi là "không gian rỗng - null space," hay còn được biết là "nhân - kernel" của phiếm hàm, hoặc "phần bù trực giao" của formula_37, kí hiệu là formula_38
Lấy ví dụ, trên tập formula_39 gồm những hàm khả tích bậc 2 trên formula_40, và một hàm có định formula_41, ta xác định được một phiếm hàm tuyến tính 
 formula_42
Tính địa phương
Nếu giá trị của một phiếm hàm có thể được tính toán cho các đoạn nhỏ của đường cong đầu vào và sau đó lấy tổng lại để tìm tổng giá trị, thì hàm được gọi là "có tính địa phương". Nếu không nó được gọi là "không địa phương". Ví dụ :
 formula_43
là địa phương trong khi
 formula_44
là phi địa phương. Điều này thường xảy ra khi các tích phân nằm riêng biệt ở tử số và mẫu số của một biểu thức, chẳng hạn như trong các phép tính khối lượng tâm.
Giải phương trình
"Bài viết chính : Phương trình hàm"
Cách sử dụng truyền thống cũng được áp dụng khi người ta nói về một phương trình hàm, nghĩa là một phương trình giữa các phiếm hàm: một phương trình formula_45 giữa các phiếm hàm có thể được đọc như một 'phương trình cần giải', với các nghiệm chính là các hàm. Trong các phương trình như vậy có thể có nhiều biến số chưa biết, như khi người ta nói rằng một hàm cộng tính formula_13 "là một hàm thỏa mãn phương trình hàm :"
 formula_47
Đạo hàm và tích phân.
Đạo hàm phiếm hàm được dùng nhiều trong cơ học Lagrange. Đúng như tên gọi, chúng là đạo hàm của các phiếm hàm, nghĩa là chúng mang thông tin về sự thay đổi của phiếm hàm khi hàm đầu vào thay đổi một lượng nhỏ.
Richard Feynman đã sử dụng tích phân phiếm hàm làm ý tưởng trung tâm trong tổng kết về lịch sử của công thức cơ học lượng tử của ông. Cách sử dụng này ngụ ý một tích phân được sử dụng trên một số không gian hàm.