### 16.1 Introduction

Diskfun is a new part of Chebfun designed for computing with 2D scalar and vector-valued functions on the unit disk. Conceptually, it is an extension of Chebfun2 to the polar setting, designed to accurately and efficiently perform over 100 operations. These include differentiation, integration, vector calculus, and rootfinding, among many other things. Diskfun was developed in tandem with Spherefun, and the two are algorithmically closely related. For complete details on the algorithms of both of these classes, see [Townsend, Wilber & Wright, 2016], [Wilber, Townsend & Wright, 2016].

To get started, we simply call the Diskfun constructor. In this example, we consider a Gaussian function.

LW = 'Linewidth'; MS = 'Markersize'; FS = 'Fontsize'; g = diskfun(@(x,y) exp(-10*((x-.3).^2+y.^2))); plot(g), view(3)

When working with functions on the disk, it is sometimes convenient to
express them in terms of polar coordinates: Given a function $f(x,y)$
expressed in Cartesian coordinates, we apply the following transformation
of variables:
\begin{equation}
x = \rho\cos\theta, \qquad y=\rho\sin\theta, \qquad (\theta, \rho) \in
[-\pi, \pi] \times [0, 1].
\end{equation}
This gives $f(\theta, \rho)$, where $\theta$ is the *angular*
variable and $\rho$ is the *radial* variable.

To construct `g`

using polar coordinates, we include the flag `'polar'`

. The result using either coordinate system is the same up to machine precision:

f = diskfun(@(t, r) exp(-10*((r.*cos(t)-.3).^2+(r.*sin(t)).^2)), 'polar'); norm(f-g)

ans = 0

The object we have constructed is called a diskfun, with a lower case 'd'. We can find out more about a diskfun by printing it to the command line.

f

f = diskfun object domain rank vertical scale unit disk 19 0.99

The output describes the *numerical* rank of $f$,
as well an approximation of the maximum absolute value of $f$ (the vertical scale).

To evaluate a diskfun, we can use either polar or Cartesian coordinates. (To evaluate in polar coordinates, we need to include the `'polar'`

flag.)

[ f(sqrt(2)/4, sqrt(2)/4) f(pi/4,1/2, 'polar') ]

ans = 0.278404647671088 0.278404647671088

We can also evaluate a univariate slice of $f$, in either the radial or angular coordinate. The result is returned as a chebfun, either as a nonperiodic or periodic function, respectively. Here, we plot three angular slices at the fixed radii $\rho = 1/4$, $1/3$, and $1/2$.

c = f( : , [1/4 1/3 1/2] , 'polar'); plot(c(:,1), 'r', c(:,2), 'k', c(:,3), 'b') title( 'Three angular slices of a diskfun' )

Whenever possible, we interpret commands with respect to the function in Cartesian coordinates. So, for example, the command `diag`

returns the radial slice $f(x,x)$ as a nonperiodic chebfun, and `trace`

is the integral of $f(x,x)$ over its domain, $[-1, 1]$ (these are admittedly rather artificial operations).

d = diag( f ); plot( d ) title( 'The diagonal slice of f' )

trace_f = trace( f ) int_d = sum( d )

trace_f = 0.357313890819409 int_d = 0.357313890819409

Just like the rest of Chebfun, Diskfun is designed to perform operations at close to machine precision, and using Diskfun requires no special knowledge about the underlying algorithms or discretization procedures.

### 16.2 Basic operations

A suite of commands are available in Diskfun, and here we describe only a few. A complete listing can be found by typing `methods diskfun`

in the MATLAB command line.

We start by adding, subtracting, and multiplying diskfuns together:

g = diskfun(@(th, r) -40*(cos(((sin(pi*r).*cos(th)... + sin(2*pi*r).*sin(th)))/4))+39.5, 'polar'); f = diskfun( @(x,y) cos(15*((x-.2).^2+(y-.2).^2))... .*exp(-((x-.2)).^2-((y-.2)).^2)); plot( g ) title( 'g' ), axis off, snapnow plot( f ) title( 'f' ), axis off, snapnow h = g + f; plot(h) title( 'g + f' ), axis off, snapnow h = g - f; plot( h ) title( 'g - f' ), axis off, snapnow h = g.*f; plot( h ) title( 'g x f' ), axis off

In addition to algebraic operations, we can also solve unconstrained global optimization problems. In this example, we use the command `max2`

to plot $f$ along with its maximum value.

[val, loc] = max2( f ) plot( f ), hold on, axis off, colorbar plot3(loc(1), loc(2), val, 'k.', MS, 20), hold off

val = 0.999999999999999 loc = 0.199999984780338 0.199999989424699

