Đạo hàm yếu

Trong toán học, một đạo hàm yếu (tiếng Anh: weak derivative) là một sự tổng quát của đạo hàm mạnh (strong derivative) cho những hàm không đòi hỏi phải khả vi, mà chỉ đòi hỏi điều kiện khả tích, tức là nằm trong không gian Lebesgue .

Định nghĩaSửa đổi

Giả sử   là một hàm số trong không gian Lebesgue  . Ta nói   trong   là một đạo hàm yếu của   nếu,

 

với tất cả các hàm số khả vi có đạo hàm liên tục   với  .

Tổng quát hóa lên không gian   chiều, nếu    ở trong không gian   của các hàm khả tích địa phương trên một tập mở   nào đó, và nếu   là một đa chỉ số, ta nói   là đạo hàm yếu bậc   của   nếu

 

với tất cả các hàm  , nghĩa là, với tất cả các hàm số khả vi vô hạn   với giá compact trong  . Nếu   có một đạo hàm yếu, nó thường được viết là   bởi vì đạo hàm yếu là duy nhất (ít nhất, cho tới một tập hợp với độ đo bằng không, xem bên dưới).

Ví dụSửa đổi

Hàm giá trị tuyệt đối u: [−1, 1] → [0, 1], u(t) = |t|, cái mà không khả vi tại t = 0, có đạo hàm yếu v thường được gọi là hàm dấu cho bởi công thức

 

Đây không phải là đạo hàm yếu duy nhất của u: mọi w bằng v hầu khắp nơi cũng là một đạo hàm yếu của u. Thông thường đây không phải là vấn đề gì lớn vì trong lý thuyết của các không gian Lp và các không gian Sobolev, các hàm bằng nhau hầu khắp nơi được đồng nhất.

Các tính chấtSửa đổi

Nếu hai hàm cùng là đạo hàm yếu của cùng một hàm thì chúng bằng nhau trừ trên một tập hợp có độ đo Lebesgue bằng không. Nếu chúng ta xem xét lớp tương đương các hàm số, trong đó hai hàm số là tương đương nếu chúng bằng nhau hầu khắp nơi, thì khi đó đạo hàm yếu của một hàm là duy nhất.

Thêm nữa, u khả vi theo nghĩa thông thường thì đạo hàm yếu của nó chính là đạo hàm theo nghĩa thông thường. Như vậy đạo hàm yếu chính là một sự tổng quát hoá của đạo hàm mạnh. Hơn nữa, những nguyên tắc cổ điển của đạo hàm cho tổng và tích của các hàm vẫn đúng cho trường hợp đạo hàm yếu.

Những mở rộngSửa đổi

Khái niệm này dẫn đến sự ra đời cho định nghĩa nghiệm yếu trong các không gian Sobolev, cái mà rất hữu ích cho những bài toán về phương trình vi phân và trong giải tích hàm.

Tham khảoSửa đổi