We investigate the effect of domain perturbation on the behavior of mild solutions for a class of semilinear stochastic partial differential equations subject to the Dirichlet boundary condition. Under some assumptions, we obtain an estimate for the mild solutions under changes of the domain.

1. Introduction

Domain perturbation, or sometimes referred to as “perturbation of the boundary,” for boundary value problems is a special topic in perturbation problems. The motivation to study domain perturbation comes from various sources, which include shape optimization, solution structure of nonlinear problems, and numerical analysis. The main characteristic of domain perturbation is that the operators and the nonlinear terms live in different spaces, which leads to the solutions of partial differential equations living in different spaces. The fundamental question of domain perturbation is to consider how solutions behave upon varying domains. However, when we only consider the case of smooth perturbation of the domain, we could perform a change of variables to convert the perturbation problem into a fixed domain problem which is only perturbation of the coefficients. In this case, domain perturbation becomes back to a standard perturbation problem; in turn we may apply standard techniques such as the implicit function theorem, the Lyapunov-Schmidt method, and the transversality theorem to study it. Nevertheless, difficulties arrive when the change of variables and other standard tools do not work (see [1]) such as singular perturbation. So, it is more challenging and interesting to consider singular perturbation problems.

There are lots of papers concerning this topic [210]. For elliptic equations, see [2, 3] and references therein. In [3], the authors give a sufficient condition on domains which guarantees the spectrum behaviors continuously. It is very clear that the spectral behavior of linear operators is extremely important when analyzing the continuity properties for domain perturbation problem. The work of [2] obtains the convergence of solution for elliptic equation subject to Dirichlet boundary condition; necessary and sufficient conditions are discussed for strong and uniform convergence for the corresponding resolvent operators. In [6] the author gets the persistence of periodic solutions and convergence of solutions for both linear and semilinear parabolic initial value problems subject to Dirichlet boundary condition, and [10] does so for evolution equation. In [7, 8] authors study the convergence of invariant manifolds under the perturbation of the domain. For stochastic system, we recommend [9], caring about the coefficients perturbation for semilinear stochastic partial differential equations; as we mention above it belongs to smooth domain perturbation problem. We do not attempt here to give a complete bibliography but make a rather arbitrary choice of references.

Notice that all of works as we mentioned above are under the condition of Mosco convergence which describes the domain perturbation. For Dirichlet problems, it is worth pointing out that the condition of Mosco convergence conditions is equivalent to the strong convergence of resolvent operators (see [6, Theorem  5.2.4]), which is weaker than the operator norm convergence of resolvent operators.

Under the condition of the operator norm convergence of resolvent operators, the author of [11] gives a distance estimate of the inertial manifolds for partial differential equations of evolutionary type under perturbation of the domain. As there are not many results on domain perturbation with noise in the dynamics, inspired by [11], we take similar conditions as in [11] to consider the convergence of solution for stochastic partial differential equations under perturbation of the domain. We show how the mild solution of the stochastic differential equations behaves when domain converges to domain under a certain sense.

This paper is organized as follows: In Section 2, we review the results of the existence and uniqueness to the stochastic partial differential equation which we consider. In Section 3, we use the relationship between the resolvent operator and the semigroup to deduce the convergence of the semigroup on . To get the result of convergence of solutions, we divide the interval into two parts as and ; here and is sufficiently small. Then we take estimate, respectively, for each part to get our results.

Throughout this paper, the letter below will denote positive constants whose value may change in different occasions. We will write the dependence of constant on parameters explicitly if it is essential.

2. Preliminaries

Let be an infinite dimensional separable Hilbert space with norm . Let the sectorial operator be a self-adjoint positive linear operator with a compact resolvent. Then the spectrum of is real. We denote its spectrum by and an associated orthonormal family of eigenfunctions by . Since is a self-adjoint sectorial operator, is the infinitesimal generator of an analytic semigroup, which is denoted by where is a contour in the resolvent set of . Also, since is a self-adjoint sectorial operator, the representation of above is equivalent to By the definition , we can easily get the following estimate: for , which implies that is an analytic contraction semigroup.

We consider the stochastic equation as follows: Here is a sectorial operator; is a scalar Wiener process on a probability space . In addition, suppose that, for a.e. , the drift coefficients and diffusion coefficients are -adapted and satisfy certain conditions.

We adopt the following assumptions throughout this paper.There exists a constant such that, for any , the Lipschitz continuity condition holds:here and .Notice that implies there exists a constant such that for any .