There are many ways to visualize a function on the disk. For example, here is a contour plot of $g$, with the zero contours displayed in black:

contour(g, 'Linewidth', 1.2), hold on, axis off contour(g, [0 0], '-k', 'Linewidth', 2), hold off

The roots of a function (1D contours) can also be found explicitly. The contours are stored as a cell array of chebfuns. Each cell consists of an array-valued chebfun that parametrizes the $x$ and $y$ coordinates of the contour.

r = roots(g); plot(g), hold on for j = 1:length(r) rj = r{j}; plot(r{j}(:,1), r{j}(:,2), '-k', LW, 2) end colorbar, axis off, hold off

One can also perform calculus on diskfuns. For instance, the integral of the function $g(x,y) = -x^2 - 3xy-(y-1)^2$ over the unit disk can be computed using the `sum2`

command. We know that the exact answer is $-3\pi/2$.

f = diskfun(@(x,y) -x.^2 - 3*x.*y-(y-1).^2); intf = sum2(f) tru = -3*pi/2

intf = -4.712388980384691 tru = -4.712388980384690

Differentiation on the disk with respect to the radial variable $\rho$ can lead to singularities, even for smooth functions. For example, the function $f( \theta, \rho) = \rho \sin(\theta)$ is smooth on the disk, but $\partial f/ \partial \rho = \sin(\theta)$ has a singularity at $\rho = 0$. For this reason, differentiation in Diskfun is only done with respect to the Cartesian coordinates, $x$ and $y$.

Here, we examine a pair of harmonic conjugate functions, $u$ and $v$. We can use Diskfun to check that they satisfy the Cauchy-Riemann equations, and that $\nabla^2u = \nabla^2v = 0$. Geometrically, this implies that the contour lines of $u$ and $v$ intersect at right angles.

u = diskfun(@(t,r) r.^3.*cos(3*t), 'polar'); v = diskfun(@(t,r) r.^3.*sin(3*t), 'polar'); norm(diffy(u) + diffx(v)) % Check u_y =- v_x norm(diffx(u) - diffy(v)) % Check u_x = v_y norm(lap(u)) norm(lap(v))

ans = 0 ans = 0 ans = 0 ans = 0

contour(u, 20, 'b'), hold on contour(v, 20, 'm'), axis off, hold off title( 'Contour lines for u and v' )

For the next example, we consider the eigenfunctions of the Laplace operator in polar coordinates. As the analogue of the the spherical harmonics, they are a natural basis for functions on the disk.

They can be accessed in Diskfun with the `diskfun.harmonic`

command.

Here, we examine the derivatives of the cylindrical harmonic function $u = a J_4(\omega_{41}\rho) \cos(4 \theta)$. The function $J_4$ is a Bessel function with parameter 4, $\omega_{41}$ is the first positive root of $J_4$, and $a$ is a normalization constant (see Ch. 9, [Churchill & Brown, 1978]). We construct $u$ in Diskfun as follows:

u = diskfun.harmonic(4, 1); plot(u), axis off title('u')

Here are the first derivatives of $u$:

plot(diffx(u)), axis off title('du/dx'), snapnow plot(diffy(u)), axis off title('du/dy')

Due to the rotational symmetry of $u$, $u_x$ is equivalent to the rotation of $u_y$ by an angle of $-\pi/2$ radians.

norm(rotate(diffy(u), -pi/2)-diffx(u))

ans = 0

We observe that $u_{xx} + u_{yy}$ is a scalar multiple of $u$. We can compare Diskfun's result with the computation $-\lambda u$, where $\sqrt{\lambda} = 7.58834243450380$.

plot(lap(u)), axis off title('Laplacian of u')

lambda = (7.58834243450380)^2; norm(-lambda*u - lap(u))

ans = 3.681442420967692e-12

### 16.3 Poisson's equation

We can use Diskfun to compute smooth solutions to Poisson's equation on the disk. In this example, we compute the solution $v(\theta, \rho)$ for Poisson's equation with a Dirichlet boundary condition: we seek $v$ such that $$ \nabla^2 v = f, \qquad v(\theta, 1) = 1,$$ where $(\theta, \rho) \in [-\pi, \pi] \times [0, 1]$ and $f = \sin \left( 21 \pi \left( 1 + \cos( \pi \rho) \right) \rho^2-2\rho^5\cos \left( 5(t-.11)\right) \right)$. The solution is returned as a diskfun, so we can immediately plot it, evaluate it, find its zero contours, or perform other operations. Currently, Diskfun requires the user to specify the number of 2D coefficients to be solved for; in this case, we choose a coefficient matrix of size $256 \times 256$.

