Hằng số tích phân

Trong giải tích, tích phân bất định của một hàm cho trước (hay là tập tất cả nguyên hàm) trên miền liên thông chỉ được định nghĩa bằng cách thêm một hằng số cộng, gọi là hằng số tích phân. Hằng số này biểu thị sự liên quan giữa tích phân bất định và nguyên hàm. Nếu hàm formula_1 xác định trên một khoảng và formula_2 là nguyên hàm của formula_1 thì tập "tất cả" nguyên hàm của formula_1 được cho bởi công thức formula_5 với formula_6 là một hằng số bất kỳ (nghĩa là "bất kỳ" giá trị "formula_6" nào sao cho formula_5 là nguyên hàm hợp lệ). Đôi khi để đơn giản người ta lược bỏ hằng số tích phân trong danh sách tích phân.

== Nguồn gốc của hằng số ==
Đạo hàm của hàm hằng bất kỳ là bằng 0. Khi biết một nguyên hàm formula_2 của formula_1 thì cộng hay trừ hằng số bất kỳ formula_6 với nguyên hàm trên sẽ cho ta các nguyên hàm khác, do formula_12. Hằng số tích phân là cách biểu diễn một nguyên hàm bất kỳ trong vô hạn các nguyên hàm của hàm số.

Giả sử ta muốn tìm các nguyên hàm của formula_13. Một nguyên hàm là formula_14. Một nguyên hàm khác là formula_15. Một nguyên hàm thứ ba là formula_16. Mỗi nguyên hàm đều có đạo hàm là formula_13 do đó chúng đều là nguyên hàm của formula_13.

Hằng số tích phân là một cách để biễu diễn các nguyên hàm khác nhau của cùng một hàm. Có nghĩa là tất cả nguyên hàm chỉ sai khác nhau một hằng số. Để biểu diễn tất cả nguyên hàm của formula_13, ta viết:
Thay formula_6 bởi một số sẽ sinh ra một nguyên hàm. Bằng cách viết "formula_6" thay vì một số cụ thể, ta biểu thị ngắn gọn tất cả các nguyên hàm có thể có của "formula_13". "formula_6" được gọi là hằng số tích phân. Dễ dàng chứng minh tất cả các hàm này là nguyên hàm của formula_13:

== Tính cần thiết của hằng số tích phân ==
Tuy hằng số tích phân trông có vẻ không cần thiết vì ta có thể đặt hằng số bằng 0. Hơn nữa khi tính tích phân xác định bằng cách sử dụng định lý cơ bản của giải tích, hằng số luôn bị triệt tiêu.

Tuy nhiên, đặt hằng số bằng 0 không phải lúc nào cũng thích hợp. Ví dụ hàm formula_27 có thể có ít nhất ba dạng nguyên hàm khác nhau:
Vì vậy, nếu "formula_6" bằng "0" thì vẫn còn lại một hằng số. Nghĩa là với một hàm số cho trước, không có "nguyên hàm đơn giản nhất".

Một vấn đề khác nếu đặt "formula_6" bằng 0 đó là đôi khi ta muốn tìm nguyên hàm có giá trị cho trước tại một điểm xác định (như trong bài toán giá trị khởi đầu). Ví dụ, để tìm nguyên hàm của formula_13 có giá trị 100 tại formula_32 thì chỉ có một giá trị của "formula_6" thỏa mãn (trong trường hợp này formula_34).

Hạn chế này được diễn tả theo ngôn ngữ của phương trình vi phân. Tìm tích phân bất định của hàm formula_1 cũng tương tự bài toán giải phương trình vi phân formula_36. Phương trình vi phân nào cũng có nhiều đáp án, mỗi hằng số tích phân đại diện cho một đáp án duy nhất của bài toán giá trị ban đầu thỏa mãn ba tiêu chuẩn Hadamard. Việc áp đặt điều kiện để nguyên hàm có giá trị 100 tại formula_32 chính là một điều kiện ban đầu. Mỗi điều kiện ban đầu tương ứng với một và chỉ có một giá trị của "C", cho nên nếu không có "C" sẽ không thể giải được bài toán.

