Fundamental Solution of Elliptic Equation with Positive Definite Matrix Coefficient CAUCHY –Jurnal Matematika Murni dan Aplikasi Volume 5(2) (2018), Pages 64-66 p-ISSN: 2086-0382; e-ISSN: 2477-3344 Submitted: 17 January 2018 Reviewed: 09 April 2018 Accepted: 16 May 2018 DOI: http://dx.doi.org/10.18860/ca.v5i2.4717 Fundamental Solution of Elliptic Equation with Positive Definite Matrix Coefficient Khoirunisa1, Corina Karim2 1,2Department of Mathematics, Universitas Brawijaya Email: khoir.n97@gmail.com, co_mathub@ub.ac.id ABSTRACT We study the fundamental solution of elliptic equations with real constant coefficients βˆ‘βˆ‘π‘Žπ‘–π‘—π·π‘–(𝐷𝑗𝑒) 𝑛 𝑗=1 𝑛 𝑖=1 = 0, where π‘Žπ‘–π‘— is a positive definite matrix. We obtained by searching the radial solution such that we solved the equation into ordinary differential equations. Keywords: fundamental solution, elliptic equation, positive definite matrix INTRODUCTION We consider the linear differential operator 𝐿𝑒 = βˆ‘ βˆ‘ π‘Žπ‘–π‘—(π‘₯) πœ•2𝑒 πœ•π‘₯π‘–πœ•π‘₯𝑗 + βˆ‘ 𝑏𝑖(π‘₯) πœ•π‘’ πœ•π‘₯𝑖 + 𝑐(π‘₯)𝑒𝑛𝑖=1 𝑛 𝑗=1 𝑛 𝑖=1 , (1) with coefficient defined in an 𝑛 βˆ’dimensional domain 𝐷, where 𝑏𝑖(π‘₯) and 𝑐(π‘₯) are any functions that depend on π‘₯. 𝐿 is said to be of elliptic type (or elliptic) at a point π‘₯0 if the matrix π‘Žπ‘–π‘—(π‘₯ 0) is positive definite, i.e., if for any real vector πœ‰ β‰  0, βˆ‘ βˆ‘ π‘Žπ‘–π‘—πœ‰π‘–πœ‰π‘— > 0 𝑛 𝑗=1 𝑛 𝑖=1 [3]. Laplace's equation βˆ†π‘’ = 0 is the simplest and most basic example of elliptic equation, and the Laplacian of 𝑒 is βˆ†π‘’ = βˆ‘ 𝑒π‘₯𝑖π‘₯𝑖 𝑛 𝑖=1 [1]. While, a symmetric matrix 𝐴 is called a positive definite matrix if a quadratic form π‘₯𝑇 𝐴π‘₯ > 0 for all π‘₯ β‰  0,π‘₯ ∈ ℝ [5]. A fundamental solution of the differential operator 𝐿 in Ξ© is a function 𝐾(π‘₯,𝑧) defined for π‘₯πœ–Ξ©,π‘§πœ–Ξ©,π‘₯ β‰  𝑧 and satisfying the following property: For any bounded domain ℝ with smooth boundary πœ•β„ and for any π‘§πœ–β„, 𝑒(𝑧) = ∫ 𝐾(π‘₯,𝑧)πΏβˆ—π‘’(π‘₯)Μ…Μ… Μ…Μ… Μ…Μ…Μ…Μ… Μ…Μ… Μ…Μ… Μ…Μ… ̅𝑑π‘₯, ℝ for every 𝑒 ∈ 𝐢0 π‘š(ℝ), and πΏβˆ— is formal adjoint of 𝐿 [4]. Here, we define the following equation as elliptic equation with positive definite matrix βˆ‘ βˆ‘ π‘Žπ‘–π‘—π·π‘–(𝐷𝑗𝑒) = 0, 𝑛 𝑗=1 𝑛 𝑖=1 (2) where π‘Žπ‘–π‘— is element of positive definite matrix, 𝑒 = 𝑒(π‘₯) and π‘₯ ∈ π‘ˆ, π‘ˆ βŠ‚ ℝ 𝑛. In 2016, Fitri studied the Holder regularity of weak solutions to linear elliptic partial differential equations with continuous coefficients, Campanato type estimates are obtained for the validity of regularity of solutions (see [2] ). In this paper, we study the fundamental solution of elliptic equation with positive definite matrix coefficient. Due to the symmetry of elliptic equation, radial solutions are natural to look for since the given partial differential equation can be reduced to an ordinary differential equation which is easier to solve. In this way, we can reduce the higher dimensional problems to one dimensional problems. mailto:khoir.n97@gmail.com mailto:co_mathub@ Fundamental Solution of Elliptic Equation with Positive Definite Matrix Coefficient Khoirunisa 65 RESULTS AND DISCUSSION Let the elliptic equation with positive definite matrix as in (2) then to find a solutions 𝑒 of elliptic equations , it consequently seems advisable to search for radial solutions, that is functions of π‘Ÿ. Theorem 3.1 Let π‘Ÿ = βˆšβˆ‘βˆ‘π‘π‘–π‘—π‘₯𝑖π‘₯𝑗 𝑛 𝑗=1 𝑛 𝑖=1 , where 𝑏𝑖𝑗 is element of coffactor matrix π‘Žπ‘–π‘—. Then partial derivative of r with respect to xj and partial derivative of r with respect to xixj are defined by πœ•π‘Ÿ πœ•π‘₯𝑗 = 1 π‘Ÿ βˆ‘βˆ‘π‘π‘–π‘—π‘₯𝑖 𝑛 𝑗=1 𝑛 𝑖=1 , and πœ•2𝑒 πœ•π‘₯π‘–πœ•π‘₯𝑗 = 1 π‘Ÿ βˆ‘βˆ‘π‘π‘–π‘— βˆ’ 1 π‘Ÿ3 𝑛 𝑗=1 𝑛 𝑖=1 βˆ‘βˆ‘(βˆ‘ π‘π‘–π‘˜π‘₯π‘˜ 𝑛 π‘˜=1 βˆ‘ π‘π‘—π‘˜π‘₯π‘˜ 𝑛 π‘˜=1 ) 𝑛 𝑗=1 𝑛 𝑖=1 . Theorem 3.2 Suppose 𝑒 (π‘₯) = 𝑣 (π‘Ÿ) , then the second derivative of 𝑒 with respect to π‘₯𝑖π‘₯𝑗 denoted 𝐷𝑖(𝐷𝑗𝑒) = πœ•2𝑒 πœ•π‘₯π‘–πœ•π‘₯𝑗 is the total derivative of 𝑣 (π‘Ÿ) respect to π‘₯𝑖π‘₯𝑗. Corollary 3.3 If the second derivative of (4) is substituted into the equation (2) then we get 𝑣′′(π‘Ÿ) π‘Ÿ2 βˆ‘βˆ‘π‘Žπ‘–π‘— (βˆ‘ π‘π‘–π‘˜π‘₯π‘˜ 𝑛 π‘˜=1 βˆ‘ π‘π‘—π‘˜π‘₯π‘˜ 𝑛 π‘˜=1 ) + 𝑣′(π‘Ÿ) π‘Ÿ 𝑛 𝑗=1 𝑛 𝑖=1 βˆ‘βˆ‘π‘Žπ‘–π‘—π‘π‘–π‘— 𝑛 𝑗=1 𝑛 𝑖=1 βˆ’ 𝑣′(π‘Ÿ) π‘Ÿ3 βˆ‘βˆ‘π‘Žπ‘–π‘— (βˆ‘ π‘π‘–π‘˜π‘₯π‘˜ 𝑛 π‘˜=1 βˆ‘ π‘π‘—π‘˜π‘₯π‘˜ 𝑛 π‘˜=1 ) 𝑛 𝑗=1 𝑛 𝑖=1 = 0. Corollary 3.4 If 𝐴 is positive definite matrix with π‘Žπ‘–π‘— element, and 𝐡 is cofactor matrix of 𝐴 with 𝑏𝑖𝑗 element then 𝐼(det𝐴) = 𝐴𝐡. Corollary 3.5 If 𝐴 matrix and 𝐡 matrix are symmetric, then βˆ‘ βˆ‘ π‘Žπ‘–π‘—π‘π‘–π‘— 𝑛 𝑗=1 𝑛 𝑖=1 can be simplified to be βˆ‘βˆ‘π‘Žπ‘–π‘—π‘π‘–π‘— = 𝑛det𝐴. 𝑛 𝑗=1 𝑛 𝑖=1 Next, to simplify the sum of bracket in the first and the last terms in (5), we denoted π‘Œπ‘– for 𝑖 = 1,2,…,𝑛 and 𝑗 = 1,2,…,𝑛, so that we have π‘Œπ‘– = (det𝐴)βˆ‘βˆ‘π‘π‘–π‘—π‘₯𝑖π‘₯𝑗 𝑛 𝑗=1 𝑛 𝑖=1 = (det𝐴)π‘Ÿ2, thus, the equation (5) can be rewrite as 𝑣′′ 𝑣′ = 1 βˆ’ 𝑛 π‘Ÿ , then we have (3) (5) (4) Fundamental Solution of Elliptic Equation with Positive Definite Matrix Coefficient Khoirunisa 66 𝑣′ = π‘Žπ‘Ÿ1βˆ’π‘›. Since, the domain π‘₯ is at 𝑛-dimension, 𝑛 β‰₯ 2 then 𝑣(π‘Ÿ) has the following general form: 𝑣(π‘Ÿ) = { π‘Žlogπ‘Ÿ + 𝑏, 𝑛 = 2 𝑐 π‘Ÿπ‘›βˆ’2 + 𝑏, 𝑛 β‰₯ 3. π‘Ž,𝑏,𝑐 ∈ ℝ. By rescaling (6) to 𝑒(π‘₯) = 𝑣(π‘Ÿ), where π‘Ÿ = (βˆ‘ βˆ‘ 𝑏𝑖𝑗π‘₯𝑖π‘₯𝑗 𝑛 𝑗=1 𝑛 𝑖=1 ) 1 2, then we get the fundamental solution of (2) is 𝑣(π‘Ÿ) = { π‘Žlog(βˆ‘βˆ‘π‘π‘–π‘—π‘₯𝑖π‘₯𝑗 𝑛 𝑗=1 𝑛 𝑖=1 ) 1 2 + 𝑏, 𝑛 = 2 𝑐 (βˆ‘βˆ‘π‘π‘–π‘—π‘₯𝑖π‘₯𝑗 𝑛 𝑗=1 𝑛 𝑖=1 ) 2βˆ’π‘› 2 + 𝑏, 𝑛 β‰₯ 3 where π‘Ž,𝑏,𝑐 ∈ ℝ. Remarks: We suppose the identity matrix 𝐼𝑛×𝑛 as a coefficient of (2). 𝐼 is a positive definite matrix, then the elliptic equation can be formed as follows βˆ‘βˆ‘π‘Žπ‘–π‘—π·π‘–(𝐷𝑗𝑒) = 0, 𝑛 𝑗=1 𝑛 𝑖=1 where π‘Žπ‘–π‘— = { 1, 𝑖 = 𝑗 0, 𝑖 β‰  𝑗. Then coffactor matrix 𝑏𝑖𝑗 = { 1, 𝑖 = 𝑗 0, 𝑖 β‰  𝑗. According to π‘Žπ‘–π‘— and 𝑏𝑖𝑗 as above, equation (7) can be written as βˆ‘π·π‘–(𝐷𝑖𝑒) = 0, 𝑛 𝑖=1 where (8) is equivalent to the Laplace’s equation βˆ‘ 𝑒π‘₯𝑖π‘₯𝑖 𝑛 𝑖=1 . REFERENCES [1] Evans, L. C. (1998). Partial Differential Equation. Second Edition. American Mathematical Society: USA [2] Fitri, S. (2016). Campanato Type Estimates for Solutions of an Elliptic Systems Class. International Interdisciplinary Studies Seminar Proceeding. 12-17. Malang: Universitas Brawijaya. [3] Friedman, A. (1964). Partial Differential Equation of Parbolic Type. Dover Publication,Inc: New York. [4] Friedman, A. (1969). Partial Differential Equation. Dover Publication,Inc: New York. [5] Leon, S. J. (2001). Aljabar Linear dan Aplikasinya. Erlangga: Jakarta. (6) (7) (8)