f = @(t,r) sin(21*pi*(1+cos(pi*r)).*(r.^2-2*r.^5.*cos(5*(t-0.11)))); rhs = diskfun(f, 'polar'); bc = @(t) 0*t+1; v = diskfun.poisson(f, bc, 256)

v = diskfun object domain rank vertical scale unit disk 21 1

plot( rhs ), axis off title( 'f' ), snapnow plot( v ), axis off title( 'v' )

### 16.4 Vector calculus

Since the introduction of Chebfun2, Chebfun has supported computations with vector-valued functions, including functions in 2D (Chebfun2v), 3D (Chebfun3v), and spherical geometries (Spherefunv). Similarly, Diskfunv allows one to compute with vector-valued functions on the disk. Currently, there are dozens of commands available in Diskfunv, including vector-based algebraic commands such as `cross`

, as well as commands that map vector-valued functions to scalar-valued functions (e.g., `dot`

, `curl`

, `div`

and `jacobian`

) and vice-versa (e.g., `grad`

), and commands for performing calculus with vector fields (e.g., `laplacian`

).

In this example, we create a diskfun consisting of a difference of two Gaussian functions, and then compute its gradient. The result is returned as a vector-valued object called a diskfunv, with a lower case 'd'.

psi = @(x,y) 5*exp(-10*(x+.2).^2-10*(y+.4).^2)... -5*exp(-10*(x-.2).^2-10*(y-.2).^2) + 5*(1-x.^2-y.^2)-20; f = diskfun( psi ); u = grad(f)

u = diskfunv object containing diskfun object domain rank vertical scale unit disk 27 18 diskfun object domain rank vertical scale unit disk 25 20

The vector-valued function $\mathbf{u}$ consists of two components, ordered with respect to unit vectors in the directions of $x$ and $y$, respectively. Each of these is stored as a diskfun. We can view the vector field using a quiver plot:

plot(f), hold on quiver(u, 'k'), axis off, hold off

Once a diskfunv object is created, dozens of overloaded commands can be applied to it. For example, here is a contour plot of the divergence of $\mathbf{u}$.

D = div( u ); contour(D,10, LW, 1.5), hold on quiver(u, 'k'), axis off, hold off

Since $\mathbf{u}$ is the gradient of $f$, we can verify that $\nabla \cdot \mathbf{u} = \nabla^2 f$:

norm( div(u) - lap(f) )

ans = 0

Additionally, since $\mathbf{u}$ is a gradient field, $\nabla \times \mathbf{u} = 0$.

We can verify this with the `curl`

command.

v = curl(u); norm( v )

ans = 1.399802573963744e-11

Diskfunv objects can be created by calling the constructor directly and supplying function handles or diskfuns for each component, or by vertically concatenating two diskfuns. Here, we demonstrate this by forming a diskfunv $\mathbf{v}$ that represents the surface curl for a scalar-valued function $g$, i.e, $\nabla \times [0, 0, g]$.

g = diskfun( @(x,y) cosh(.25.*(cos(5*x)+sin(4*y.^2)))-2 ); dgx = diffx( g ); dgy = diffy( g ); v = diskfunv(dgy, -dgx); % call constructor norm(v - [dgy; -dgx]) % equivalent to vertical concatenation

ans = 0

plot( g ), hold on quiver(v, 'w'), axis off title( 'The numerical surface curl of g' ), hold off

This construction is equivalent to using the command `curl`

on the scalar function $g$:

norm( v - curl(g) )

ans = 0

To see all commands available for vector-valued functions in Diskfun, type `methods diskfunv`

in the MATLAB command line.

### 16.5 Constructing a diskfun

The above sections describe how to use Diskfun, and this section provides a brief overview of how the algorithms in Diskfun work. This can be useful for understanding various aspects of approximation involving functions on the disk. More details can be found in [Townsend, Wilber & Wright, 2016B], and also in the closely related Spherefun part (Chapter 17) of the guide.

Like Chebfun2 and Spherefun, Diskfun uses a variant of Gaussian elimination (GE) to form low rank approximations to functions. This often results in a compressed representation of the function, and it also facilitates the use of highly efficient algorithms that work primarily on sets of 1D functions related to the approximant.

To construct a diskfun from a function $f$, we consider an extended version of $f$, denoted by $\tilde{f}$, which is formed by taking $f(\theta, \rho)$ and letting $\rho$ range over $[-1, 1]$, as opposed to $[0, 1]$. This is the disk analogue of the so-called double Fourier sphere method discussed in Chapter 17 (also, see [Fornberg, 1998] and [Trefethen, 2000]). The function $\tilde{f}$ has a special structure, referred to as a block- mirror-centrosymmetric (BMC) structure. By forming approximants that preserve the BMC structure of $\tilde{f}$, smoothness near the origin is guaranteed.

