Xem mã nguồn của Tích phân bội

{{Giải tích}}

'''Tích phân bội''' là một loại [[tích phân xác định]] được mở rộng cho các [[hàm số|hàm]] có nhiều hơn một biến thực, ví dụ, ''ƒ''(''x'', ''y'') hoặc ''ƒ''(''x'', ''y'', ''z''). Các tích phân của một hàm hai biến trên một vùng trong không gian ℝ<sup>2</sup> được gọi là ''tích phân kép,'' và tích phân của hàm ba biến trên một miền của '''R'''<sup>3</sup> được gọi là tích phân bội ba.<ref name=":0">[[:en:James Stewart (mathematician)|Stewart, James]] (2008). ''Calculus: Early Transcendentals'', 6th ed., Brooks Cole Cengage Learning. [[:en:Special:BookSources/9780495011668|ISBN 978-0-495-01166-8]]</ref>

==Giới thiệu==
Tích phân xác định của một hàm số dương có 1 biến là một diện tích nằm giữa đồ thị của hàm số đó và trục ''x'', '''tích phân kép''' của một hàm số dương 2 biến là thể tích được xác định bởi bề mặt tạo ra bởi hàm số đó (mặt phẳng trong tọa độ 3 chiều ''z'' = ''ƒ''(''x'', ''y'')) và mặt phẳng chứa [[tập xác định]] của nó. (Cùng một thể tích có thể thu được thông qua tích phân bội ba—tích phân của một hàm ba biến—của hàm liên tục''f''(''x'', ''y'', ''z'') = 1 trong những miền nói trên giữa bề mặt và mặt phẳng.) Nếu có nhiều biến hơn thì phép tính tích phân sẽ tạo ra các [[siêu thể tích]] của các hàm đa chiều.

Tích phân của một hàm ''n'' biến: ''f''(''x''<sub>1</sub>, ''x''<sub>2</sub>,..., ''x''<sub>''n''</sub>) trên một tập xác định ''D'' thường được biểu diễn bằng nhiều ký hiệu tích phân lồng nhau và được tính theo tứ tự từ trong ra ngoài (từ phải sang trái). Miền tích phân hoặc được biểu diễn dạng ký hiệu đối với từng dấu tích phân, hoặc được viết ngắn gọn bằng một biến phía trên của ký hiệu tích phân tận cùng bên phải:<ref>Larson/Edwards (2014)/ ''Multivariable Calculus'', 10th ed., Cengage Learning. [[:en:Special:BookSources/9781285085753|ISBN 978-1-285-08575-3]]</ref>

:<math> \int \cdots \int_\mathbf{D}\;f(x_1,x_2,\ldots,x_n) \;dx_1 \!\cdots dx_n </math>

Vì khái niệm [[nguyên hàm]] chỉ được xác định đối với các hàm số có một biến thực, nên định nghĩa thông thường của [[nguyên hàm|tích phân bất định]] không mở rộng cho tích phân nhiều biến.

==Định nghĩa==
Cho n > 1, tập xác định T gồm n đoạn nửa mở được định nghĩa là:

: <math>T=\left [ a_1, b_1 \right) \times \left [ a_2, b_2 \right) \times \cdots \times \left [ a_n, b_n \right) \subseteq \mathbb R^n.</math>

Chia mỗi đoạn [''a''<sub>''j''</sub>, ''b''<sub>''j''</sub>) thành một tập ''I''<sub>''j''</sub> các khoảng nhỏ không trùng nhau ''i''<sub>''j''<sub>''α''</sub></sub>, trong đó các khoảng nhỏ này đóng bên trái và mở bên phải.

Sau đó, một tập hợp phần tử hữu hạn ''C'' được xác lập

: <math>C=I_1\times I_2\times \cdots \times I_n</math>

là một tập con của ''T''; trong đó ''C''<sub>''k''</sub> là các phần không trùng nhau và tập hợp của chúng là ''T''.

Cho một hàm ''f'': ''T'' → '''R''' xác định trên ''T'', trong đó tập con ''C'' của ''T'' được xác định như trên, như vậy ''C'' là một tập có ''m'' phần tử ''C''<sub>''m''</sub> và

:<math>T=C_1\cup C_2\cup \cdots \cup C_m</math>

