Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 15 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
15
Dung lượng
542,29 KB
Nội dung
Hindawi Publishing Corporation Journal ofInequalitiesandApplications Volume 2008, Article ID 475957, 15 pages doi:10.1155/2008/475957 ResearchArticleRepresentationofMultivariateFunctionsviathePotentialTheoryandApplicationstoInequalities Florica C. C ˆ ırstea 1 and Sever S. Dragomir 2 1 Department of Mathematics, Australian National University, Canberra, ACT 0200, Australia 2 School of Computer Science and Mathematics, Victoria University, P.O. Box 14428, Melbourne City, Victoria 8001, Australia Correspondence should be addressed to Sever S. Dragomir, sever.dragomir@vu.edu.au Received 12 February 2007; Revised 2 August 2007; Accepted 9 November 2007 Recommended by Siegfried Carl We use thepotentialtheoryto give integral representations offunctions in the Sobolev spaces W 1,p Ω, where p ≥ 1andΩ is a smooth bounded domain in R N N ≥ 2. As a byproduct, we obtain sharp inequalitiesof Ostrowski type. Copyright q 2008 F. C. C ˆ ırstea and S. S. Dragomir. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. 1. Introduction and main results Let N ≥ 2andlet·, · denote the canonical inner product on R N × R N .Ifω N stands for the area ofthe surface ofthe N − 1-dimensional unit sphere, then ω N 2π N/2 /ΓN/2,whereΓ is the gamma function defined by Γs ∞ 0 e −t t s−1 dt for s>0 see 1, Proposition 0.7. Let E denote the normalized fundamental solution of Laplace equation: Ex ⎧ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎩ 1 2π ln |x|,x / 0ifN 2, 1 2 − Nω N |x| N−2 ,x / 0ifN ≥ 3. 1.1 Unless otherwise stated, we assume throughout that Ω ⊂ R N is a bounded domain with C 2 boundary ∂Ω.Letν denote the unit outward normal to ∂Ω and let dσ indicate the N−1-dimensional area element in ∂Ω. The Green-Riemann formula says that any function 2 Journal ofInequalitiesandApplications f ∈ C 2 Ω ∩ C 1 Ω satisfying Δf ∈ CΩ can be represented in Ω as follows see 2, Section 2.4: fy ∂Ω fx ∂E ∂ν x − y − ∂f ∂ν xEx − y dσx Ω Ex − yΔfxdx, ∀y ∈ Ω, 1.2 where ∂f/∂νx is the normal derivative of f at x ∈ ∂Ω. In particular, if f ∈ C ∞ 0 Ω the set offunctions in C ∞ Ω with compact support in Ω,then1.2 leads totherepresentation formula fy Ω Ex − yΔfxdx, ∀y ∈ Ω. 1.3 For a continuous function h on ∂Ω,thedouble-layer potential with moment h is defined by u h y ∂Ω hx ∂E ∂ν x − y dσx. 1.4 Expression 1.4 may be interpreted as thepotential produced by dipoles located on ∂Ω; the direction of which at any point x ∈ ∂Ω coincides with that ofthe exterior normal ν, while its intensity is equal to hx. The double-layer potential is well defined in R N and it satisfies the Laplace equation Δu 0in R N \ ∂Ωsee Proposition 2.8. For other properties ofthe double-layer potential, see Lemma 2.9 and Proposition 2.10. The double-layer potential plays an important role in solving boundary value prob- lems of elliptic equations. Therepresentationofthe solution ofthe interior/exterior Dirichlet problem for Laplace’s equation is sought as a double-layer potential with unknown density h. An application of property 2.14 leads to a Fredholm equation ofthe second kind on ∂Ω in order to determine the function h see, e.g., 3. In many problems of mathematical physics and variational calculus, it is not sufficient to deal with classical solutions of differential equations. One needs to introduce the notion of weak derivatives andto work in Sobolev spaces, which have become an indispensable tool in the study of partial differential equations. For 1 ≤ p ≤∞,wedenotebyW 1,p Ω the Sobolev space defined by W 1,p Ω ⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩ u ∈ L p Ω ∃g 1 ,g 2 , ,g N ∈ L p Ω such that Ω u ∂φ ∂x i dx − Ω g i φdx, ∀φ ∈ C ∞ 0 Ω, ∀i ∈{1, 2, ,N} ⎫ ⎪ ⎪ ⎬ ⎪ ⎪ ⎭ . 1.5 For u ∈ W 1,p Ω, we define g i ∂u/∂x i and write ∇u ∂u/∂x 1 ,∂u/∂x 2 , ,∂u/∂x N .The Sobolev space W 1,p Ω is endowed with the norm u W 1,p Ω u L p Ω N i1 ∂u ∂x i L p Ω , 1.6 where · L p Ω stands for the usual norm on L p Ω. The closure of C ∞ 0 Ω inthenormof W 1,p Ω is denoted by W 1,p 0 Ω. For details on Sobolev spaces, we refer to 2, 4,or5. F. C. C ˆ ırstea and S. S. Dragomir 3 Since Ω is bounded, we have C 1 Ω ⊂ W 1,∞ Ω ⊆ W 1,p Ω for every p ∈ 1, ∞. The following representation holds for functions f in W 1,p 0 Ω with p ≥ 1 see Remark 2.3: fy− Ω ∇Ex − y, ∇fx dx a.e. y ∈ Ω. 1.7 We first give an integral representationoffunctions in W 1,p Ω for any p ≥ 1. Theorem 1.1. For any g ∈ W 1,p Ω with p ≥ 1, there is a sequence g n in C ∞ Ω such that gy lim n→∞ ∂Ω g n x ∂E ∂ν x − ydσx − Ω ∇Ex − y, ∇gx dx a.e. y ∈ Ω, 1.8 0 lim n→∞ ∂Ω g n x ∂E ∂ν x − ydσx − Ω ∇Ex − y, ∇gx dx, ∀y ∈ R N \ Ω . 1.9 Remark 1.2. If g ∈ W 1,p 0 Ω, then there exists a sequence g n in C ∞ 0 Ω for which 1.8 holds. Thus, we regain 1.7 for any function f in W 1,p 0 Ω. Under a suitable smoothness condition, therepresentationof Theorem 1.1 can be refined for functions in W 1,p Ω with p>Nsee Theorem 1.3. Using Morrey’s inequality, one can prove that functions in the Sobolev space W 1,p Ω with p>Nare classically differentiable almost everywhere in Ωcf. 2, page 176 or 4.ByProposition 2.13, any function in W 1,p Ω with N<p<∞ is uniformly H ¨ older continuous in Ω with exponent 1 − N/p after possibly being redefined on a set of measures 0. In particular, any function in W 1,p Ω with p>Nis continuous on Ω, and thus it has a well-defined trace which is bounded. The proof of Theorem 1.1 relies on the density of C ∞ Ω in W 1,p Ω as well as the fol- lowing result. Theorem 1.3. Assume that f ∈ W 1,p Ω ∩ C 1 Ω \ A,wherep ≥ 1 and A a i i∈I is a finite family of points in Ω. a If p>N,thenf can be represented as follows: fy ⎧ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎩ u f y − Ω ∇Ex − y, ∇fx dx, ∀y ∈ Ω, 2 u f y − Ω ∇Ex − y, ∇fx dx , ∀y ∈ ∂Ω. 1.10 b If p ≥ 1 and f ∈ C Ω,then 0 u f y − Ω ∇Ex − y, ∇fx dx, ∀y ∈ R N \ Ω. 1.11 4 Journal ofInequalitiesandApplications Remark 1.4. i If f 1on Ω,thenTheorem 1.3 recovers Gauss formula see Lemma 2.9. ii Theorem 1.3 leads tothe mean value theorems for harmonic functions see Remark 5.4. iii If f ∈ C 2 Ω ∩ C 1 Ω such that Δf ∈ CΩ, then by combining Theorem 1.3 and Proposition 2.7, we regain the Green-Riemann representation formula 1.2. This paper is organized as follows. In Section 2, we include some known results that are necessary later in the paper. Section 3 is dedicated tothe proof of Theorem 1.3. Based on it, we prove Theorem 1.1 in Section 4. We conclude the paper with a representationof smooth functions in W 1,p Ω with p>Nin terms ofthe integral mean value over the domain see Theorem 5.1 in Section 5. As a byproduct of our main results, we obtain a sharp esti- mate ofthe difference between the value of a function f andthe double-layer potential with moment f. 2. Preliminaries Lemma 2.1 see 4, Theorem IV.9. Let ω ⊂ R N be an open set. Let h n be a sequence in L p ω, 1 ≤ p ≤∞, and let h ∈ L p ω be such that h n − h L p ω → 0. Then, there exist a subsequence h n k and a function ϕ ∈ L p ω such that a h n k x → hx a.e. in ω, b |h n k x|≤ϕx for all k,a.e.inω. For fixed y ∈ R N , we define the operator K j by K j u y Ω x j − y j |x − y| N uxdx, j ∈{1, 2, ,N}. 2.1 Lemma 2.2. i If 1 ≤ p ≤ N, then the operator K j : L p Ω → L p Ω is compact. ii If p>N, then the operator K j : L p Ω → CΩ is compact. Remark 2.3. If Ω ⊂ R N is a bounded domain and f ∈ W 1,p 0 Ω with p ≥ 1, then 1.7 holds. Indeed, Ex given by 1.1 has weak derivatives and ∂/∂x j Ex − y1/ω n x j − y j /|x − y| N for every j ∈{1, 2, ,N}.Iff ∈ C ∞ 0 Ω, then by the definition of weak derivatives, we have Ω Ex − yΔfxdx − N j1 Ω ∂Ex − y ∂x j ∂f ∂x j dx − Ω ∇Ex − y, ∇fx dx. 2.2 Thus, using 1.3, we find 1.7 for every y ∈ Ω. Now, if f ∈ W 1,p 0 Ω, we take a sequence f n n≥1 in C ∞ 0 Ω such that f n → f in W 1,p Ω as n →∞. Thus, for each f n with n ≥ 1, we have f n y− 1 ω N N j1 K j ∂f n ∂x j y, ∀y ∈ Ω. 2.3 F. C. C ˆ ırstea and S. S. Dragomir 5 By Lemma 2.2, each operator K j is compact from L p Ω to L p Ω. Thus, ∂f n /∂x j → ∂f/∂x j in L p Ω as n →∞implies that K j ∂f n /∂x j →K j ∂f/∂x j in L p Ω as n →∞. By Lemma 2.1,wehaveup to a subsequence of f n lim n→∞ K j ∂f n /∂x j yK j ∂f/∂x j y and lim n→∞ f n yfy a.e. y ∈ Ωsince f n → f in L p Ω as n →∞. By passing tothe limit in 2.3, we conclude 1.7. Lemma 2.4 see 5, Lemma 5.47. Let y ∈ R N and let ω be a domain of finite volume in R N . If 0 ≤ γ<N,then ω |x − y| −γ dx ≤ K|ω| 1−γ/N , 2.4 where the constant K depends on γ and N but not on y or ω. By a vector field, we understand an R N -valued function on a subset of R N .IfZ z 1 ,z 2 , ,z N is a differentiable vector field on an open set ω ⊂ R N ,thedivergence of Z on ω is defined by div Z N i1 ∂z i ∂x i . 2.5 Proposition 2.5 the divergence theorem. If ω ⊂ R N isaboundeddomainwithC 1 boundary and Z is a vector field of class C 1 ω ∩ Cω,then ω div Zydy ∂ω Zx,νx dσx. 2.6 If ω is a domain to which the divergence theorem applies, then we have the following. Proposition 2.6 Green’s first identity. If u, v ∈ C 2 ω ∩ C 1 ω, then the following holds: ω vxΔuxdx ω ∇ux, ∇vx dx ∂ω vx ∂u ∂ν xdσx. 2.7 Proposition 2.7. Let Ω beaboundeddomainwithC 1 boundary. If f ∈ C 2 Ω ∩ C 1 Ω such that Δf ∈ C Ω, then for every y ∈ R N \ ∂Ω, one has Ω ∇Ex − y, ∇fx dx ∂Ω ∂f ∂ν xEx − ydσx − Ω Ex − yΔfxdx. 2.8 Proof. If y ∈ R N \ Ω,then2.8 follows from Proposition 2.6 since x → Ex − y belongs to C 2 Ω ∩ C 1 Ω.Fory ∈ Ω fixed, we choose >0 such that B y ⊂ Ω,whereB y denotes the open ball of radius >0 centered at y.ByProposition 2.6 applied on Ω \ B y, we find Ω\B y Ex − yΔfxdx ∂Ω ∂f ∂ν xEx − ydσx − ∂B y ∂f ∂ν xEx − ydσx − Ω\B y ∇fx, ∇Ex − y dx. 2.9 6 Journal ofInequalitiesandApplications Since Δf ∈ C Ω and f ∈ C 1 Ω,wehavethatx → Ex − yΔfx and x → Ω ∇Ex − y, ∇fxdx are integrable on Ω. We see that I : ∂B y ∂f ∂ν xEx − ydσx −→ 0as −→ 0. 2.10 Indeed, for some constant C>0, we have I ≤ ⎧ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩ 1 2π ∂B y ∂f ∂ν x ln |x − y| dσx ≤−C ln if N 2, 1 ω N N − 2 ∂B y ∂f ∂ν x dσx |x − y| N−2 ≤ Cω N if N ≥ 3. 2.11 Thus, passing tothe limit → 0in2.9 and using 2.10,weobtain2.8. We next give some properties ofthe double-layer potential u h y defined by 1.4see 1. Proposition 2.8. If h is a continuous function on ∂Ω,then i u h y given by 1.4 is well defined for all y ∈ R N , iiΔ u h y0 for all y ∈ R N \ ∂Ω. Lemma 2.9. Let v be the double-layer potential with moment h ≡ 1,thatis, vy ∂Ω ∂E ∂ν x − ydσx. 2.12 Then, one has vy ⎧ ⎪ ⎪ ⎪ ⎨ ⎪ ⎪ ⎪ ⎩ 1 if y ∈ Ω, 1 2 if y ∈ ∂Ω, 0 if y ∈ R N \ Ω. 2.13 Proposition 2.10. If h is continuous on ∂Ω and y 0 ∈ ∂Ω,then lim Ωy→y 0 u h y 1 2 h y 0 u h y 0 , lim R N \Ωy→y 0 u h y− 1 2 h y 0 u h y 0 . 2.14 Remark 2.11. If h ∈ C∂Ω,then u h ∈ C∂Ω ∩ L m Ω,foreach1≤ m ≤∞. Indeed, by Propositions 2.8 and 2.10, the function ϕ : Ω → R defined by ϕyu h y for y ∈ Ω and ϕy 0 1/2hy 0 u h y 0 for y 0 ∈ ∂Ω is continuous on Ω. It follows that u h ∈ C∂Ω and ϕ ∈ L ∞ Ω.Butϕ ≡ u h on Ω so that u h ∈ L ∞ Ω. Thus, for each 1 ≤ m<∞,we have Ω u h m dx ≤ u h m L ∞ Ω |Ω| < ∞, 2.15 which shows that u h ∈ L m Ω. F. C. C ˆ ırstea and S. S. Dragomir 7 Definition 2.12. A Lipschitz domain or domain with Lipschitz boundary is a domain in R N whose boundary can be locally represented as the graph of a Lipschitz continuous function. Many ofthe Sobolev embedding theorems require that the domain of study be a Lips- chitz domain. All smooth and many piecewise smooth boundaries are Lipschitz boundaries. Proposition 2.13 see 2, Theorem 7.26. Let ω be a Lipschitz domain in R N .IfN<p<∞,then W 1,p ω is continuously embedded in C 0,α ω with α 1 − N/p. Proposition 2.14 see 2, page 155. If ω is a Lipschitz domain, then C ∞ ω is dense in W 1,p ω for 1 ≤ p<∞. 3. Proof of Theorem 1.3 Since Ω is bounded, we can assume without loss of generality that p<∞. Proof of (a). Suppose that p>N. Then, f ∈ C 0,α Ω with α 1 − N/p cf. Proposition 2.13. Proof of 1.10 when y ∈ Ω. We define F : Ω \{y}→R N as follows: Fx fx − fy ∇Ex − y fx − fy ω N |x − y| N x − y. 3.1 Note that F / ∈ C 1 Ω. We overcome this problem by choosing >0 small enough such that B y, respectively, B a i a i ∈ A\{y}, is contained within Ω and every two such closed balls are disjoint. Therefore, F ∈ C 1 D ∩ CD ,whereD Ω\ i∈I B a i ∪ B y. Using Proposition 2.5, w e arrive at D div Fdx ∂Ω fx − fy ∂E ∂ν x − ydσx − 1 N−1−α ∂B y fx − fy ω N |x − y| α dσx − 1 ω N i∈I,a i / y ∂B a i fx − fy |x − y| N x − y, x − a i dσx. 3.2 We see that lim →0 1 N−1−α ∂B y fx − fy |x − y| α dσx0. 3.3 Indeed, by Proposition 2.13, there exists a constant L>0 such that 0 ≤ 1 N−1−α ∂B y fx − fy |x − y| α dσx ≤ L N−1−α ∂B y dσxLω N α −→ 0as −→ 0. 3.4 Notice that, for each i ∈ I with a i / y, there exists a constant C i > 0 such that fx − fy ≤ C i |x − y| N−1 , ∀x ∈ B a i 3.5 8 Journal ofInequalitiesandApplications since y / ∈ B a i .Hence,ifi ∈ I such that a i / y,then ∂B a i fx − fy |x − y| N x − y, x − a i dσx ≤ ∂B a i fx − fy |x − y| N−1 dσx ≤ C i ω N N−1 . 3.6 By 3.2–3.6 and Gauss lemma, it follows that lim →0 D div Fxdx ∂Ω fx − fy ∂E ∂ν x − ydσx ∂Ω fx ∂E ∂ν x − ydσx − fy. 3.7 Recall that x → Ex − y is harmonic on R N \{y}. Thus, from 3.1,wederivethat div Fx ∇fx, ∇Ex − y , ∀x ∈ D . 3.8 From Lemma 2.2ii, we know that y −→ Ω ∇Ex − y, ∇fx dx is continuous on Ω. 3.9 From 3.7 and 3.8, we find Ω ∇fx, ∇Ex − y dx lim →0 D div Fxdx ∂Ω fx ∂E ∂ν x − ydσx − fy, 3.10 which concludes the proof of 1.10 for y ∈ Ω. Proof of 1.10 when y ∈ ∂Ω. We apply 1.10 to get ft with t ∈ Ω. Then, let t → y. Thus, using 3.9 andthe continuity of f on Ω,weobtain fy lim Ωt→y ft lim Ωt→y u f t − Ω ∇Ex − y, ∇fx dx. 3.11 From Proposition 2.10, we know that lim Ωt→y u f t fy 2 u f y. 3.12 By combining 3.11 and 3.12, we attain 1.10. Proof of (b). Assume that f ∈ CΩ and p ≥ 1. Let y ∈ R N \ Ω be fixed. We define the vector field Z : Ω → R N by Zxfx∇Ex − y fx ω N |x − y| N x − y, ∀x ∈ Ω. 3.13 F. C. C ˆ ırstea and S. S. Dragomir 9 Clearly, Z ∈ C 1 Ω\A∩CΩ.Let>0 be fixed such that B a i ⊂ Ω for every i ∈ I and B a i ∩ B a j ∅ for all i, j ∈ I with i / j. Set Ω :Ω\ i∈I B a i . By applying Proposition 2.5 to Z : Ω → R N ,weobtain Ω div Zxdx ∂Ω fx ∂E ∂ν x − ydσx − 1 ω N i∈I ∂B a i fx x − y, x − a i |x − y| N dσx. 3.14 If M i dist y, B a i ,thenM i > 0 for every i ∈ I since y / ∈Ω. Hence, for each i ∈ I, ∂B a i fx x − y, x − a i |x − y| N dσx ≤ ∂B a i fx |x − y| N−1 dσx ≤ f L ∞ Ω M N−1 i ω N N−1 . 3.15 By 3.14 and 3.15, it follows that lim →0 Ω div Zxdx ∂Ω fx ∂E ∂ν x − ydσx. 3.16 Note that x →|x − y| 1−N is continuous on Ω.ByH ¨ older’s inequality, x →∇fx, ∇Ex − y is integrable on Ω. Since x → Ex − y is harmonic on R N \{y}, we find div Zx ∇fx, ∇Ex − y , ∀x ∈ Ω . 3.17 Therefore, using 3.16,weobtain Ω ∇fx, ∇Ex − y dx lim →0 Ω div Zxdx ∂Ω fx ∂E ∂ν x − ydσx. 3.18 This completes the proof of Theorem 1.3. 4. Proof of Theorem 1.1 As before, we can assume that g ∈ W 1,p Ω with p<∞.ByProposition 2.14, there exists a sequence g n ∈ C ∞ Ω such that g n → g in W 1,p Ω,thatis, lim n→∞ g n − g L p Ω 0, lim n→∞ ∂g n ∂x i − ∂g ∂x i L p Ω 0, ∀i ∈{1, 2, ,N}. 4.1 From Lemma 2.1, we know that, up to a subsequence relabeled g n , g n −→ g a.e. in Ω. 4.2 Since C 1 Ω ⊆ W 1,q Ω for every q ≥ 1, we can apply Theorem 1.3 to each g n and obtain ∂Ω g n x ∂E ∂ν x − ydσx − Ω ∇Ex − y, ∇g n x dx g n y, ∀y ∈ Ω, 0, ∀y ∈ R N \ Ω. 4.3 10 Journal ofInequalitiesandApplications Using the definition of K j in 2.1, we write Ω ∇Ex − y, ∇g n x dx 1 ω N N j1 Ω x j − y j |x − y| N ∂g n ∂x j xdx 1 ω N N j1 K j ∂g n ∂x j y. 4.4 From 4.1 and Lemma 2.2, it follows that for every j ∈{1, 2, ,N}, lim n→∞ K j ∂g n ∂x j −K j ∂g ∂x j L p Ω 0if1≤ p ≤ N, K j ∂g n ∂x j −→ K j ∂g ∂x j in C Ω as n −→ ∞ if p>N. 4.5 Hence, passing eventually to a subsequence denoted again by g n ,wehave lim n→∞ K j ∂g n ∂x j yK j ∂g ∂x j y a.e. y ∈ Ω, ∀j ∈{1, 2, ,N}. 4.6 This, jointly with 4.4, implies that lim n→∞ Ω ∇Ex − y, ∇g n x dx Ω ∇Ex − y, ∇gx dx a.e. y ∈ Ω. 4.7 Hence, passing tothe limit n →∞in 4.3 and using 4.2,wereach1.8. Proof of 1.9. Let y ∈ R N \ Ω be arbitrary. Then, x →|x − y| 1−N is continuous on Ω.Letp denote the conjugate exponent to p i.e., 1/p 1/p 1.ByH ¨ older’s inequality, Ω ∇Ex − y, ∇g n x −∇gx dx ≤ 1 ω N Ω dx |x − y| N−1p 1/p Ω ∇ g n − g x p dx 1/p . 4.8 Thus, using 4.1 and Lemma 2.4,weinferthat lim n→∞ Ω ∇Ex − y, ∇g n x dx Ω ∇Ex − y, ∇gx dx, ∀y ∈ R N \ Ω. 4.9 Letting n →∞in 4.3, we conclude 1.9. This finishes the proof of Theorem 1.1. 5. Other results andapplicationstoinequalities If f : a, b → R is absolutely continuous on a, b, then the Montgomery identity holds: fx 1 b − a b a ftdt 1 b − a b a pt, xf tdt for x ∈ a, b, 5.1 [...]... various Ostrowski-type inequalities, the reader is referred tothe book in 6, Chapters 5 and 6 andthe papers in 7, 8 In this section, we give a representation formula for f in terms ofthe integral mean value over Ω under the same assumptions on f as in Theorem 1.3 Theorem 5.1 One assumes that f ∈ W 1,p Ω ∩ C1 Ω \ A , where p > N and A family of points in Ω The following representation formula holds: 1... satisfy different convexity properties, and so forth, and they pointed out sharp inequalities for the absolute value ofthe difference D f; x : f x − b 1 b−a f t dt, x ∈ a, b 5.3 a The obtained results have been applied in approximation theory, numerical integration, information theory, and other related domains If f is absolutely continuous on a, b , then we have the following Ostrowski-type inequalities... that the right-hand side of 5.14 for fp,y equals the above LHS ii The first identity of 5.15 follows from Theorem 5.1, while the second follows from Theorem 1.3 with Ω BR a and y a Notice that dx |x − a| N−1 p BR a By applying 5.14 with y R ∂Bρ a 0 a and Ω dσ x |x − a| N−1 p ωN RN− N−1 p N− N−1 p dρ 5.21 BR a , we find 5.16 Remark 5.4 Corollary 5.3 ii leads tothe mean value theorems for harmonic functions. .. Obviously, f ∈ L1 Ω and x → ∇f x , x − z is integrable on Ω Therefore, we have lim →0 div G x dx U Ω div G x dx Ω ∇f x , x − z dx N Ω f x dx Passing tothe limit → 0 in 5.9 , then using 5.11 and 5.12 , we reach 5.8 Using representation 1.10 of f y with y ∈ Ω andrepresentation 5.8 with z conclude 5.7 5.12 y, we F C Cˆrstea and S S Dragomir ı 13 Remark 5.2 More generally, in the framework of Theorem 5.1,...F C Cˆrstea and S S Dragomir ı where p : a, b 2 11 → R is given by t−a if a ≤ t ≤ x, t−b p t, x if x < t ≤ b 5.2 In the last decade, many authors see, e.g., 6 andthe references therein have extended the above result for different classes offunctions defined on a compact interval, including functionsof bounded variation, monotonic functions, convex functions, n-time differentiable functions whose... Cˆrstea and S S Dragomir ı 15 5 R A Adams, Sobolev Spaces Pure and Applied Mathematics, vol 65, Academic Press, New York, NY, USA, 1975 6 S S Dragomir and T M Rassias, Eds., Ostrowski Type InequalitiesandApplications in Numerical Integration, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2002 7 S S Dragomir, R P Agarwal, and N S Barnett, “Inequalities for beta and gamma functionsvia some... consequence of Theorems 1.3 and 5.1, we obtain the following ai i∈I is a finite family Corollary 5.3 Assume that f ∈ W 1,p Ω ∩ C1 Ω \ A , where p > N and A of points in Ω The following hold i An arbitrary value of f is compared below with the double-layer potential with moment f: f y − f x ∂Ω ∂E x − y dσ x ∂ν ≤ ∇f Lp ωN 1/p dx |x − y| N−1 p Ω Ω ∀y ∈ Ω, , 5.14 where p denotes the conjugate coefficient of p (i.e.,... L∞ f Lq if f ∈ Lq a, b with q > 1, 5.4 , where p is the conjugate exponent to q The constants 1/4, p 1 −1/p , and 1/2 are best possible in the sense that they cannot be replaced by smaller constants If the function f : a, b × c, d → R has continuous partial derivatives ∂f t, s /∂t, ∂f t, s /∂s, and ∂2 f t, s /∂t∂s on a, b × c, d , then one has therepresentation see 6, page 307 f x, y b 1 b−a d−c d... R P Agarwal, and N S Barnett, “Inequalities for beta and gamma functionsvia some classical and new integral inequalities,” Journal ofInequalitiesand Applications, vol 5, no 2, pp 103–165, 2000 8 S S Dragomir, R P Agarwal, and P Cerone, “On Simpson’s inequality and applications, ” Journal ofInequalitiesand Applications, vol 5, no 6, pp 533–579, 2000 ... have fp,y ∈ C Ω ∩ C1 Ω \ {y} , and for every x ∈ Ω \ {y}, ± ∇fp,y x ± x−y |x − y| if p ∞, ± x−y p−N p − 1 |x − y| p N−2 / p−1 if p ∈ N, ∞ 5.18 14 Journal ofInequalitiesandApplications ± Since C Ω ⊂ Lp Ω , we infer that fp,y ∈ W 1,p Ω and ± ∇fp,y x Lp Ω 1 resp., p−N p−1 if p ∞ dx |x − y| N−1 p Ω 1/p 5.19 resp., p ∈ N, ∞ ± By 1.10 and 5.18 , the left-hand side LHS of 5.14 for fp,y is ± x − y, ∇fp,y . Corporation Journal of Inequalities and Applications Volume 2008, Article ID 475957, 15 pages doi:10.1155/2008/475957 Research Article Representation of Multivariate Functions via the Potential Theory and Applications. dedicated to the proof of Theorem 1.3. Based on it, we prove Theorem 1.1 in Section 4. We conclude the paper with a representation of smooth functions in W 1,p Ω with p>Nin terms of the integral. 2007 Recommended by Siegfried Carl We use the potential theory to give integral representations of functions in the Sobolev spaces W 1,p Ω, where p ≥ 1and is a smooth bounded domain in R N N