Now we introduce the definition of mild solution to (5). Taking the classic method for proving the existence and uniqueness of solution as [12, 13], we can deduce the existence and uniqueness of solution for (5), which is represented as follows.

Definition 1 (mild solution). An -valued predictable process is called a mild solution of (5) if for any

Let denote the set of all continuous -adapted processes valued in for such that . Then is a Banach space under the norm Define an operator in as follows: for . It is easy to prove that the operator is well defined and Lipschitz continuous in . Then by the contraction mapping principle, it is easy to prove the existence and uniqueness of mild solution for (5) as the following.

Theorem 2 (existence and uniqueness). Suppose the condition holds true, and let be -measurable random field such that . Then the initial-boundary value problem for (5) has a unique mild solution which is a continuous adapted process in such that and for some constant .

3. Solution under Perturbation of the Domain

In this section, we consider the following perturbation problem of (5): for , where is a self-adjoint positive linear operator on a Hilbert space with norm , and let be -measurable random field such that . We also assume that the nonlinear terms and satisfy , which guarantees the existence and unique of mild solution to (12). By Theorem 2, for each , there is an -valued continuous -adapted process such that for any .

Note the solutions value in different function spaces for different . To deal with domain perturbation, we assume there exist bound linear operators and such that

To derive the solution of (12) converging to the solution of (5), we also impose the following hypotheses:For and , we assume We assume that the nonlinear terms for satisfy the following: and approximate and in the following sense: and have the uniformly bounded support and satisfy the following estimate: same assumption also for . Here denotes a constant related to and denotes the radius of the support.For initial value of and , we assume , , and , as .

By hypothesis we have the following result, which concerns the relationship of spectrum between and (see [11]).

Lemma 3 (upper semicontinuity of spectrum). If is a compact set of the complex plane with , the resolvent set of , and hypothesis is satisfied, then there exists such that for all . Moreover, one has the estimates for all , .

The result implies the upper semicontinuity of the spectrum; that is, if and then . Also we have the resolvent operator estimate as the following (see [11]).

Lemma 4 (operator norm convergence of resolvent operators). Let the condition be satisfied; if and is small enough so that , one has

By the relationship of spectrum and resolvent set, we have that hypothesis is equivalent to the operator norm convergence of resolvent operators. To compare condition with Mosco convergence condition, we quote the Mosco convergence condition as the following.

Let be a reflexive and separable Banach space and let , be closed and convex subsets of . We say that converges to in the sense of Mosco if the following conditions hold (see [14]):(1)For every , there exists a sequence such that in strongly.(2)If is a sequence of indices converging to , is a sequence such that for every and in weakly; then .As we mentioned in Introduction, hypothesis is stronger than the Mosco condition, which is equivalent to the strong convergence of resolvent operators for Dirichlet Problem. For details about this notation see Daners [6].

As we all know, the relationship between resolvent operator and semigroup is denoted by where is the boundary of , . Simply we take , . Then we have and for all . From Lemma 4 we have the following estimate.

Lemma 5 (convergence of semigroup). Let be satisfied. Then one has for any ; here .

Proof. By (20) and Lemma 4, we can estimate For , we compute with . Then we have Hence by we get for any ; here .

Lemma 6. Let be a sectorial operator; if , then one has the following estimate:

Proof. For we have Because is a sectorial operator, we have and then Let ; then we get our result.

Now we state and prove our main result as the following.

Theorem 7 (convergence of the solutions). Suppose to and hold true. Then one has In particular, when we first let and then .

Proof. From (8) and (13), we have Next we will estimate , , and , respectively. Fix sufficient small. For we have with Here the contraction property of , Lemma 6, and are used. Then we obtain For we have Here the contraction property of , Hölder inequality, and conditions of and are used.
Denote . Then we have Hence we obtain For , use the maximal inequality (see [15]), contraction property of , , and ; then we have where Let . Notice that and . Then we have By the above estimates of , , and , we finally get Use the Gronwall inequality we have the following estimate: In particular, as and then .

Remark 8. In this paper, we only consider the case in which Wiener process is scalar type; this result can not apply to the case of cylindrical Wiener processes. Note that if we concern the case of cylindrical Wiener processes, which relate to time and space, under perturbation of domain, cylindrical Wiener process is also perturbed which makes the situation more and more complicated.

Competing Interests

The authors declare that they have no competing interests.


The authors would like to thank Professor Jinqiao Duan for helpful discussions and comments. This work was supported by NSFs of China (nos. 11271013 and 11526196) and the Fundamental Research Funds for the Central Universities (HUST: 2014TS066).