Chúng ta có thể tính gần đúng thể tích tổng thứ n-chiều được giới hạn bên dưới bởi ''T'' và bên trên bởi ''f'' theo [[tổng Riemann]]:

:<math>\sum_{k=1}^m f(P_k)\, \operatorname{m}(C_k)</math>

với ''P''<sub>''k''</sub> là điểm ở ''C''<sub>''k''</sub> và m(''C''<sub>''k''</sub>) là tích của số đoạn ''C''<sub>''k''</sub>.

'''Đường kính''' của một đoạn con ''C<sub>k</sub>'' là chiều dài lớn nhất trong các khoảng mà [[tích Descartes]] bằng ''C<sub>k</sub>''. Đường kính của một phân vùng cho trước ''T'' được định nghĩa là đường kính lớn nhất của các đoạn con trong phân vùng đó. Bằng trực giác, khi đường kính của phân vùng ''C'' được giới hạn càng ngày càng nhỏ, số lượng các đoạn con ''m'' càng lớn, và số đo m(''C<sub>k</sub>'') của mỗi đoạn con lại càng nhỏ. Hàm ''f'' được gọi là '''khả tích Riemann''' của ''f'' trên ''T'' nếu tồn tại [[Giới hạn (toán học)|giới hạn]]

<math>S=\lim_{\delta \to 0} \sum_{k=1}^m f(P_k)\, \operatorname{m}\, (C_k)</math>

, khi giới hạn tiếp nhận tất cả các phân vùng có thể có của ''T'' với đường kính tối đa là ''δ''.<ref>[[:en:Walter Rudin|Rudin, Walter]]. ''Principles of Mathematical Analysis''. Walter Rudin Student Series in Advanced Mathematics (3rd ed.). McGraw–Hill. ISBN [[:en:Special:BookSources/978-0-07-054235-8|978-0-07-054235-8.]]</ref>

Nếu ''f'' '''khả tích Riemann''' thì ''S'' được gọi là '''tích phân''' '''Riemann''' của ''f'' trên ''T'' và được ký hiệu là

:<math> \int \cdots \int_T\;f(x_1,x_2,\ldots,x_n) \;dx_1 \!\cdots dx_n </math>

Có thể viết ngắn gọn là<math>\ell = \iiint_T f(x,y,z)\, dx\, dy\, dz</math>

: <math>\int_T\!f(\mathbf{x})\,d\mathbf{x}.</math>

với '''x''' là số biến (x<sub>1</sub>,... x<sub>n</sub>) và d<sup>n</sup>'''x''' là [[vi phân]] thể tích n-chiều.

Tích phân Riemann của một hàm được xác định trên một tập n-chiều bị chặn tùy ý mà có thể được định nghĩa bằng cách mở rộng hàm đó thành một hàm được xác định trên một đoạn nửa mở có giá trị là zero bên ngoài miền của hàm ban đầu. Thì tích phân của hàm ban đầu trên miền gốc được xác định là tích phân của hàm mở rộng trên miền chữ nhật của nó, nếu nó tồn tại.

Trong phần tiếp theo tích phân Riemann trong không gian n-chiều sẽ được gọi '''tích phân bội'''.

=== Tính chất ===
Tích phân bội có nhiều tính chất chung với các tích phân của các hàm một biến (tuyến tính, giao hoán, đơn điệu, vv.). Một tính chất quan trọng của tích phân bội là giá trị của một tích phân độc lập với thứ tự của các hàm lấy tích phân dưới những điều kiện nhất định. Tính chất phổ biến này được gọi là [[định lý Fubini]].<ref>Jones, Frank (2001), ''Lebesgue Integration on Euclidean Space'', Jones and Bartlett publishers, pp. 527–529.</ref>

=== Các trường hợp đặc biệt ===
Trong trường hợp ''T'' ⊆ '''R'''<sup>2</sup>, tích phân

<math>\ell = \iint_T f(x,y)\, dx\, dy </math>

là tích phân kép của ''f'' trên ''T'', và nếu ''T'' ⊆ '''R'''<sup>3</sup> thì tích phân

<math>\ell = \iiint_T f(x,y,z)\, dx\, dy\, dz</math>

là tích phân bội ba của ''f'' trên ''T.''

