Thin plate energy functional

From testwiki
Revision as of 16:32, 13 February 2025 by imported>Justin545 (use {{NumBlk2}} instead of {{NumBlk}})
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

The exact thin plate energy functional (TPEF) for a function f(x,y) is

y0y1x0x1(κ12+κ22)gdxdy

where κ1 and κ2 are the principal curvatures of the surface mapping f at the point (x,y).[1][2] This is the surface integral of κ12+κ22, hence the g in the integrand.

Minimizing the exact thin plate energy functional would result in a system of non-linear equations. So in practice, an approximation that results in linear systems of equations is often used.[1][3][4] The approximation is derived by assuming that the gradient of f is 0. At any point where fx=fy=0, the first fundamental form gij of the surface mapping f is the identity matrix and the second fundamental form bij is

(fxxfxyfxyfyy).

We can use the formula for mean curvature H=bijgij/2[5] to determine that H=(fxx+fyy)/2 and the formula for Gaussian curvature K=b/g[5] (where b and g are the determinants of the second and first fundamental forms, respectively) to determine that K=fxxfyy(fxy)2. Since H=(k1+k2)/2 and K=k1k2,[5] the integrand of the exact TPEF equals 4H22K. The expressions we just computed for the mean curvature and Gaussian curvature as functions of partial derivatives of f show that the integrand of the exact TPEF is

4H22K=(fxx+fyy)22(fxxfyyfxy2)=fxx2+2fxy2+fyy2.

So the approximate thin plate energy functional is

J[f]=y0y1x0x1fxx2+2fxy2+fyy2dxdy.

Rotational invariance

Rotating (x,y) by theta about z-axis to (X,Y)
Original surface with point (x,y)
Rotated surface with rotated point (X,Y)

The TPEF is rotationally invariant. This means that if all the points of the surface z(x,y) are rotated by an angle θ about the z-axis, the TPEF at each point (x,y) of the surface equals the TPEF of the rotated surface at the rotated (x,y). The formula for a rotation by an angle θ about the z-axis is

Template:NumBlk2

The fact that the z value of the surface at (x,y) equals the z value of the rotated surface at the rotated (x,y) is expressed mathematically by the equation

Z(X,Y)=z(x,y)=(zxy)(X,Y)

where xy is the inverse rotation, that is, xy(X,Y)=R1(X,Y)T=RT(X,Y)T. So Z=zxy and the chain rule implies

Template:NumBlk2

In equation (Template:EquationNote), Z0 means ZX, Z1 means ZY, z0 means zx, and z1 means zy. Equation (Template:EquationNote) and all subsequent equations in this section use non-tensor summation convention, that is, sums are taken over repeated indices in a term even if both indices are subscripts. The chain rule is also needed to differentiate equation (Template:EquationNote) since zj is actually the composition zjxy:

Zik=zjlRklRij.

Swapping the index names j and k yields

Template:NumBlk2

Expanding the sum for each pair i,j yields

ZXX=R002zxx+2R00R01zxy+R012zyy,ZXY=R00R10zxx+(R00R11+R01R10)zxy+R01R11zyy,ZYY=R102zxx+2R10R11zxy+R112zyy.

Computing the TPEF for the rotated surface yields

Template:NumBlk2

Inserting the coefficients of the rotation matrix R from equation (Template:EquationNote) into the right-hand side of equation (Template:EquationNote) simplifies it to zxx2+2zxy2+zyy2.

Data fitting

The approximate thin plate energy functional can be used to fit B-spline surfaces to scattered 1D data on a 2D grid (for example, digital terrain model data).[6][3] Call the grid points (xi,yi) for i=1N (with xi[a,b] and yi[c,d]) and the data values zi. In order to fit a uniform B-spline f(x,y) to the data, the equation

Template:NumBlk2

(where λ is the "smoothing parameter") is minimized. Larger values of λ result in a smoother surface and smaller values result in a more accurate fit to the data. The following images illustrate the results of fitting a B-spline surface to some terrain data using this method.

The thin plate smoothing spline also minimizes equation (Template:EquationNote), but it is much more expensive to compute than a B-spline and not as smooth (it is only C1 at the "centers" and has unbounded second derivatives there).

References

Template:Reflist