PDE surface

Last updated

PDE surfaces are used in geometric modelling and computer graphics for creating smooth surfaces conforming to a given boundary configuration. PDE surfaces use partial differential equations to generate a surface which usually satisfy a mathematical boundary value problem.

Computer graphics graphics created using computers

Computer graphics are pictures and films created using computers. Usually, the term refers to computer-generated image data created with the help of specialized graphical hardware and software. It is a vast and recently developed area of computer science. The phrase was coined in 1960, by computer graphics researchers Verne Hudson and William Fetter of Boeing. It is often abbreviated as CG, though sometimes erroneously referred to as computer-generated imagery (CGI).

Boundary value problem

In mathematics, in the field of differential equations, a boundary value problem is a differential equation together with a set of additional constraints, called the boundary conditions. A solution to a boundary value problem is a solution to the differential equation which also satisfies the boundary conditions.

Contents

PDE surfaces were first introduced into the area of geometric modelling and computer graphics by two British mathematicians, Malcolm Bloor and Michael Wilson.

Technical details

The PDE method involves generating a surface for some boundary by means of solving an elliptic partial differential equation of the form

Elliptic operator

In the theory of partial differential equations, elliptic operators are differential operators that generalize the Laplace operator. They are defined by the condition that the coefficients of the highest-order derivatives be positive, which implies the key property that the principal symbol is invertible, or equivalently that there are no real characteristic directions.

Here is a function parameterised by the two parameters and such that where , and are the usual cartesian coordinate space. The boundary conditions on the function and its normal derivatives are imposed at the edges of the surface patch.

A parameter, generally, is any characteristic that can help in defining or classifying a particular system. That is, a parameter is an element of a system that is useful, or critical, when identifying the system, or when evaluating its performance, status, condition, etc.

Cartesian coordinate system coordinate system

A Cartesian coordinate system is a coordinate system that specifies each point uniquely in a plane by a set of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in the same unit of length. Each reference line is called a coordinate axis or just axis of the system, and the point where they meet is its origin, at ordered pair (0, 0). The coordinates can also be defined as the positions of the perpendicular projections of the point onto the two axes, expressed as signed distances from the origin.

With the above formulation it is notable that the elliptic partial differential operator in the above PDE represents a smoothing process in which the value of the function at any point on the surface is, in some sense, a weighted average of the surrounding values. In this way a surface is obtained as a smooth transition between the chosen set of boundary conditions. The parameter is a special design parameter which controls the relative smoothing of the surface in the and directions.

When , the PDE is the biharmonic equation: . The biharmonic equation is the equation produced by applying the Euler-Lagrange equation to the simplified thin plate energy functional . So solving the PDE with is equivalent to minimizing the thin plate energy functional subject to the same boundary conditions.

In mathematics, the biharmonic equation is a fourth-order partial differential equation which arises in areas of continuum mechanics, including linear elasticity theory and the solution of Stokes flows. It is written as

In the calculus of variations, the Euler–Lagrange equation, Euler's equation, or Lagrange's equation, is a second-order partial differential equation whose solutions are the functions for which a given functional is stationary. It was developed by Swiss mathematician Leonhard Euler and Italian mathematician Joseph-Louis Lagrange in the 1750s.

The exact thin plate energy functional (TPEF) for a function is

Applications

PDE surfaces can be used in many application areas. These include computer-aided design, interactive design, parametric design, computer animation, computer-aided physical analysis and design optimisation.

Related Research Articles

Partial differential equation differential equation that contains unknown multivariable functions and their partial derivatives

In mathematics, a partial differential equation (PDE) is a differential equation that contains unknown multivariable functions and their partial derivatives. PDEs are used to formulate problems involving functions of several variables, and are either solved by hand, or used to create a computer model. A special case is ordinary differential equations (ODEs), which deal with functions of a single variable and their derivatives.

Heat equation partial differential equation for distribution of heat in a given region over time

In physics and mathematics, the heat equation is a partial differential equation that describes how the distribution of some quantity evolves over time in a solid medium, as it spontaneously flows from places where it is higher towards places where it is lower. It is a special case of the diffusion equation.

In mathematics, a Dirichlet problem is the problem of finding a function which solves a specified partial differential equation (PDE) in the interior of a given region that takes prescribed values on the boundary of the region.

Second order linear partial differential equations (PDEs) are classified as either elliptic, hyperbolic, or parabolic. Any second order linear PDE in two variables can be written in the form

In mathematics, the method of characteristics is a technique for solving partial differential equations. Typically, it applies to first-order equations, although more generally the method of characteristics is valid for any hyperbolic partial differential equation. The method is to reduce a partial differential equation to a family of ordinary differential equations along which the solution can be integrated from some initial data given on a suitable hypersurface.

Envelope (mathematics) family of curves in geometry

In geometry, an envelope of a family of curves in the plane is a curve that is tangent to each member of the family at some point, and these points of tangency together form the whole envelope. Classically, a point on the envelope can be thought of as the intersection of two "infinitesimally adjacent" curves, meaning the limit of intersections of nearby curves. This idea can be generalized to an envelope of surfaces in space, and so on to higher dimensions.

Parallel curve

A parallel of a curve is the

Differential equation mathematical equation that contains derivatives of an unknown function

A differential equation is a mathematical equation that relates some function with its derivatives. In applications, the functions usually represent physical quantities, the derivatives represent their rates of change, and the differential equation defines a relationship between the two. Because such relations are extremely common, differential equations play a prominent role in many disciplines including engineering, physics, economics, and biology.

