Câu trả lời này đến hơi muộn, nhưng tôi nghĩ rằng cần phải làm sáng tỏ một số nhầm lẫn về cấu trúc bản địa của Laplacian là gì và cách tính toán.
Trước hết, điều quan trọng cần nhấn mạnh rằng đây không phải là về các thuộc tính của hạt nhân cục bộ được sử dụng để tính toán các dẫn xuất rời rạc. Thay vào đó, bạn phải hiểu Laplacian là toán tử tuyến tính trên một không gian vectơ có các phần tử nằm trong trường hợp của bạn là tập dữ liệu thể tích.
Điều đó có nghĩa là áp dụng toán tử Laplace là một bản đồ tuyến tính ánh xạ một vectơ (tập dữ liệu) sang một vectơ khác (tập dữ liệu). Trong bối cảnh này, các hàm riêng của Laplacian lại là các vectơ (tập dữ liệu) trong không gian vectơ đó. Vì vậy, câu trả lời cho câu hỏi của bạn sẽ là một tập hợp các tập dữ liệu thể tích, trên thực tế có nhiều như kích thước của không gian vectơ của bạn (tức là số lượng voxels độc lập ).
Hãy xem xét một ví dụ rất đơn giản. Chụp ảnh 1 chiều, tức là một hàng pixel và chúng ta cũng chỉ sử dụng rất ít pixel, cụ thể là 4. Sau đó, hai pixel trung tâm phải hướng hàng xóm, trong khi pixel đầu tiên và pixel cuối chỉ có một pixel lân cận.
1 - 2 - 3 - 4
Với hình dạng pixel này, chúng ta có thể đưa ra kết quả của toán tử Laplace riêng cho hai pixel trung tâm 2 và 3 dưới dạng các hàm tuyến tính của các giá trị của pixel:
l [ 2 ] = p [ 1 ] - 2 ∗ p [ 2 ] + p [ 3 ]
l [ 3 ] = p [ 2 ] - 2 ∗ p [ 3 ] + p [ 4 ]
Hai pixel 1 và 4 khác không có đủ lân cận trực tiếp để tính đạo hàm thứ hai rời rạc. Chúng ta có thể khắc phục điều đó bằng cách giả sử rằng pixel 1 và 4 là hàng xóm trực tiếp, đóng cấu trúc liên kết vào một vòng tròn và áp đặt cái được gọi là điều kiện biên tròn. Hoặc chúng ta chỉ cần lấy các dẫn xuất thứ hai tại các ranh giới để biến mất. Hãy làm cả hai, nhưng bắt đầu với điều kiện biên tuần hoàn. Vì vậy chúng tôi có:
l[1]=p[4]−2∗p[1]+p[2]
l[4]=p[3]−2∗p[4]+p[1]
Bản đồ này là tuyến tính và chúng ta có thể viết nó dưới dạng phương trình ma trận, ánh xạ vectơ cột p:=(p[1],p[2],p[3],p[4]) đến l=(L[1],L[2],L[3],L[4]) bằng cách nhân với ma trận M.
L=M⋅p
Chúng tôi gọi ma trận này là đại diện riêng biệt của toán tử Laplace và đối với trường hợp của chúng tôi, nó là
M=⎛⎝⎜⎜⎜−21011−21001−21101−2⎞⎠⎟⎟⎟
Các hàm riêng của ma trận này là
v1=(−1,1,−1,1)
v2= ( 0 , - 1 , 0 , 1 )
v3= ( - 1 , 0 , 1 , 0 )
v4= ( 1 , 1 , 1 , 1 )
với các giá trị riêng liên quan
λ1= 4 ,λ1= 2 ,λ1= 2 ,λ1= 0
Bạn có thể nhận ra các vectơ này là vectơ cơ sở của biến đổi Fourier rời rạc trên vectơ này và các giá trị riêng như các tần số riêng biệt của chúng. Điều này nói chung là đúng và trên thực tế, sự phân rã của một vectơ (hay nói chung hơn là một hàm) thành eigenspectrum của toán tử Laplace khái quát hóa ý tưởng về phép biến đổi Fourier.
Bây giờ hãy điều tra những gì xảy ra nếu chúng ta sử dụng các điều kiện biên thay thế trong đó l [ 1 ] = 0 và l [ 4 ] = 0. Ma trậnM sau đó
M= =⎛⎝⎜⎜⎜01000- 21001- 200010⎞⎠⎟⎟⎟
Cearly, ma trận này có một tập hợp các hàm riêng và giá trị riêng khác nhau. Chúng không trực quan và insterest, vì vậy tôi sẽ không liệt kê chúng một cách rõ ràng. Tuy nhiên, đáng chú ý là bây giờ chúng ta có giá trị riêng0 hai lần, điều đó có nghĩa là không gian eigensub nơi mà laplacian biến mất là hai chiều.
Vậy làm thế nào để mọi thứ thay đổi nếu chúng ta có một hình ảnh phù hợp thay vì một hàng pixel? Không nhiều. Chúng ta chỉ cần viết Laplacian cho từng pixel trong khi xem xét mối quan hệ láng giềng trực tiếp hoặc cấu trúc liên kết của hình ảnh. Để làm cho mọi thứ phức tạp hơn một chút, chúng ta hãy đi với một hình ảnh hai chiều có hình dạng bất thường.
4|9--1|5|10|14----2|6|11|15----3|7|12|16--số 8|13
Rõ ràng bây giờ chúng ta phải lấy Laplacian 2 chiều bằng cách tính tổng các đạo hàm riêng thứ hai theo hướng ngang và dọc. Cho rằng chúng tôi yêu cầu hai hàng xóm trực tiếp theo mỗi hướng. Những điểm bên trong5 , 6 , 7 , 10 , 11 , 12do đó có một bản mở rộng laplace 2-d đầy đủ. Đối với điểm5 nó trông như thế này chẳng hạn:
l [ 5 ] = p [ 4 ] - 2 p [ 5 ] + p [ 6 ] + p [ 1 ] - 2 p [ 5 ] + p [ 10 ]=p[4]+p[6]+p[1]+p[10]−4p[5]
Đối với các điểm góc 1,3,4,8,9,13,14,16 chúng ta không thể xây dựng một đạo hàm thứ hai rời rạc để chúng ta sử dụng một điều kiện biên, vd l[1]=0
Có hai điểm còn lại, 2 và 15. Cả hai đều có hai hàng xóm trực tiếp theo hướng ngang, nhưng không theo hướng dọc. Do đó, chúng ta có thể áp dụng điều kiện biên chỉ ảnh hưởng đến hướng dọc, bằng cách đặt đạo hàm thứ hai dọc thành 0, trong khi chúng ta đánh giá đạo hàm thứ hai rời rạc theo chiều ngang và nhận đượcl[2]=p[1]−2p[2]+p[3] và tương tự như vậy cho l[15].
Theo cấu trúc này, chúng ta có một phương trình tuyến tính cho mọi điểm liên quan đến các giá trị pixel. Một lần nữa, chúng tôi viết nó như một phương trình ma trậnL=Mp, trong đó ma trận trong trường hợp này có 16×16mục. Cụ thể, đó là
M=⎛⎝⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜01001000000000000−200010000000000010000100000000000001000000000000000−41000100000000001−41000100000000001−400001000000000010000000000000000001000000000010000−41000000000010001−41000000000010001−400000000000000010000000000000100001000000000001000−200000000000010010⎞⎠⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟
Và một lần nữa chúng ta có thể giải quyết cho hệ thống eigensystem của ma trận này. Một cách giải thích vật lý tốt đẹp cho các hình ảnh mà bạn nhận được với tư cách là người bản địa là chúng đại diện cho các chế độ rung của màng có hình dạng giống như hình ảnh của bạn, với tần số được đưa ra bởi các giá trị riêng.
Bạn có thể dễ dàng đẩy trò chơi này lên bất kỳ số lượng kích thước nào, miễn là bạn biết mối quan hệ lân cận giữa các voxels của mình. Đơn giản chỉ cần xây dựng phương trình tuyến tính riêng lẻ như trên, xây dựng ma trận, tìm hệ thống eigensystem.
Với thông tin thu được từ các hàm riêng của Laplacian giải các phương trình khác nhau liên quan đến Laplacian rời rạc có thể được đơn giản hóa rất nhiều. Sau khi tìm thấy cấu trúc riêng, chỉ phụ thuộc vào hình dạng của vùng, tất cả các bộ dữ liệu có thể dễ dàng phân tách thành hàm riêng và các phương trình khác biệt trở nên tầm thường.