Có một cách biện luận khác xuất phát từ đại số trừu tượng. Không gian của tất cả các hàm giá trị thực (thích hợp) trên tập số thực là một không gian vector với toán tử vi phân formula_38 chính là toán tử tuyến tính. Toán tử formula_38 ánh xạ đến một hàm bằng 0 khi và chỉ khi hàm đó là hàm hằng. Do đó hạt nhân của formula_38 là không gian của tất cả các hàm hằng. Quá trình tích phân bất định có mục tiêu là tìm tiền ảnh của hàm cho trước. Không có tiền ảnh chính tắc nào của một hàm cho trước nào nhưng tập của tất cả các tiền ảnh có dạng coset. Việc chọn một hằng số tương tự như việc chọn một phần tử của coset. Trong bối cảnh này việc giải bài toán giá trị ban đầu được ngẩm hiểu nằm trong siêu phẳng cho trước bởi điều kiện ban đầu.

== Nguyên nhân tồn tại một hằng số khác biệt giữa các nguyên hàm ==
Phát biểu: Cho formula_41 và formula_42 là 2 hàm khả vi tại mọi điểm. Giả sử formula_43 với mọi số thực "x" thì tồn tại một số thực "formula_6" sao cho formula_45 với mọi số thực "x".

Để chứng minh điều này, lưu ý rằng formula_46. Do vậy có thể thế formula_47 với formula_48 và "formula_49" bằng hàm hằng 0, bài toán trở thành chứng minh rằng một hàm khả vi tại mọi điểm mà có đạo hàm luôn bằng 0 phải là hàm hằng:

Chọn số thực "a", và đặt formula_50. Theo định lý cơ bản của giải tích, với "x" bất kỳ cùng với giả định rằng đạo hàm của formula_47 bằng 0, suy ra
từ đó formula_53. Vậy formula_47 là hàm hằng.

Có 2 sự thật rất quan trọng trong chứng minh này. Sự thật đầu tiên, trục số thực là liên thông. Nếu trục số thực không liên thông, ta không thể lấy tích phân từ điểm thực "a" cố đinh đến điểm "x" bất kỳ. Ví dụ nếu ta yêu cầu các hàm xác định trên hợp của các khoảng [0,1] và [2,3], khi "formula_55" thì không có tích phần trong khoảng 0 đến 3 do hàm không xác định trong khoảng 1 đến 2. Từ đó sẽ có 2 hằng số, mỗi hằng số cho mỗi tập liên thông của tập xác định. Tổng quát, nếu ta thay các hằng số này bằng các hàm hằng cục bộ, ta có thể mở rộng định lý này cho các tập xác định không liên hợp. Cho ví dụ, có 2 hằng số tích phân của formula_56 và vô hạn hằng số củaformula_57 do đó dạng tổng quát của tích phân formula_58 là:
Sự thật thứ 2, formula_47 và formula_49 được coi là khả vi tại mọi điểm. Nếu formula_47 và "formula_49" không có vi phân dù tại chỉ 1 điểm thì định lý trên sẽ sụp đổ. Ví dụ, cho formula_2 là hàm bước Heaviside bằng 0 nếu "x" âm và bằng 1 nếu "x" không âm, đặt formula_65. Thì đạo hàm của "formula_47" bằng 0 khi hàm xác định và đạo hàm của "formula_49" luôn bằng 0. Rõ ràng rằng formula_47 và "formula_49" không sai khác nhau qua hằng số. Thậm chí nếu formula_47 và formula_49 liên tục tại mọi điểm và hầu như khả vi tại mọi điểm thì định lý cũng sụp đổ. Ví dụ khác, cho formula_47 là hàm Cantor và đặt formula_73.