In mathematics, a hyperbolic partial differential equation of order n is a partial differential equation (PDE) that, roughly speaking, has a well-posed initial value problem for the first n − 1 derivatives. More precisely, the Cauchy problem can be locally solved for arbitrary initial data along any non-characteristic hypersurface. Many of the equations of mechanics are hyperbolic, and so the study of hyperbolic equations is of substantial contemporary interest. The model hyperbolic equation is the wave equation. In one spatial dimension, this is

Surface (mathematics) generalization of a plane which needs not be flat, that is, the curvature is not necessarily zero

In mathematics, a surface is a generalization of a plane which needs not be flat – that is, the curvature is not necessarily zero. This is analogous to a curve generalizing a straight line. There are several more precise definitions, depending on the context and the mathematical tools that are used for the study.

Professor Hassan Ugail is a mathematician and a computer scientist. He is currently working as a Professor of Visual Computing at the School of Engineering and Informatics; the University of Bradford. Professor Ugail is the first Maldivian to obtain a PhD in Mathematics. He is also the first and to date the only Maldivian to receive a professorship in the field of Science. Prof. Ugail's principal research interests are in the area of Visual Computing particularly in the area of 3D geometric design, 3D imaging and computer based simulations. Prof. Ugail is a leader in the field of Visual Computing and has greatly contributed to the development of the field by successfully delivering a number of high-profile research and innovation projects, publications and international lectures. He is a member of the UK Engineering and Physical Sciences Research Council (EPSRC) peer review college and also a peer reviewer for several related journals and conferences in his field of research.

A biharmonic Bézier surface is a smooth polynomial surface which conforms to the biharmonic equation and has the same formulations as a Bézier surface. This formulation for Bézier surfaces was developed by Juan Monterde and Hassan Ugail. In order to generate a biharmonic Bézier surface four boundary conditions defined by Bézier control points are usually required.

In mathematics, a first-order partial differential equation is a partial differential equation that involves only first derivatives of the unknown function of n variables. The equation takes the form

A parabolic partial differential equation is a type of partial differential equation (PDE). Parabolic PDEs are used to describe a wide variety of time-dependent phenomena, including heat conduction, particle diffusion, and pricing of derivative investment instruments.

In the mathematical theory of partial differential equations (PDE), the Monge cone is a geometrical object associated with a first-order equation. It is named for Gaspard Monge. In two dimensions, let

Finite element method Numerical method for solving physical or engineering problems

The finite element method (FEM), is a numerical method for solving problems of engineering and mathematical physics. Typical problem areas of interest include structural analysis, heat transfer, fluid flow, mass transport, and electromagnetic potential. The analytical solution of these problems generally require the solution to boundary value problems for partial differential equations. The finite element method formulation of the problem results in a system of algebraic equations. The method approximates the unknown function over the domain. To solve the problem, it subdivides a large system into smaller, simpler parts that are called finite elements. The simple equations that model these finite elements are then assembled into a larger system of equations that models the entire problem. FEM then uses variational methods from the calculus of variations to approximate a solution by minimizing an associated error function.

The Kansa method is a computer method used to solve partial differential equations. Partial differential equations are mathematical models of things like stresses in a car's body, air flow around a wing, the shock wave in front of a supersonic airplane, quantum mechanical model of an atom, ocean waves, socio-economic models, digital image processing etc. The computer takes the known quantities such as pressure, temperature, air velocity, stress, and then uses the laws of physics to figure out what the rest of the quantities should be like a puzzle being fit together. Then, for example, the stresses in various parts of a car can be determined when that car hits a bump at 70 miles per hour.

In mathematics a partial differential algebraic equation (PDAE) set is an incomplete system of partial differential equations that is closed with a set of algebraic equations.

A grid is a small-sized geometrical shape that covers the physical domain, whose objective is to identify the discrete volumes or elements where conservation laws can be applied. Grid generation is the first process involved in computing numerical solutions to the equations that describe a physical process. The result of the solution depends upon the quality of the grid. A well-constructed grid can improve the quality of solution whereas, deviations from the numerical solution can be observed with a poorly constructed grid. Techniques for creating the cell forms the basis of grid generation. Various methods to generate grids are discussed below.

References

  1. M.I.G. Bloor and M.J. Wilson, Generating Blend Surfaces using Partial Differential Equations, Computer Aided Design, 21(3), 165-171, (1989).
  2. H. Ugail, M.I.G. Bloor, and M.J. Wilson, Techniques for Interactive Design Using the PDE Method, ACM Transactions on Graphics, 18(2), 195-212, (1999).
  3. J. Huband, W. Li and R. Smith, An Explicit Representation of Bloor-Wilson PDE Surface Model by using Canonical Basis for Hermite Interpolation, Mathematical Engineering in Industry, 7(4), 421-33 (1999).
  4. H. Du and H. Qin, Direct Manipulation and Interactive Sculpting of PDE surfaces, Computer Graphics Forum, 19(3), C261-C270, (2000).
  5. H. Ugail, Spine Based Shape Parameterisations for PDE surfaces, Computing, 72, 195--204, (2004).
  6. L. You, P. Comninos, J.J. Zhang, PDE Blending Surfaces with C2 Continuity, Computers and Graphics, 28(6), 895-906, (2004).