A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails...
-
Upload
orlando-banister -
Category
Documents
-
view
215 -
download
0
Transcript of A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails...
![Page 1: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/1.jpg)
![Page 2: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/2.jpg)
A Fast Variational Framework for Accurate Solid-Fluid Coupling
A Fast Variational Framework for Accurate Solid-Fluid Coupling
Christopher Batty
Florence Bertails
Robert Bridson
University of British Columbia
![Page 3: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/3.jpg)
MotivationMotivation
• Goal: Simulate fluids coupled to objects.
• Extend the basic Eulerian approach:
– Advect fluid velocities
– Add forces (eg. gravity)
– Enforce incompressibility via pressure projection
• See eg. [Stam ‘99, Fedkiw et al. ‘01, Foster & Fedkiw ‘01, Enright et al. ‘02, etc.]
![Page 4: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/4.jpg)
MotivationMotivation
• Cartesian grid fluid simulation is great!
– Simple
– Effective
– Fast data access
– No remeshing needed
• But…
![Page 5: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/5.jpg)
MotivationMotivation
• Achilles’ heel: Real objects rarely align with grids.
![Page 6: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/6.jpg)
OverviewOverview
Three parts to our work:
1) Irregular static objects on grids
2) Dynamic & kinematic objects on grids
3) Improved liquid-solid boundary conditions
![Page 7: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/7.jpg)
Previous WorkPrevious Work
• First solution Voxelize
– [Foster & Metaxas ’96]
• Easy!
• “Stairstep” artifacts
• Artificial viscosity
• Doesn’t converge under refinement!
![Page 8: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/8.jpg)
Previous WorkPrevious Work
• Better solution Subdivide nearby
– [Losasso et al. ‘04]
• Stairs are smaller
• But problem remains
![Page 9: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/9.jpg)
Previous WorkPrevious Work
• Better yet Mesh to match objects
– [Feldman et al. ‘05]
• Accurate!
• Needs remeshing
• Slower data access
• Trickier interpolation
• Sub-grid objects?
![Page 10: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/10.jpg)
And now… back to the future?And now… back to the future?
• We’ll return to regular grids
– But achieve results like tet meshes!
![Page 11: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/11.jpg)
Pressure ProjectionPressure Projection
• Converts a velocity field to be incompressible (or divergence-free)
• No expansion or compression
• No flow into objects
Images courtesy of [Tong et al. ‘03]
![Page 12: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/12.jpg)
Pressure ProjectionPressure Projection
• We want the “closest” incompressible velocity field to the input.
• It’s a minimization problem!
![Page 13: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/13.jpg)
Key Idea!Key Idea!
• Distance metric in the space of fluid velocity fields is kinetic energy.
• Minimizing KE wrt. pressure is equivalent to the classic Poisson problem!
fluid
nn 211
2
1KE u
![Page 14: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/14.jpg)
Minimization InterpretationMinimization Interpretation
• Fluid velocity update is:
• Resulting minimization problem is:
ptn
uu ~1
2
~2
1minarg
fluidpp
t
u
![Page 15: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/15.jpg)
What changes?What changes?
• Variational principle automatically enforces boundary conditions! No explicit manipulation needed.
• Volume/mass terms in KE account for partial fluid cells.
– Eg.
• Result: Easy, accurate fluid velocities near irregular objects.
22/12/12/12
1KE iii uvol
![Page 16: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/16.jpg)
Measuring Kinetic EnergyMeasuring Kinetic Energy
![Page 17: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/17.jpg)
Discretization DetailsDiscretization Details
• Normal equations always give an SPD linear system.
– Solve with preconditioned CG, etc.
• Same Laplacian stencil, but with new volume terms.
Classic:
Variational:
x
uu
x
ppp iiiii
2/12/12
11 )1()1()1()2()1(
x
uVuV
x
pVpVVpV iiiiiiiiiii
2/12/12/12/12
12/12/12/112/1 )()()()()(
![Page 18: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/18.jpg)
Object CouplingObject Coupling
• This works for static boundaries
• How to extend to…
– Two-way coupling?
• Dynamic objects fully interacting with fluid
– One-way coupling?
• Scripted/kinematic objects pushing the fluid
![Page 19: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/19.jpg)
Object Coupling – Previous WorkObject Coupling – Previous Work
• “Rigid Fluid” [Carlson et al ’04]
– Fast, simple, effective
– Potentially incompatible boundary velocities, leakage
• Explicit Coupling [Guendelman
et al. ’05]
– Handles thin shells, loose coupling approach
– Multiple pressure solves per step, uses voxelized solve
![Page 20: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/20.jpg)
Object Coupling – Previous WorkObject Coupling – Previous Work
• Implicit Coupling [Klingner et al ‘06, Chentanez et al.’06]
– solves object + fluid motion simultaneously
– handles tight coupling (eg. water balloons)
– requires conforming (tet) mesh to avoid artifacts
![Page 21: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/21.jpg)
A Variational Coupling FrameworkA Variational Coupling Framework
Just add the object’s kinetic energy to the system.
Automatically gives:
– incompressible fluid velocities
– compatible velocities at object surface
fluid
solidVMVu *
2
1
2
1KE
2
![Page 22: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/22.jpg)
A Coupling FrameworkA Coupling Framework
Two components:
1) Velocity update:
How does the pressure force update the object’s velocity?
2) Kinetic energy:
How do we compute the object’s KE?
![Page 23: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/23.jpg)
Example: Rigid BodiesExample: Rigid Bodies
1) Velocity update:
2) Kinetic Energy:
Discretize consistently with fluid, add to minimization, and solve.
solid
CM
solid
p
p
nXx
n
ˆ)(Torque
ˆForce
22
2
1
2
1KE Iωv m
![Page 24: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/24.jpg)
Sub-Grid Rigid BodiesSub-Grid Rigid Bodies
![Page 25: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/25.jpg)
Interactive Rigid BodiesInteractive Rigid Bodies
![Page 26: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/26.jpg)
One Way CouplingOne Way Coupling
• Conceptually, object mass infinity
• In practice: drop coupling terms from matrix
![Page 27: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/27.jpg)
Paddle VideoPaddle Video
![Page 28: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/28.jpg)
Wall SeparationWall Separation
• Standard wall boundary condition is u·n = 0.
– Liquid adheres to walls and ceilings!
• Ideally, prefer u·n ≥ 0, so liquid can separate
– Analogous to rigid body contact.
![Page 29: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/29.jpg)
Liquid Sticking VideoLiquid Sticking Video
![Page 30: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/30.jpg)
Wall Separation - Previous WorkWall Separation - Previous Work
• If ũ·n ≥ 0 before projection, hold u fixed.– [Foster & Fedkiw ’01, Houston et al ’03, Rasmussen et al ‘04]
• Inaccurate or incorrect in certain cases:
![Page 31: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/31.jpg)
Wall SeparationWall Separation
• Two cases at walls:
– If p > 0, pressure prevents penetration (“push”)
– If p < 0, pressure prevents separation (“pull”)
• Disallow “pull” force:
– Add p ≥ 0 constraint to minimization
– Gives an inequality-constrained QP
– u·n ≥ 0 enforced implicitly via KKT conditions
![Page 32: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/32.jpg)
Liquid Peeling VideoLiquid Peeling Video
![Page 33: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/33.jpg)
Future DirectionsFuture Directions
• Robust air-water-solid interfaces.
• Add overlapping ghost pressures to handle thin objects, à la [Tam et al ’05]
![Page 34: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/34.jpg)
Future DirectionsFuture Directions
• Explore scalable QP solvers for 3D wall-separation.
• Extend coupling to deformables and other object models.
• Employ linear algebra techniques to accelerate rigid body coupling.
![Page 35: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/35.jpg)
SummarySummary
• Easy method for accurate sub-grid fluid velocities near objects, on regular grids.
• Unified variational framework for coupling fluids and arbitrary dynamic solids.
• New boundary condition for liquid allows robust separation from walls.
![Page 36: A Fast Variational Framework for Accurate Solid-Fluid Coupling Christopher Batty Florence Bertails Robert Bridson University of British Columbia.](https://reader036.fdocuments.us/reader036/viewer/2022062620/551ac93f55034606048b4dfd/html5/thumbnails/36.jpg)
Thanks!Thanks!