Theo quy ước, tích phân kép có hai dấu tích phân, và tích phân bội ba có ba dấu; đây là một quy ước ký hiệu cực kỳ tiện lợi khi tính toán một tích phân bội như là tính một tích phân được lặp, mà sẽ được chứng minh sau trong bài viết này.

== Các phương pháp lấy tích phân ==
Trong hầu hết các trường hợp việc giải các bài toán liên quan đến tích phân bội bao gồm việc tìm kiếm một cách để giảm tích phân bội thành một [[tích phân lặp]], một loạt các tích phân một biến, từng cái được giải quyết một cách trực tiếp. Đối với các hàm số liên tục, điều này được chứng minh bằng [[định lý Fubini]]. Đôi khi, có thể thu được kết quả lấy tích phân bằng cách kiểm tra trực tiếp mà không cần tính toán.

Sau đây là một số phương pháp đơn giản lấy tích phân:<ref name=":0" />

=== Lấy tích phân các hàm liên tục ===
Khi hàm lấy tích phân là một hàm hằng ''c'', tích phân bằng với tích của ''c'' và các số đo các miền của cách lấy tích phân. Nếu ''c'' = 1 và miền là một tiểu vùng của '''R'''<sup>2</sup>, tích phân cho diện tích của vùng, trong khi nếu miền là một tiểu vùng của '''R'''<sup>3</sup>, tích phân cho thể tích của vùng.<blockquote>'''Ví dụ:''' Đặt ''f''(''x'', ''y'') = 2 và</blockquote><blockquote><math>D = \{ (x,y) \in \mathbf{R}^2\ | \ 2 \le x \le 4 \, \ 3 \le y \le 6 \}</math></blockquote><blockquote>trong trường hợp</blockquote><blockquote><math>\int_3^6 \int_2^4 \ 2 \ dx\, dy =2\int_3^6 \int_2^4 \ 1 \ dx\, dy= 2\cdot\mbox{area}(D) = (2 \cdot 3) \cdot 2 = 12</math>,</blockquote><blockquote>từ định nghĩa ta có:</blockquote><blockquote><math>\int_3^6 \int_2^4 \ 1 \ dx\, dy=\mbox{area}(D).</math></blockquote>

=== Sử dụng tính đối xứng ===
Khi miền của phép lấy tích phân đối xứng về nguồn gốc với ít nhất một trong các biến lấy tích phân và hàm lấy tích phân là [[Hàm số chẵn và hàm số lẻ|hàm lẻ]] liên quan đến biến này, tích phân bằng không, bởi vì tích phân trong hai nửa của các miền có giá trị tuyệt đối như nhau nhưng trái dấu. Khi hàm lấy tích phân là [[Hàm số chẵn và hàm số lẻ|hàm chẵn]] đối với biến này, tích phân bằng hai lần tích phân trên một nửa miền, bởi vì tích phân trên hai phần của miền đều bằng nhau.<blockquote>'''Ví dụ 1:''' Cho <math>f(x,y) = 2 \sin(x)-3y^3+5</math> có tích phân trên miền</blockquote><blockquote><math>T=\left \{ (x,y) \in \mathbf{R}^2 \ | \ x^2+y^2\le 1 \right \},</math></blockquote><blockquote>một hình tròn với [[bán kính]] 1 có tâm tại gốc bao luôn biên.</blockquote><blockquote>Sử dụng tính chất tuyến tính, tích phân có thể phân tích thành ba phần:</blockquote><blockquote><math>\iint_T (2\sin x - 3y^3 + 5) \, dx \, dy = \iint_T 2 \sin x \, dx \, dy - \iint_T 3y^3 \, dx \, dy + \iint_T 5 \, dx \, dy</math></blockquote><blockquote>Hàm <math>2\sin(x) </math> là hàm lẻ trong biến <math>x</math> và hình tròn <math>T</math> đối xứng với trục ''y'', do đó giá trị của tích phân đầu là 0. Tương tự, hàm 3''y''<sup>3</sup> là hàm lẻ của ''y'', và ''T'' đối xứng với trục ''x'', và do đó tích phân thứ ba sẽ ảnh hưởng đến kết quả cuối cùng. Do đó, tích phân gốc bằng diện tích của hình tròn nhân 5, hay 5π.</blockquote><blockquote>'''Ví dụ 2:''' Cho ''f''(''x'', ''y'', ''z'') = ''x'' exp(''y''<sup>2</sup> + ''z''<sup>2</sup>) và vùng tích phân là hình cầu bán kính 2 với tâm tại gốc,</blockquote><blockquote><math>T = \left \{ (x,y, z) \in \mathbf{R}^3\ | \ x^2+y^2+z^2 \le 4 \right \}.</math></blockquote><blockquote>"Khối cầu" đối xứng về cả ba trục, nhưng ta chỉ cần để lấy tích phân trên trục x để chứng minh rằng tích phân bằng 0, vì hàm đã cho là hàm lẻ của biến đó.</blockquote>

