✨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 : nhỏ|451x451px|Phiêm hàm [[Chiều dài cung - Arc length|chiều dài cung đi từ miền không gian véctơ các đường cong hiệu chỉnh, một không gian con của $C\backslash big([0,1],\backslash mathbb\; R^3\backslash big)$, vào tập $\backslash mathbb\; R$. Đây là ví dụ về một phiếm hàm phi tuyến.]]

• Trong đại số tuyến tính, thuât ngữ "phiếm hàm" nói đến một ánh xạ tuyến tính từ một không gian véctơ $V$ vào một trường vô hướng của nó, nghĩa là ánh xạ này là một phần tử của không gian đối ngẫu $V^*$.
• Trong giải tích toán học, nói chung và theo lịch sử, nó ám chỉ một ánh xạ từ một không gian $X$ vào tập số thực $\backslash mathbb\; R$, hoặc đôi khi là từ $X$ vào tập số phức $\backslash mathbb\; C$, với mục đích là thiết lập một cấu trúc giống với vi tích phân trên $X$. Tùy vào mỗi tác giả, những ánh xạ như vậy có thể hoặc không nhất thiết tuyến tính, hoặc được xác định trên toàn không gian $X$.
• Trong khoa học máy tính, nó đồng nghĩa với các hàm thứ bậc cao, tức là các hàm nhận các hàm làm đối số hoặc trả về chúng.

nhỏ|239x239px|Tích phân Riemann là một phiếm hàm tuyến tính trên không gian véctơ của các hàm khả tích Riemann trên $[a,b]$, với $a,b\backslash in\backslash mathbb\; R$.

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, $X$ 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 $X$ 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ạ

$f:\backslash \; x\_0\backslash longmapsto\; f(x\_0)$ là một hàm, trong đó $x\_0$ là đối số của $f$. Đồ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 $F:\backslash \; f\backslash longmapsto\; F(f)=f(x\_0)$ được gọi là một _phiếm hàm,_ còn $x\_0$ được gọi là môt _tham số._

Với điều kiện $f$ 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ư

$I:\backslash \; f\backslash longmapsto\; I[f]=\backslash displaystyle\backslash int\backslash limits\_\backslash Omega\; H\backslash big(f(x),f\text{'}(x),\backslash dots\backslash big)\backslash mu(dx)$

tạo thành một lớp phiếm hàm đặc biệt. Chúng ánh xạ một hàm $f$ thành một số thực, với điều kiện $H$ là giá trị thực. Các ví dụ gồm có

• Diện tích (area) của hình phẳng bên dưới đồ thị của một hàm số dương $f$ trên miền $[x\_0,x\_1]$

$A:\backslash \; f\backslash longmapsto\; A[f]=\backslash int\backslash limits\_\{x\_0\}^\{x\_1\}f(x)\backslash \; dx$

• Chuẩn $L^p$ của một hàm $f$ trên một tập $D$

$\backslash |\backslash \; \backslash \; \backslash |\_\{\_\{L\_p:\backslash \; f\backslash longmapsto\; \backslash big\backslash |f\; \backslash big\backslash |\_\{\_\{L\_p=\backslash left(\backslash int\backslash limits\_D\backslash big|f(x)\backslash big|^p\backslash \; dx\backslash right)^\{\backslash frac\{1\}\{p$

• chiều dài cung (arclength) của đồ thị của một hàm số một biến $f$ trên miền $[x\_0,x\_1]$ trong mặt phẳng Oxy (một dạng của đường cong 2 chiều trong không gian Euclide)

$L:\backslash \; f\backslash longmapsto\; L[f]=\backslash int\backslash limits\_\{x\_0\}^\{x\_1\}\backslash sqrt\{1+\backslash big(f\text{'}(x)\backslash big)^2\}\backslash \; dx$ **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) $X$ với tích trong $\backslash langle\backslash \; ,\backslash \; \backslash rangle$, và một véc tơ cố định $\backslash overset\{\backslash rightarrow\}\{x\_0\}\backslash in\; X$. Ánh xạ xác định bởi

$\backslash overset\{\backslash rightarrow\}\{y\}\backslash longmapsto\backslash big\backslash langle\backslash overset\{\backslash rightarrow\}\{x\_0\},\backslash overset\{\backslash rightarrow\}\{y\}\backslash big\backslash rangle$ là một phiếm hàm tuyến tính trên $X$. Tập hợp $\backslash big\backslash \{\backslash overset\{\backslash rightarrow\}\{y\}\backslash in\; X\backslash \; |\backslash \; \backslash big\backslash langle\backslash overset\{\backslash to\}\{x\_0\},\backslash overset\{\backslash to\}\{y\}\backslash big\backslash rangle=0\; \backslash big\backslash \}$ là một không gian véctơ con của $\{\backslash displaystyle\backslash Big(X,\; \backslash langle\; \backslash \; ,\backslash \; \backslash rangle\backslash Big)\; \}$, 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 $\backslash overset\{\backslash rightarrow\}\{x\_0\}$, kí hiệu là $\backslash big\backslash \{\backslash overset\{\backslash rightarrow\}\{x\_0\}\backslash big\backslash \}^\backslash perp$

Lấy ví dụ, trên tập $L^2\backslash big([-\backslash pi,\backslash pi]\backslash big)$ gồm những hàm khả tích bậc 2 trên $[-1,1]$, và một hàm có định $g\_0\backslash in\{\backslash displaystyle\; L^\{2\}\{\backslash big\; (\}[-1,1\; ]\{\backslash big\; )$, ta xác định được một phiếm hàm tuyến tính

$\backslash langle\backslash \; ,\backslash \; \backslash rangle:\backslash \; f\backslash longmapsto\backslash big\backslash langle\; g\_0,f\backslash big\backslash rangle=\backslash int\backslash limits\_\{-1\}^1g\_0(x)f(x)\backslash \; dx$ **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ụ :

$F:\backslash \; f\backslash longmapsto\; F[y]=\backslash int\backslash limits\_\{x\_0\}^\{x\_1\}y(x)\backslash \; dx$ là địa phương trong khi $F:\backslash \; f\backslash longmapsto\; F[y]=\backslash displaystyle\backslash frac\{\backslash displaystyle\backslash int\backslash limits\_\{x\_0\}^\{x\_1\}y(x)\backslash \; dx\}\{\backslash displaystyle\backslash int\backslash limits\_\{x\_0\}^\{x\_1\}\backslash big[1+y(x)^2\backslash big]dx\}$ 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 $F=G$ 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 $f$ là một hàm thỏa mãn phương trình hàm :

$f(x+y)=f(x)+f(y)$

Đạ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.