Xét không gian Hilbert khả tách được trang bị tích vô hướng và chuẩn tương ứng. Thế thì tồn tại không gian xác suất cùng với quá trình ngẫu nhiên tuyến tính theo quỹ đạo và ứng với mỗi cố định thì là biến ngẫu nhiên Gauss, hơn nữa . Xét là cơ sở trực chuẩn cố định của .
Thí dụ:
1. và tích phân Wiener với là quá trình Wiener 1 chiều.
2. là không gian độ đo -hữu hạn, và không tồn tại tập có đo dương không chứa thêm tập con nào nữa có độ đo dương bé hơn (tập hạt nhân). Ồn trắng ( là lớp tất cả các tập có độ đo hữu hạn, xem như là tập chỉ số) là một một quá trình Gauss sao cho , và ( – độ đo Lebesgue) và nếu . Với tập có độ đo hữu hạn, đặt , từ đó mở rộng cho các hàm đơn giản trên , và cuối cùng do tính trù, ta mật xây dựng được với các hàm khả tích bậc hai .
Trở lại vấn đề của bài viết, kí hiệu là lớp tất cả các biến ngẫu nhiên có dạng
, với hàm trơn và các đạo hàm riêng của nó có độ tăng bậc đa thức. Dễ thấy là tập con trù mật của .
Ta định nghĩa đạo hàm Malliavin của là biến ngẫu nhiên giá trị thuộc :
Nó thỏa mãn quy tắc Leibnitz .
Các tính chất đẹp:
1.
2.
Vận dụng (2) bạn có thể chứng minh tính đóng được của toán tử từ vào với .
Với , kí hiệu là bao đóng của ứng với nửa chuẩn:
.
Đặt biệt với , thì xem như là không gian Hilbert với tích vô hướng:
.
Định nghĩa một cách đệ quy cho đạo hàm cấp cao là vector ngẫu nhiên có giá trị thuộc không gian tích tensor . cũng là toán tử đóng được từ vào .
Với , kí hiệu là bao đóng của ứng với nửa chuẩn:
.
Kí hiệu
.
Chú ý là với ta có quan hệ lồng nhau:
Bằng cách lấy giới hạn, ta có thể xác định đạo hàm Malliavin với tương ứng.
Đạo hàm Malliavin thỏa mãn luật xích theo nghĩa: Cho khả vi liên tục với các đạo hàm riêng bị chặn, các biến ngẫu nhiên thế thì và
.
Với và thế thì và bất đẳng thức loại Holder sau được thỏa mãn
ở đây là hằng số nào đó chỉ phụ thuộc .