THE UNIFIED TRANSFORM FOR THE MODIFIED HELMHOLTZ EQUATION IN THE EXTERIOR OF A SQUARE A. S. FOKAS AND J. LENELLS arxiv:4.252v [math.ap] Jan 24 Abstract. The Unified Transform provides a novel method for analyzing boundary value problems for linear and for integrable nonlinear PDEs. The numerical implementation of this method to linear elliptic PDEs formulated in the interior of a polygon has been investigated by several authors (see the article by Iserles, Smitheman, and one of the authors in this book). Here, we show that the Unified Transform also yields a novel numerical technique for computing the solution of linear elliptic PDEs in the exterior of a polygon. One of the advantages of this new technique is that it actually yields directly the scattering amplitude. Details are presented for the modified Helmholtz equation in the exterior of a square. AMS Subject Classification (2): 35J5, 35J25, 65N35. Keywords: linear elliptic PDE, boundary value problem, exterior domain, scattering theory.. Introduction The so-called Unified Transform, introduced by the first author in the late nineties [3, 6], has been implemented to a variety of boundary value problems for linear elliptic PDEs. In particular, it has led to the emergence of a new numerical technique for the Laplace, the Helmholtz, and the modified Helmholtz equations formulated in the interior of a polygon [, 2, 4, 7, 8,, 2, 4 8]. This technique is illustrated for the particular case of a square in this book []. A novel numerical implementation of the Unified Transform to the Helmholtz and modified Helmholtz equations formulated in the exterior of a polygon is presented in [9]. Here, we illustrate this implementation in the particular case of a square. 2. The Unified Transform The starting point of the Unified Transform is rewriting the given PDE as the condition that a one-parameter family of differential forms is closed. For the modified Helmholtz equation 2 u x 2 + 2 u y 2 4β2 u =, β >, (x, y) D R 2, (2.) the relevant differential form is given by [( ) W (z, z, ) = e iβ(z z u ) z + iβu where dz ( u z + βu ) ] d z, (2.2) i z = x + iy, z = x iy, z D. (2.3) Indeed, recall that the differential of the one-form W, W (z, z) = A(z, z)dz + B(z, z)d z,
2 A. S. FOKAS AND J. LENELLS is given by dw = ( B z A ) dz d z. (2.4) z Using the above expression for the differential form W defined by (2.2) we find ( dw = 2e iβ(z z ) 2 ) u z z β2 u dz d z, z D. (2.5) However, employing the change of variables defined by (2.3), we find that the modified Helmholtz equation (2.) can be written in the form thus (2.5) implies 2 u z z β2 u =, z D, (2.6) dw =, z D. (2.7) 3. The Global Relation for Exterior Domains Suppose that the domain D is exterior to some bounded domain D B. Then equation (2.7) and the complex form of Green s theorem imply D B W (z, z, ) = I(), C, (3.) where I() is defined by I() = lim W (z, z, ), C. (3.2) r z =r Assume that u satisfies the Sommerfeld radiation condition, i.e. ( ) lim r r r + 2β u =. (3.3) It is well known (see [3]) that as r, u admits the asymptotic expansion ( u πiβr ei(2iβr π 4 ) f (ϕ) + f (ϕ) + f ) 2(ϕ) r r 2 +, r. (3.4) Employing the above representation in (3.2), it is shown in [9] that I() is given by I() = 4if (i ln( i)), C. (3.5) It is shown in [9] that f (ϕ) admits an analytic continuation to complex values of ϕ and hence the right-hand side of (3.5) is well defined. We recall that if the modified Helmholtz equation (2.) is defined in the interior domain D B, then W satisfies the equation D B W (z, z, ) =, C. (3.6) It turns out that if D B is the interior of a polygon, then equation (3.6) provides an efficient way for computing the generalized Dirichlet to Neumann map (see []). Indeed, for a well posed problem, one specifies a relationship between the Dirichlet and the Neumann boundary values. Thus, if the relevant polygon consists of n sides, then equation (3.6) contains n unknowns. For example, in the case of the Dirichlet problem, equation (3.6) contains the n unknown Neumann boundary values. However, equation (3.6) is valid for all complex values of. Thus, by expanding the unknown boundary
THE UNIFIED TRANSFORM FOR THE MODIFIED HELMHOLTZ 3 values in an appropriate basis, and by evaluating equation (3.6) at a sufficiently large number of collocation points, we can obtain the unknown coefficients appearing in the above expansions. Fornberg and colleagues have shown that by choosing Legendre polynomials as base functions, and by overdetermining the relevant linear system (i.e. by choosing the number of collocation points much larger than the number of unknown coefficients), the above technique yields a linear system with a small condition number. Furthermore, it is shown in [8], that by choosing the collocation points to be on certain curves, it is possible to obtain a condition number which is independent of β. Equation (3.) differs from equation (3.6) only by the presence of the explicit term defined in (3.5). Thus, we can still apply the techniques developed for analyzing equation (3.6), but we must supplement equation (3.) with an additional equation in order to compensate for the existence of the additional unknown function f. 4. A Supplement to the Global Relation Suppose that D is the exterior of the n-gon with vertices at {z j } n. It is shown in [9] and [9] that in this case the following relation is valid: n j= e iβ(z z l j ) û j () =, z D B, (4.) where D B denotes the interior of the polygon, the rays l j oriented from the origin to infinity are defined by and the functions {û j ()} n l j = { C arg = arg(z j+ z j )}, j =,..., n, (4.2) û j () = zj+ z j are defined by ( ) ] e iβ(z z [iu ) d z N + iβ dt + dz u dt, (4.3) dt where u N denotes the Neumann boundary value. Let us parametrize the side [z j, z j+ ] by where z(t) = m j + th j, t, (4.4) m j = z j + z j+ 2, h j = z j+ z j. (4.5) 2 Then, the expression û j () defined in (4.3) can be written in the form û j () = û D j () + û N j (), j =,..., n, (4.6) where ( ) û D j () = iβ j + h j e h iβ(m j m j ) e iβt(h j h j ) udt, (4.7) û N j () = ie iβ(m j m j ) e iβt(h j h j ) u N dt. (4.8)
4 A. S. FOKAS AND J. LENELLS 5. The Dirichlet Problem For the Dirichlet problem the functions {û D j ()}n are known (see (4.7)). In order to compute û N j (), we approximate the Neumann boundary value on the side j as follows: M u N j (t) c (j) m P m (t), j =,..., n, (5.) m= where P m is the Legendre polynomial of degree m, and the unknown constants c (j) m are to be determined. Equation (4.8) yields û N j () = ie iβ(m j m j ) M m= c (j) m e iβt(h j h j ) P m (t)dt. (5.2) Thus, using the expression [8] m e iλx A mp e iλ + B mp e iλ P m (x)dx = Λ p+, m, Λ C \ {}, (5.3) where equation (5.2) becomes p= (m + p)!( )m+p A mp = 2 p p!(m p)!i p+, B (m + p)! mp = 2 p, (5.4) p!(m p)!ip+ û N j () = ie iβ(m j m j ) Thus, equation (4.) yields where u D (z) + i n M c (j) m j= m= m p= M m= u D (z) = c (j) m m A mp e iλ + B mp e iλ Λ p+. (5.5) Λ=β(hj h j ) p= A mp Q + pj (z) + B mpq pj (z) β p+ =, z D B, (5.6) n j= and the functions Q ± pj (z) are defined by Q ± pj (z) = z iβ(z e ˆlj e iβ(z z m j+ m j ±(h j h j )) ˆlj (h j h j )p+ ) û D j (), (5.7), (5.8) with ˆl j denoting the contour l j with small indentations inserted appropriately so that ˆl j passes around the points = ± exp( i arg h j ) (these points are removable singularities, thus we deform l j to ˆl j before splitting the relevant integrals). Suppose we take the limit as z approaches the j th side. Then, using for this side the parametrization z = m j + t h j, t, (5.9)
THE UNIFIED TRANSFORM FOR THE MODIFIED HELMHOLTZ 5 we find Q σ pj (z ) = Q σ pj(z ) = ˆlj e iβ(t +σ)[h j h j ] (h j h j )p+ ˆlj e iβ[(m j m j )+(t h j +σh j ), σ = ±, (5.) (h j h j )p+ m j m j t h j +σ h j ], j j, σ = ±. By employing the above limiting procedure, we can obtain n additional equations. Let D B be the square with corners at 6. The Exterior of a Square z = + i, z 2 = + i, z 3 = i, z 4 = i. Then, the four midpoints of the sides are m = i, m 2 =, m 3 = i, m 4 =, with the corresponding tangential vectors Also, h =, h 2 = i, h 3 =, h 4 = i. l = (, ), l 2 = (, i ), l 3 = (, ), l 4 = (, i ). Thus, if j = so that z = i t, t, belongs to the top side, then Q σ p(z ) = Q σ p2(z ) = Q σ p3(z ) = Q σ p4(z ) = ˆl e iβ(t +σ)[ ] ( + )p+ ˆl2 e iβ[i( σ)(+ )+( t )( )] ( i i )p+, σ = ±,, σ = ±, ˆl3 e iβ[2i(+ )+(σ t )( )] ( )p+, σ = ±, ˆl4 e iβ[i(+σ)(+ ) (+t )( )] (i + i )p+, σ = ±. (5.) We choose the indented contours ˆl j, j =,..., 4, displayed in Figure. The exponential e iβ(t +σ)[ ] has decay for Im < if σ = and for Im > if σ =. Using that e iβ(t +σ)[ ] Res = ( + )p+ = d p ( ) p+ p! p e iβ(t +σ)[ ] =, we find Q σ p(z ) = e 3iπ 4 + 2πi p! e iβ(t +σ)[ ] ( + )p+ d p ( p = ) p+ e iβ(t +σ)[ ], σ =,
6 A. S. FOKAS AND J. LENELLS ˆl2 i ˆl3 ˆl i ˆl4 Figure. The indented contours ˆl j, j =,..., 4, utilized for the exterior of the square. and Similarly, we find Q σ p(z ) = e 3iπ 4 e iβ(t +σ)[ ] ( + )p+, σ =. Q σ p2(z ) = Q σ p3(z ) = iπ e 4 iπ e 4 e iβ[i( σ)(+ )+( t )( )] ( i i )p+, σ = ±, e iβ[2i(+ )+(σ t )( )] ( )p+, σ =, e iπ 4 e iβ[2i(+ )+(σ t )( )] Q σ p3(z ) = ( )p+ 2πi d p ( ) p+ p! p e iβ[2i(+ )+(σ t )( )] = +, σ =, Q σ p4(z ) = e iπ 4 e iβ[ (+t )( )+i(+σ)(+ )] (i + i )p+, σ = ±. The above integrals have exponential decay and are suitable for numerical evaluation. Similar considerations lead to analogous expressions for Q ± pj (z ) for z belonging to the left, bottom, and right sides of the square. Substituting the above expressions into relation (5.6) evaluated at z = z where z belongs to one of the sides of the square, we find relations for the c (j) m s which can be used to supplement the exterior global relation. Taking into consideration that the global relation now involves one additional unknown (the scattering amplitude f ), one would expect that it is sufficient to supplement the global relation with the equation obtained by varying z on any one of the sides of the square. However, it appears that in order to obtain accurate results it is necessary to consider all four sides.
THE UNIFIED TRANSFORM FOR THE MODIFIED HELMHOLTZ 7 Re f (ϕ)...999995.99999.999985 3 2 2 3 ϕ Im f (ϕ) 2. 6. 6 3 2 2 3. 6 2. 6 ϕ Figure 2. The real and imaginary parts of the scattering amplitude f (ϕ) for Example. Numerical values (solid) compared with true values (dashed). Re u y (i t) 4. 6 2. 6..5.5. 2. 6 t Im u y (i t).2.5..5 4...5..5. t Figure 3. The real and imaginary parts of the Neumann value on the top side for Example. It was noted earlier that the term u D defined by (5.7) is known. However, the question of computing this term numerically in the most efficient way remains open. In the examples below we compute the known expression (5.7) by approximating the given Dirichlet data in terms of Legendre polynomials. 6.. Examples. Let D be the domain exterior to the square with vertices at ± ± i. The function u(r, ϕ) = H () n (2iβr)(Ae inϕ + Be inϕ ), (6.) satisfies the modified Helmholtz equation (2.) in D for any n and any complex constants A and B. 6... Example. For the first example, we let u(r, ϕ) = H () (2iβr). This solution satisfies ( u(r, ϕ) = πiβr ei(2iβr π 4 ) ) 6βr + 9 52β 2 r 2 + O(r 3 ), r. Hence equation (3.4) is satisfied with f (ϕ). We use the values of u on the four sides of the square as the given Dirichlet data. Letting β =, we apply the above technique with M = 8 and with 54 collocation points. The numerical scheme yields the scattering amplitude f (ϕ) displayed in Figure 2. The numerically obtained and
8 A. S. FOKAS AND J. LENELLS Re f (ϕ) Im f (ϕ)...5.5 3 2 2 3 ϕ 3 2 2 3 ϕ.5.5.. Figure 4. The real and imaginary parts of the scattering amplitude f (ϕ) for Example 2. Re u y (i t) Im u y (i t).2.5..5.5. t.5..5.5..5.5. t Figure 5. The real and imaginary parts of the Neumann value on the top side for Example 2. true Neumann values on the top side are shown in Figure 3; the results for the other three sides are similar. The numerics gives the correct profiles with a maximal error of approximately 4. 6..2. Example 2. For the second example, we let u(r, ϕ) = H () (2iβr)eiϕ. This solution satisfies ) u(r, ϕ) = πiβr ei(2iβr π 4 ( ie ) iϕ + 3eiϕ 6iβr + 5ieiϕ 52β 2 r 2 + O(r 3 ), r. Hence equation (3.4) is satisfied with f (ϕ) = ie iϕ. Letting β =, the numerical scheme with M = 8 and with 54 collocation points yields the scattering amplitude f (ϕ) displayed in Figure 4. The numerically obtained and true Neumann values on the top side are shown in Figure 5. The numerics gives the correct profiles with a maximal error of approximately.2. 7. Conclusions We have illustrated a novel numerical technique for linear elliptic PDEs formulated in the exterior of a polygon. This technique, which is based on the Unified Transform, uses two main ingredients: (a) the global relation; in the case of the modified Helmholtz equation, the global relation is given by (3.), where I() is defined by equation (3.5). This equation can be analyzed numerically in the same way that
THE UNIFIED TRANSFORM FOR THE MODIFIED HELMHOLTZ 9 the global relation is analyzed in the case of linear elliptic PDEs formulated in the interior of a polygon. However, now the global relation, in addition to the unknown boundary values, also involves the unknown function f (the scattering amplitude). Hence, it must be supplemented with an additional equation. (b) Additional equations can be obtained by taking the limit of a certain equation which is valid for z in the interior of the given polygon, as z approaches the boundary; in the case of the modified Helmholtz equation, this equation is given by (5.6). Actually, by taking the limit as z approaches each side of an n-gon, one obtains n additional equations. These equations provide the formulation in the complex Fourier plane (complex extension of ) of the classical boundary integral method. By exploiting the analyticity structure in the complex Fourier plane, it is possible to perform contour deformations and to obtain integrals which decay exponentially for large. This yields a most efficient numerical evaluation of these integrals. Detailed comparisons will be presented elsewhere. Acknowledgement The authors acknowledge support from the EPSRC, UK. References [] A. C. L. Ashton, On the rigorous foundations of the Fokas method for linear elliptic partial differential equations, Proc. R. Soc. A 468 (22), 325 33. [2] A. C. L. Ashton, The spectral Dirichlet-Neumann map for the Laplace equation in a convex polygon, SIAM J. Math. Anal. 45 (23), 3575 359. [3] A. S. Fokas, A unified transform method for solving linear and certain nonlinear PDEs, Proc. Roy. Soc. Lond. A 453 (997), 4 443. [4] A. S. Fokas, Two-dimensional linear partial differential equations in a convex polygon, R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 457 (2), 37 393. [5] A. S. Fokas, Integrable nonlinear evolution equations on the half-line, Comm. Math. Phys. 23 (22), 39. [6] A. S. Fokas, A unified approach to boundary value problems, CBMS-NSF regional conference series in applied mathematics, SIAM (28). [7] A. S. Fokas, N. Flyer, S. A. Smitheman, and E. A. Spence, A semi-analytical numerical method for solving evolution and elliptic partial differential equations, J. Comput. Appl. Math. 227 (29), 59 74. [8] A. S. Fokas, A. C. L. Ashton, and S. A. Smitheman, A numerical technique for the interior of a polygonal domain, preprint. [9] A. S. Fokas and J. Lenells, The Unified Transform for the Helmholtz and modified Helmholtz equations in the exterior of a polygon, in preparation. [] B. Fornberg and N. Flyer, A numerical implementation of Fokas boundary integral approach: Laplace s equation on a polygonal domain, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 467 (2), 2983 33. [] A. S. Fokas, A. Iserles, and S. A. Smitheman, The unified transform in polygonal domains via the explicit Fourier transform of Legendre polynomials, in this volume. [2] S. R. Fulton, A. S. Fokas, and C. A. Xenophontos, An analytical method for linear elliptic PDEs and its numerical implementation, J. Comput. Appl. Math. 67 (24), 465 483. [3] S. N. Karp, A convergent farfield expansion for two-dimensional radiation functions, Comm. Pure Appl. Math. 4 (96), 427 434. [4] Y. G. Saridakis, A. G. Sifalakis, and E. P. Papadopoulou, Efficient numerical solution of the generalized Dirichlet-Neumann map for linear elliptic PDEs in regular polygon domains, J. Comput. Appl. Math. 236 (22), 255 2528. [5] A. G. Sifalakis, A. S. Fokas, S. R. Fulton, and Y. G. Saridakis, The generalized Dirichlet- Neumann map for linear elliptic PDEs and its numerical implementation, J. Comput. Appl. Math. 29 (28), 9 34.
A. S. FOKAS AND J. LENELLS [6] A. G. Sifalakis, S. R. Fulton, E. P. Papadopoulou, and Y. G. Saridakis, Direct and iterative solution of the generalized Dirichlet-Neumann map for elliptic PDEs on square domains, J. Comput. Appl. Math. 227 (29), 7 84. [7] A. G. Sifalakis, E. P. Papadopoulou, and Y. G. Saridakis, Numerical study of iterative methods for the solution of the Dirichlet-Neumann map for linear elliptic PDEs on regular polygon domains, Int. J. Appl. Math. Comput. Sci 4 (27), 73 78. [8] S. A. Smitheman, E. A. Spence, and A. S. Fokas, A spectral collocation method for the Laplace and modified Helmholtz equations in a convex polygon, IMA J. Numer. Anal. 3 (2), 84 25. [9] E. A. Spence, Boundary Value Problems for Linear Elliptic PDEs, Ph.D. thesis, University of Cambridge, Cambridge, UK, 2. A.S.F.: Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Cambridge CB3 WA, United Kingdom, and Research Center of Mathematics, Academy of Athens, 527, Greece. E-mail address: T.Fokas@damtp.cam.ac.uk J.L.: Department of Mathematics and Center for Astrophysics, Space Physics & Engineering Research, Baylor University, One Bear Place #97328, Waco, TX 76798, USA. E-mail address: Jonatan Lenells@baylor.edu