| Paper | Title | Page |
|---|---|---|
| MO4IODN05 | High-Order Differential Algebra Methods for PDEs Including Rigorous Error Verification | 38 |
|
||
Many processes in Physics can be described by Partial Differential equations (PDE’s). For various practical problems, very precise and verified solutions of PDE are required; but with conventional finite element or finite difference codes this is difficult to achieve because of the need for an exceedingly fine mesh which leads to often prohibitive CPU time. We present an alternative approach based on high-order quadrature and a high-order finite element method. Both of the ingredients become possible through the use of Differential Algebra techniques. Further the method can be extended to provide rigorous error verification by using the Taylor model techniques. Application of these techniques and the precision that can be achieved will be presented for the case of 3D Laplace’s equation. Using only around 100 finite elements of order 7, verified accuracies in the range of 10-7 can be obtained. |
||
| THPSC018 | An Application of Differential Algebraic Methods and Liouville’s Theorem: Uniformization of Gaussian Beams | 289 |
|
||
Most charged particle beams under realistic conditions have Gaussian density distributions in phase space, or can be easily made so. However, for several practical applications, beams with uniform distributions in physical space are advantageous or even required. Liouville’s theorem and the symplectic nature of beam’s dynamic evolution pose constraints on the feasible transformational properties of the density distribution functions. Differential Algebraic methods offer an elegant way to investigate the underlying freedom involving these beam manipulations. Here, we explore the theory, necessary and sufficient conditions, and practicality of the uniformization of Gaussian beams from a rather generic point of view. |