To see the BMC structure, we construct a diskfun `f`

and use the `cart2pol`

command:

f = @(x,y) cos(2*((3*sin(2*x)+5*sin(y))))-.5*sin(x-y); f = diskfun(f); plot(f), axis off title('f')

tf = cart2pol(f, 'cdr') plot(tf), view(2) title('The BMC function associated with f')

tf = chebfun2 object domain rank corner values [-3.1, 3.1] x [ -1, 1] 26 [0.26 0.26 1.1 1.1] vertical scale = 1.5

A structure-preserving method of GE (see [Townsend, Wilber \& Wright, 2016B]) adaptively selects a collection of 1D circular and radial ``slices" that are used to approximate $\tilde{f}$. Each circular slice is a periodic function in $\theta$, and is represented by a trigonometric interpolant (or trigfun, see Chapter 11). Each radial slice, a function in $\rho$, is represented as a chebfun. These slices form a low rank representation of $f$, \begin{equation} \label{eq:lra} f(\theta, \rho) \approx \sum_{j=1}^{n} d_jc_j(\rho)r_j(\theta), \end{equation} where ${ d_j }_{j=1}^{n}$ are pivot values associated with the GE procedure.

`plot`

command can be used to display the "skeleton" of `f`

: the locations of the slices that were adaptively selected and sampled during the GE procedure.

Comparing the skeleton to the tensor product grid required to approximate $\tilde{f}$ to machine precision, we see that $\tilde{f}$ is numerically of low rank, so Diskfun is effectively compressing the representation. The clustering of sample points near the center and the edges of the disk can be observed in the tensor product grid; low rank methods alleviate this issue in many instances.

clf plot(f, '.-', MS, 10), axis off title('Low rank function samples', FS, 16), snapnow [ m, n ] = length(f); r = chebpts(m); r = r((m+1)/2: m); [ tt, rr ] = meshgrid( linspace(-pi, pi, n), r ); XX = rr.*cos(tt); YY = rr.*sin(tt); clf, plot(XX, YY, 'k-', LW, 0.1) hold on plot(XX', YY', 'k-', LW, 0.1) view(2), axis square, axis off title('Tensor product function samples', FS, 16)

Writing the approximant as in (\ref{eq:lra}) allows us to work with it as a continuous analogue of a matrix factorization. Then, the "column" (radial) slices of $f$ are the collection of Chebyshev interpolants $c_j(\rho)$, and the "row" slices are the trigonometric interpolants $r_j(\theta)$. These can be plotted; doing so we observe that each column is either even or odd, and each row is either $\pi$-periodic or $\pi$-antiperiodic. This is reflective of the BMC structure inherent to the approximant.

clf plot(f.cols(:,3:7)) title('5 of the 26 column slices of f'), snapnow plot(f.rows(:,3:7)) title('5 of the 26 row slices of f')

In practice, several basis choices can be used for approximation on the disk (see [Boyd & Yu, 2011]). Diskfun uses the Chebyshev--Fourier basis, and `f`

is fully characterized by its Chebyshev and Fourier coefficients. The command `plotcoeffs`

lets us inspect these details.

clf plotcoeffs(f)

### References

[Boyd & Yu, 2011] J.P. Boyd, and F. Yu, Comparing seven spectral methods for interpolation and for solving the Poisson equation in a disk: Zernike polynomials, Logan & Shepp ridge polynomials, Chebyshev & Fourier series, cylindrical Robert functions, Bessel & Fourier expansions, square-to-disk conformal mapping and radial basis functions, *J. Comp. Physics*, 230.4 (2011), pp. 1408-1438.

[Churchill & Brown, 1978] R.V. Churchill, and J.W. Brown, *Fourier Series and Boundary Value Problems*, McGraw-Hill, 1978.

[Fornberg 1998] B. Fornberg, *A Practical Guide to Pseudospectral Methods*, Cambridge University Press, 1998.

[Townsend, Wilber & Wright, 2016] A. Townsend, H. Wilber, and G.B. Wright, Computing with functions in spherical and polar geometries I. The sphere, *SIAM J. Sci. Comp.*, 38-4 (2016), C403-C425.

[Wilber, Townsend & Wright, 2016] A. Townsend, H. Wilber, and G.B. Wright, Computing with functions in spherical and polar geometries II. The disk, *SIAM J. Sci. Comput.*, submitted, 2016.

[Trefethen, 2000] L. N. Trefethen, *Spectral Methods in MATLAB*, SIAM, 2000.