=== Các miền thông thường trên R<sup>2</sup> ===
<blockquote>''Xem thêm'': ''[[:en:Order of integration (calculus)|Thứ tự lấy tích phân]]''</blockquote>Phương pháp này được áp dụng cho bất kỳ miền ''D'' mà:
* phép chiếu của ''D'' vào một trong hai trục ''x'' hoặc ''y'' có biên là 2 giá trị ''a'' và ''b''
* bất kỳ đường thẳng nào vuông góc với trục này mà đi qua hai giá trị giao với miền trong một khoảng mà các điểm cuối được cho bởi đồ thị của hai hàm, α và β.
Trong tất cả các trường hợp, hàm được tính tích phân phải liên tục trên miền.

==== Trục x ====
Nếu miền ''D'' bình thường với trục ''x'', và ''f: D'' → '''R''' là một hàm liên tục; thì ''α(x)'' và ''β(x)'' (được xác định trên đoạn [''a, b'']) là hai hàm số xác định ''D''. Khi đó:

<math>\iint_D f(x,y)\ dx\, dy = \int_a^b dx \int_{ \alpha (x)}^{ \beta (x)} f(x,y)\, dy.</math>

==== Trục y ====
Nếu miền ''D'' bình thường với trục ''y'', và ''f: D'' → '''R''' là một hàm liên tục; thì ''α(y)'' và ''β(y)'' (được xác định trên đoạn [''a, b'']) là hai hàm số xác định ''D''. Khi đó:

<math>\iint_D f(x,y)\ dx\, dy = \int_a^b dy \int_{\alpha (y)}^{ \beta (y)} f(x,y)\, dx.</math>

==== Ví dụ ====
[[Tập tin:Esempio-formulediriduzione-r2.svg|thumb|Ví dụ: tích phân kép trên miền bình thường ''D'']]
Cho miền (Xin xem ảnh trong phần ví dụ):

<math>D = \{ (x,y) \in \mathbf{R}^2:  x \ge 0, y \le 1, y \ge x^2 \}</math>

Tính

<math>\iint_D (x+y) \, dx \, dy.</math>

Miền này bình thường với cả trục ''x'' và ''y''. Để áp dụng các công thức bắt buộc phải tìm ra các hàm xác định ''D'' và các khoảng trên đó đều các hàm này xác định. Trong trường hợp này, hai hàm số này là:

<math>\alpha (x) = x^2\text{ and }\beta (x) = 1</math>

lúc này khoảng được cho bởi các giao điểm của các hàm với đường thẳng x = 0, từ đó [''a, b''] = [0, 1] là khoảng cần tìm (bình thường ta chọn trục ''x'' để hình dung tốt hơn).

Bây giờ có thể áp dụng công thức:

<math>\iint_D (x+y) \, dx \, dy = \int_0^1 dx \int_{x^2}^1 (x+y) \, dy = \int_0^1 dx \ \left[xy + \frac{y^2}{2} \right]^1_{x^2}</math>

(Lúc đầu tích phân thứ hai được tính bằng cách coi x là hằng số). Các hoạt động còn lại bao gồm việc áp dụng các kỹ thuật cơ bản để lấy tích phân:

<math>\int_0^1 \left[xy + \frac{y^2}{2}\right]^1_{x^2} \, dx = \int_0^1 \left(x + \frac{1}{2} - x^3 - \frac{x^4}{2} \right) dx = \cdots = \frac{13}{20}.</math>

Nếu chọn chuẩn tắc với trục y, ta có thể tính

<math>\int_0^1 dy \int_0^{\sqrt{y}} (x+y) \, dx.</math>

và đạt được cùng 1 kết quả.

==== Các miền chuẩn tắc trên R<sup>3</sup> ====
Việc mở rộng các công thức tích phân bội ba cần được rõ ràng:

