Using a capacity approach and the theory of the measure’s perturbation of the Dirichlet forms, we give the probabilistic representation of the general Robin boundary value problems on an arbitrary domain ?, involving smooth measures, which give rise to a new process obtained by killing the general reflecting Brownian motion at a random time. We obtain some properties of the semigroup directly from its probabilistic representation, some convergence theorems, and also a probabilistic interpretation of the phenomena occurring on the boundary. 1. Introduction The classical Robin boundary conditions on a smooth domain of ( ) is giving by where is the outward normal vector field on the boundary and a positive bounded Borel measurable function defined on . The probabilistic treatment of Robin boundary value problems has been considered by many authors [1–4]. The first two authors considered bounded -domains since the third considered bounded domains with Lipschitz boundary, and the study of [4] was concerned with -domains but with smooth measures instead of . If one wants to generalize the probabilistic treatment to a general domain, a difficulty arise when we try to get a diffusion process representing Neumann’s boundary conditions. In fact, the Robin boundary conditions (1.1) are nothing but a perturbation of , which represent Neumann’s boundary conditions, by the measure , where is the surface measure. Consequently, the associated diffusion process is the reflecting Brownian motion killed by a certain additive functional, and the semigroup generated by the Laplacian with classical Robin boundary conditions is then giving by where is a reflecting Brownian motion (RBM) and is the boundary local time, which corresponds to by Revuz correspondence. It is clear that the smoothness of the domain in classical Robin boundary value problem follows the smoothness of the domains where RBM is constructed (see [5–10] and references therein for more details about RBM). In [6], the RBM is defined to be the Hunt process associated with the form defined on by where is assumed to be bounded with Lipschitz boundary so that the Dirichlet form is regular. If is an arbitrary domain, then the Dirichlet form needs not to be regular, and to not to lose the generality we consider , the closure of in . The domain is so defined to insure the Dirichlet form to be regular. Now, if we perturb the Neumann boundary conditions by Borel’s positive measure [11–13], we get the Dirichlet form defined on by In the case of ( bounded with Lipschitz boundary), (1.4) is the form associated with
References
[1]
K. Sato and T. Ueno, “Multi-dimensional diffusion and the Markov process on the boundary,” Journal of Mathematics of Kyoto University, vol. 4, pp. 529–605, 1965.
[2]
V. G. Papanicolaou, “The probabilistic solution of the third boundary value problem for second order elliptic equations,” Probability Theory and Related Fields, vol. 87, no. 1, pp. 27–77, 1990.
[3]
S. Ramasubramanian, “Reflecting Brownian motion in a Lipschitz domain and a conditional gauge theorem,” Sankhyā A, vol. 63, no. 2, pp. 178–193, 2001.
[4]
S. Renming, “Probabilistic approach to the third boundary value problem,” Journal of Hebei University, vol. 9, no. 1, pp. 85–100, 1989.
[5]
R. F. Bass, K. Burdzy, and Z.-Q. Chen, “Uniqueness for reflecting Brownian motion in lip domains,” Annales de l'Institut Henri Poincaré. Probabilités et Statistiques, vol. 41, no. 2, pp. 197–235, 2005.
[6]
R. F. Bass and P. Hsu, “The semimartingale structure of reflecting Brownian motion,” Proceedings of the American Mathematical Society, vol. 108, no. 4, pp. 1007–1010, 1990.
[7]
R. F. Bass and P. Hsu, “Some potential theory for reflecting Brownian motion in H?lder and Lipschitz domains,” The Annals of Probability, vol. 19, no. 2, pp. 486–508, 1991.
[8]
Z. Q. Chen, P.J. Fitzsimmons, and R. J. Williams, “Quasimartingales and strong Caccioppoli set,” Potential Analysis, vol. 2, pp. 281–315, 1993.
[9]
M. Fukushima, “A construction of reflecting barrier Brownian motions for bounded domains,” Osaka Journal of Mathematics, vol. 4, pp. 183–215, 1967.
[10]
E. P. Hsu, Reflecting Brownian motion, boundary local time and the Neumann problem [Thesis], Stanford University, 1984.
[11]
W. Arendt and M. Warma, “The Laplacian with Robin boundary conditions on arbitrary domains,” Potential Analysis, vol. 19, no. 4, pp. 341–363, 2003.
[12]
W. Arendt and M. Warma, “Dirichlet and Neumann boundary conditions: what is in between?” Journal of Evolution Equations, vol. 3, no. 1, pp. 119–135, 2003.
[13]
M. Warma, The laplacian with general Robin boundary conditions [Ph.D. thesis], University of Ulm, 2002.
[14]
S. Albeverio and Z. M. Ma, “Perturbation of Dirichlet forms—lower semiboundedness, closability, and form cores,” Journal of Functional Analysis, vol. 99, no. 2, pp. 332–356, 1991.
[15]
S. Albeverio and Z. M. Ma, “Additive functionals, nowhere Radon and Kato class smooth measures associated with Dirichlet forms,” Osaka Journal of Mathematics, vol. 29, no. 2, pp. 247–265, 1992.
[16]
Ph. Blanchard and Z. M. Ma, “New results on the Schr?dinger semigroups with potentials given by signed smooth measures,” in Stochastic Analysis and Related Topics, II (Silivri, 1988), vol. 1444, pp. 213–243, Springer, Berlin, Germany, 1990.
[17]
M. Fukushima, Y. ōshima, and M. Takeda, Dirichlet Forms and Symmetric Markov Processes, vol. 19, Walter de Gruyter, Berlin, Germany, 1994.
[18]
T. Kato, Perturbation theory for linear operators, Classics in Mathematics, Springer, Berlin, Germany, 1995.
[19]
B. Simon, “Schr?dinger semigroups,” Bulletin of American Mathematical Society, vol. 7, no. 3, pp. 447–526, 1982.
[20]
P. Stollmann, “Smooth perturbations of regular Dirichlet forms,” Proceedings of the American Mathematical Society, vol. 116, no. 3, pp. 747–752, 1992.
[21]
P. Stollmann and J. Voigt, “Perturbation of Dirichlet forms by measures,” Potential Analysis, vol. 5, no. 2, pp. 109–138, 1996.
[22]
J. Voigt, “Absorption semigroups,” Journal of Operator Theory, vol. 20, no. 1, pp. 117–131, 1988.
[23]
J. Voigt, “Absorption semigroups, their generators, and Schr?dinger semigroups,” Journal of Functional Analysis, vol. 67, no. 2, pp. 167–205, 1986.
[24]
M. Fukushima, “Dirichlet forms, Caccioppoli sets and the Skorohod equation,” in Stochastic Differential and Difference Equations, vol. 23, pp. 59–66, Birkh?user, Boston, Mass, USA, 1997.
[25]
D. S. Grebenkov, “Partially reflected Brownian motion: a stochastic approach to transport phenomena,” in Focus on Probability Theory, pp. 135–169, Nova Science Publishers, New York, NY, USA, 2006.