naginterfaces.library.pde.dim2_​laplace

naginterfaces.library.pde.dim2_laplace(stage1, ext, dorm, p, q, x, y, phi, phid, alpha)

dim2_laplace solves Laplace’s equation in two dimensions for an arbitrary domain bounded internally or externally by one or more closed contours, given the value of either the unknown function or its normal derivative (into the domain) at each point of the boundary.

For full information please refer to the NAG Library document for d03ea

https://support.nag.com/numeric/nl/nagdoc_30.3/flhtml/d03/d03eaf.html

Parameters

stage1bool

Indicates whether the function call is for stage $1$ of the computation as defined in Notes.

$stage1=True$

The call is for stage $1$.

$stage1=False$

The call is for stage $2$.

extbool

The form of the domain. If $ext=True$, the domain is unbounded. Otherwise the domain is an interior one.

dormbool

The form of the boundary conditions. If $dorm=True$, the problem is a Dirichlet or mixed boundary value problem. Otherwise it is a Neumann problem.

pfloat

To stage $2$, $p$ and $q$ must specify the $x$ and $y$ coordinates respectively of a point at which the solution is required.

When $stage1$ is $True$, $p$ and $q$ are ignored.

qfloat

To stage $2$, $p$ and $q$ must specify the $x$ and $y$ coordinates respectively of a point at which the solution is required.

When $stage1$ is $True$, $p$ and $q$ are ignored.

xfloat, array-like, shape $\left(\text{n1p1}\right)$

The $x$ and $y$ coordinates respectively of points on the one or more closed contours which define the domain of the problem.

Note: each contour is described in such a manner that the subscripts of the coordinates increase when the domain is kept on the left. The final point on each contour coincides with the first and, if a further contour is to be described, the coordinates of this point are repeated in the arrays. In this way each interval is defined by three points, the second of which (the nodal point) always has an even subscript. In the case of the interior Neumann problem, the outermost boundary contour must be given first, if there is more than one.

yfloat, array-like, shape $\left(\text{n1p1}\right)$

The $x$ and $y$ coordinates respectively of points on the one or more closed contours which define the domain of the problem.

Note: each contour is described in such a manner that the subscripts of the coordinates increase when the domain is kept on the left. The final point on each contour coincides with the first and, if a further contour is to be described, the coordinates of this point are repeated in the arrays. In this way each interval is defined by three points, the second of which (the nodal point) always has an even subscript. In the case of the interior Neumann problem, the outermost boundary contour must be given first, if there is more than one.

phifloat, array-like, shape $\left(n\right)$

For stage $1$, $phi$ must contain the nodal values of $\varphi$ or its normal derivative (into the domain) as prescribed in each interval. For stage $2$ it must retain its output values from stage $1$.

phidfloat, array-like, shape $\left(n\right)$

For stage $1$, $phid[\text{i}-1]$ must hold the value $0.0$ or $1.0$ accordingly as $phi[\text{i}-1]$ contains a value of $\varphi$ or its normal derivative, for $\text{i}=1,2,\dots ,n$. For stage $2$ it must retain its output values from stage $1$.

alphafloat

For stage $1$, the use of $alpha$ depends on the nature of the problem:

if $dorm=True$, $alpha$ need not be set;

if $dorm=False$ and $ext=True$, $alpha$ must contain the prescribed constant $c$ (see Notes);

if $dorm=False$ and $ext=False$, $alpha$ must contain an appropriate value (often zero) for the integral of $\varphi$ around the outermost boundary.

For stage $2$, on every call $alpha$ must contain the value returned at stage $1$.

Returns

phifloat, ndarray, shape $\left(n\right)$

From stage $1$, it contains the constants which approximate $\varphi$ in each interval. It remains unchanged on exit from stage $2$.

phidfloat, ndarray, shape $\left(n\right)$

From stage $1$, $phid$ contains the constants which approximate the normal derivative of $\varphi$ in each interval. It remains unchanged on exit from stage $2$.

alphafloat

From stage $1$:

if $ext=False$, $alpha$ contains $0.0$;

if $ext=True$ and $dorm=False$ $alpha$ is unchanged;

if $ext=True$ and $dorm=True$ $alpha$ contains a computed estimate for $c$.

From stage $2$:

$alpha$ contains the computed value of $\varphi$ at the point ($p$,$q$).

Raises

NagValueError

(errno $1$)

Tolerance is too small: $\text{icint}\left[0\right]=⟨value⟩$.

(errno $1$)

Tolerance is too large: $\text{icint}\left[0\right]=0$.

(errno $2$)

Incorrect rank: $\text{icint}\left[0\right]=⟨value⟩$.

Notes

No equivalent traditional C interface for this routine exists in the NAG Library.

dim2_laplace uses an integral equation method, based upon Green’s formula, which yields the solution, $\varphi$, within the domain, given its value or that of its normal derivative at each point of the boundary (except possibly at a finite number of discrete points). The solution is obtained in two stages. The first, which is executed once only, determines the complementary boundary values, i.e., $\varphi$, where its normal derivative is known and vice versa. The second stage is entered once for each point at which the solution is required.

The boundary is divided into a number of intervals in each of which $\varphi$ and its normal derivative are approximated by constants. Of these half are evaluated by applying the given boundary conditions at one ‘nodal’ point within each interval while the remainder are determined (in stage $1$) by solving a set of simultaneous linear equations. Here this is achieved by means of auxiliary function lapackeig.dgels, which will yield the least squares solution of an overdetermined system of equations as well as the unique solution of a square nonsingular system.

In exterior domains the solution behaves as $c+s\log \left(r\right)+O\left(1/r\right)$ as $r$ tends to infinity, where $c$ is a constant, $s$ is the total integral of the normal derivative around the boundary and $r$ is the radial distance from the origin of coordinates. For the Neumann problem (when the normal derivative is given along the whole boundary) $s$ is fixed by the boundary conditions whilst $c$ is chosen by you. However, for a Dirichlet problem (when $\varphi$ is given along the whole boundary) or for a mixed problem, stage $1$ produces a value of $c$ for which $s=0$; then as $r$ tends to infinity the solution tends to the constant $c$.

References

Symm, G T and Pitfield, R A, 1974, Solution of Laplace’s equation in two dimensions, NPL Report NAC 44, National Physical Laboratory