nếu ''T'' là một miền tiêu chuẩn với mặt phẳng ''xy'' và được xác định bởi các hàm α(x, y) và β(x, y), thì

<math>\iiint_T f(x,y,z) \ dx\, dy\, dz = \iint_D \int_{\alpha (x,y)}^{\beta (x,y)} f(x,y,z) \, dz dx dy</math>

(Định nghĩa này tương tự cho năm trường hợp chuẩn hoá khác trên '''R'''<sup>3</sup>).

=== Đổi biến ===
Các giới hạn của phép lấy tích phân thường không dễ thay đổi được (mà không chuẩn tắc hoặc với công thức phức tạp để tính tích phân). [[Đổi biến]] là viết lại tích phân một miền "thuận tiện" hơn, tích phân có thể được mô tả theo công thức đơn giản hơn. Để làm như vậy, hàm số phải được điều chỉnh cho tọa độ mới.<blockquote>'''Ví dụ 1a:''' Cho hàm <math> f(x, y) = (x-1)^2 +\sqrt y</math>; nếu đặt <math> x' = x-1, \ y'= y</math> thì <math>x = x' + 1, \ y=y'</math> ta có hàm mới <math>f_2(x,y) = (x')^2 +\sqrt y.</math></blockquote>
* Tương tự cho miền vì nó bị giới hạn bởi các biến gốc mà đã được biến đổi (x và y trong ví dụ).
* các vi phân dx và dy chuyển đổi qua giá trị tuyệt đối của [[định thức ma trận Jacobian]] chứa các đạo hàm riêng của những biến đổi liên quan đến biến mới (ví dụ như chuyển đổi vi phân trong tọa độ cực).
Tồn tại ba "loại" cách đổi biến chính (một cách trong '''R'''<sup>2</sup>, hai cách trong '''R'''<sup>3</sup>); tuy nhiên, phép thế tổng quát hơn có thể thực hiện bằng cách sử dụng cùng một nguyên tắc.

==== Toạ độ cực ====
[[Tập tin:Passaggio in coordinate polari.svg|thumb|Chuyển đổi từ tọa độ Descartes sang tọa độ cực.]]
Trong '''R'''<sup>2</sup> nếu miền có đối xứng tâm và hàm có một số tính chất đặc biệt mà ta có thể áp dụng việc chuyển đổi thành toạ độ cực (xem ví dụ trong hình) nghĩa là các điểm chung P(x, y) trong tọa độ Descartes chuyển sang các điểm tương ứng trong tọa độ cực. Điều đó cho phép thay đổi hình dạng miền và đơn giản hóa các phép toán.

Mối quan hệ căn bản để thực hiện phép chuyển đổi như sau:

<math>f(x,y) \rightarrow f(\rho \cos \phi,\rho \sin \phi).</math><blockquote>'''Ví dụ 2a''': Hàm <math>f(x,y) = x + y</math>, áp dụng phép biến đổi ta được:</blockquote><blockquote><math>f(\rho, \phi) = \rho \cos \phi + \rho \sin \phi = \rho(\cos \phi + \sin \phi).</math></blockquote><blockquote>'''Ví dụ 2b.''' Hàm <math>f(x,y) = x^2 + y^2</math>, trong trường hợp này ta có:</blockquote><blockquote><math>f(\rho, \phi) = \rho^2 (\cos^2 \phi + \sin^2 \phi) = \rho^2</math></blockquote><blockquote>bằng cách sử dụng [[đồng nhất thức lượng giác Pythagore]] (rất hữu ích để đơn giản hóa phép toán này).</blockquote>Việc chuyển đổi miền được thực hiện bằng cách xác định chiều dài lớn nhất của bán kính và độ phương vị của các góc được mô tả để tìm khoảng ρ, φ từ ''x, y''.
[[Tập tin:Esempio trasformazione dominio da cartesiano polare.svg|thumb|Ví dụ về một phép biến đổi miền từ toạ độ Descartes đến toạ độ cực.]]
<blockquote>'''Ví dụ 2c.''' Miền <math>D = \{ x^2 + y^2 \le 4 \}</math>, đó là một đường tròn bán kính 2; hiển nhiên rằng các góc bị phủ là góc tròn, do đó φ thay đổi từ 0 đến 2π, trong khi bán kính dao động từ 0 đến 2.</blockquote><blockquote>'''Ví dụ 2d.''' Miền <math> D = \{ x^2 + y^2 \le 9, \ x^2 + y^2 \ge 4, \ y \ge 0 \}</math> đó là chóp tròn trong nửa mặt phẳng y dương (xin xem hình ảnh trong ví dụ); φ mô tả một góc mặt phẳng trong khi ρ thay đổi từ 2 đến 3. Do đó miền được biến đổi sẽ là [[hình chữ nhật]] sau:</blockquote><blockquote><math>T = \{ 2 \le \rho \le 3, \ 0 \le \phi \le \pi \}.</math></blockquote><blockquote>[[Định thức Jacobian]] của phép biến đổi đó như sau:</blockquote><blockquote><math>\frac{\partial (x,y)}{\partial (\rho, \phi)} =
\begin{vmatrix}
\cos \phi & - \rho \sin \phi \\
\sin \phi & \rho \cos \phi
\end{vmatrix} = \rho</math></blockquote><blockquote>mà có được chính bằng cách chèn các đạo hàm riêng của <math>x=\rho\cos(\phi)</math>, <math>y=\rho\sin{\phi}</math>trong cột đầu tiên cho <math>\rho</math> và trong cột thứ hai cho <math>\phi</math>, do đó vi phân <math>dx\, dy</math>trong phép biến đổi này trở thành <math>\rho\, d\phi \, d\rho</math>.</blockquote><blockquote>Khi các hàm số được biến đổi và miền được đánh giá, có thể xác định công thức đổi biến trong tọa độ cực:</blockquote><blockquote><math>\iint_D f(x,y) \ dx\, dy = \iint_T f(\rho \cos \phi, \rho \sin \phi) \rho \, d \rho\, d \phi.</math></blockquote><blockquote><math>\phi</math> có giá trị trong khoảng <math>[0,\ 2\pi]</math> trong khi <math>\rho</math>, một số đo của chiều dài, chỉ có thể có có giá trị dương.</blockquote><blockquote>'''Ví dụ 2e.''' Cho hàm <math>f(x,y) = x</math>và miền giống như Ví dụ 2d''.'' Từ các phân tích trước đó của ''D'' chúng ta biết được các khoảng ρ (từ 2 lên 3) và φ (từ 0 đến π). Bây giờ hãy thay đổi các hàm:</blockquote><blockquote><math>f(x,y) = x \longrightarrow f(\rho,\phi) = \rho \cos \phi.</math></blockquote><blockquote>cuối cùng áp dụng công thức tích phân</blockquote><blockquote><math>\iint_D x \, dx\, dy = \iint_T \rho \cos \phi \rho \, d\rho\, d\phi.</math></blockquote><blockquote>Vì các khoảng đã được biết, ta được:</blockquote><blockquote><math>\int_0^\pi \int_2^3 \rho^2 \cos \phi \, d \rho \, d \phi = \int_0^\pi \cos \phi \ d \phi \left[ \frac{\rho^3}{3} \right]_2^3 = \left[ \sin \phi \right]_0^\pi \ \left(9 - \frac{8}{3} \right) = 0.</math></blockquote>

==== Tọa độ hình trụ ====

==== Tọa độ cầu ====

== Ví dụ ==

=== Tích phân kép ===

=== Tính thể tích ===

== Tích phân bội suy rộng ==

== Tích phân bội và tích phân lặp ==

== Một số ứng dụng thực tế ==

== Xem thêm ==

==Tham khảo==
{{tham khảo}}
==Liên kết ngoài==
* {{MathWorld | urlname=MultipleIntegral | title=Multiple Integral}}
* {{SpringerEOM | urlname=M/m065370 | title=Multiple integral | author=L.D. Kudryavtsev}}
* [http://user.mendelu.cz/marik/maw/index.php?lang=en&form=integral2 Mathematical Assistant on Web] online evaluation of double integrals in [[Cartesian coordinate system|Cartesian coordinates]] và [[polar coordinate system|polar coordinates]] (includes intermediate steps in the solution, powered by [[Maxima (software)]])

[[Thể loại:Tích phân]]
[[Thể loại:Giải tích nhiều biến]]

[[de:Integralrechnung#Mehrdimensionale Integration]]