On $L^2$-Stability Analysis of Time-Domain Acoustic Scattering Problems with Exact Nonreflecting Boundary Conditions

This paper is devoted to stability analysis of the acoustic wave equation exterior to a bounded scatterer, where the unbounded computational domain is truncated by the exact time-domain circular/spherical nonreflecting boundary condition (NRBC). Different from the usual energy method, we adopt an argument that leads to $L^2$-a priori estimates with minimum regularity requirement for the initial data and source term. This needs some delicate analysis of the involved NRBC. These results play an essential role in the error analysis of the interior solvers (e.g., finite-element/spectral- element/spectral methods) for the reduced scattering problems. We also apply the technique to analyze a time-domain waveguide problem.     

A Kind of Discrete Non-Reflecting Boundary Conditions for Varieties of Wave Equations

Abstract In this paper, a new kind of discrete non-reflecting boundary conditions is developed.It can be usedfor a variety of wave equations such as the acoustic wave equation, the isotropic and anisotropic elastic waveequations and the equations for wave propagation in multi-phase media and so on.In this kind of boundaryconditions,the composition of all artifical reflected waves,but not the individual reflected ones,is consideredand eliminated.Thus, it has a uniform formula for different wave equations.The velocity C_A of the composedreflected wave is determined in the way to make the reflection coefficients minimal,the value of which depends onequations.In this psper,the construction of the boundary conditions illustrated and C_A is found,numericalresults are presented to illustrate the effectiveness of the boundary conditions.     

On the stability of the high-order Higdon Absorbing Boundary Conditions

The Higdon sequence of Absorbing Boundary Conditions (ABCs) for the linear wave equation is considered. Building on a previous work of Ha-Duong and Joly, which related to other forms of boundary conditions, the Higdon ABCs are proved to be energy-stable (on the continuous level) up to any order. This type of stability is stronger than the more standard notion of stability of initial boundary value problems in the sense of Kreiss; in particular it leads to stability estimates which are uniform in time. In consequence to the theorem proved here, energy-stability is immediately implied for the high-order Givoli-Neta and Hagstrom-Warburton ABCs, which are reformulations of the Higdon ABCs using auxiliary variables. A weakness of this theory is that it requires sufficiently smooth data, and that the required smoothness level increases with the order of the ABC. This issue and its implications are discussed.     

Absorbing Boundary Conditions for Hyperbolic Systems

<正>This paper deals with absorbing boundary conditions for hyperbolic systems in one and two space dimensions.We prove the strict well-posedness of the resulting initial boundary value problem in 1D.Afterwards we establish the GKS-stability of the corresponding Lax-Wendroff-type finite difference scheme.Hereby,we have to extend the classical proofs,since the(discretized) absorbing boundary conditions do not fit the standard form of boundary conditions for hyperbolic systems.     

On Two-point Boundary Value Problems for Second-order Difference Equation

In this paper, we aim to investigate the difference equation \begin{align*} \Delta^{2}y(t-1)+|y(t)|=0, \ \ \ \ \ t\in[1,T]_{\mathbb{Z}} \end{align*} with different boundary conditions $y(0)=0$ or $\Delta y(0)=0$ and $y(T+1)=B$ or $\Delta y(T)=B$,\ where\ $T\geq 1$ is an integer and $B\in\mathbb{R}$. We will show that how the values of $T$ and $B$ influence the existence and uniqueness of the solutions to the about problem. In details, for the different problems, the $TB$-plane explicitly divided into different parts according to the number of the solutions to the above problems. These parts of $TB$-plane for the value of $T$ and $B$ guarantee the uniqueness, the existence and the nonexistence of solutions respectively.     

Three-dimensional approximate local DtN boundary conditions for prolate spheroid boundaries

We propose a new class of approximate local DtN boundary conditions to be applied on prolate spheroidal-shaped exterior boundaries when solving problems of acoustic scattering by elongated obstacles. These conditions are: (a) exact for the first modes, (b) easy to implement and to parallelize, (c) compatible with the local structure of the computational finite element scheme, and (d) applicable to exterior ellipsoidal-shaped boundaries that are more suitable in terms of cost-effectiveness for surrounding elongated scatterers. We investigate analytically and numerically the effect of the frequency regime and the slenderness of the boundary on the accuracy of these conditions. We also compare their performance to the second-order absorbing boundary condition (BGT2) designed by Bayliss, Gunzburger and Turkel when expressed in prolate spheroid coordinates. The analysis reveals that, in the low-frequency regime, the new second-order DtN condition (DtN2) retains a good level of accuracy regardless of the slenderness of the boundary. In addition, the DtN2 boundary condition outperforms the BGT2 condition. Such superiority is clearly noticeable for large eccentricity values.     

On Boundary Stability of Wave Equations with Variable Coefficients

In this paper, we consider the boundary stabilization of the wave equation with variable coefficients by Riemmannian geometry method subject to a different geometric condition which is motivated by the geometric multiplier identities. Several (multiplier) identities (inequalities) which have been built for constant wave equation by Kormornik and Zuazua are generalized to the variable coefficient case by some computational techniques in Riemmannian geometry, so that the precise estimates on the exponential decay rate are derived from those inequalitities. Also, the exponential decay for the solutions of semilinear wave equation with variable coefficients is obtained under natural growth and sign assumptions on the nonlinearity. Our method is rather general and can be adapted to other evolution systems with variable coefficients (e.g. elasticity plates) as well.     

带谱参数边界条件的四阶边值问题的矩阵表示

研究了一类具有有限谱的带有谱参数边界条件的四阶微分方程边值问题及其矩阵表示,证明了对任意正整数m,所考虑的问题至多有2m+6个特征值,进一步给出这类带有谱参数边条件的四阶边值问题与一类矩阵特征值问题之间在具有相同特征值的意义下是等价的.     

吸收边界条件和完美匹配层

证明了一个Maxwell方程的完美匹配层的的充要条件.条件的核心是吸收边界条件.这个判据可以用来检验文献中的各个模型,也可用来设计一些新的模型.最后给出了一些例子.     

化波动方程的非齐次边界为齐次边界

在一维波动方程初边值问题中,通过构造辅助函数的方法,分类将各种非齐次边界条件转化为齐次边界条件.     

非线性边界条件下二阶奇异差分方程的正解

本文我们考虑如下二阶奇异差分边值问题\begin{equation*}\begin{cases}-\Delta^{2} u(t-1)=\lambda g(t)f(u) ,\ t\in [1,T]_\mathbb{Z},\\u(0)=0,\\ \Delta u(T)+c(u(T+1))u(T+1)=0,\end{cases}\end{equation*}正解的存在性. 其中, $\lambda>0$, $f:(0,\infty)\rightarrow \mathbb{R}$ 是连续的,且允许在~$0$ 处奇异.通过引入一个新的全连续算子, 我们建立正解的存在性.     

吸收边界条件和完美匹配层

证明了一个Maxwell方程的完美匹配层的的充要条件.条件的核心是吸收边界条件.这个判据可以用来检验文献中的各个模型,也可用来设计一些新的模型.最后给出了一些例子.     

Energy Methods for Problems with Nonhomogeneous Boundary Conditions

This paper employs the weighted energy method to derive estimates for the dynamic behavior of solutions to boundary and initial boundary value problems with nonhomogeneous boundary conditions. In particular, the method is applied to the heat and Laplace equations in a bounded or unbounded region. Extensions to related equations are also studied. Similar estimates but for the spatial behavior is obtained for the heat equation and the backward in time heat equation. Results for blow-up in finite time of solutions to certain nonlinear equations are generalized to include nonhomogeneous boundary conditions, while solutions that vanish on part of the boundary are briefly discussed in the final section.     

带转移条件的四阶微分方程边值问题的特征值的依赖性

研究带转移条件的四阶微分方程边值问题的特征值对边界条件及转移条件的连续依赖性和可微依赖性,并给出了特征值关于这些参数所满足的微分表达式.     

Periodic Solutions of Nonlinear Wave Equations with Dissipative Boundary Conditions

Applying Nash-Moser's implicit function theorem, the author proves the existence of periodic solution to nonlinear wave equation u_{tt} - u_{xx} + εg(t, x, u, u_t, u_x, u_{tt}, u_{tx}, u_{xx}) = 0 with a dissipative boundary condition, provided ε is sufficiently small.     

边界条件含特征参数的奇异不连续Sturm-Liouville算子的渐近特征

研究有限区间内一类边界条件含特征参数的不连续奇异Sturm-Liouville问题.利用函数论和算子理论的方法,证明该问题的自伴性,得到其特征值的相关性质,基本解及其特征值的渐近公式.     

一类两边界条件含参数的Sturm-Liouville问题

考虑第一个边界条件为参数的线性函数，第二个边界条件为有理函数的Sturm-Liouville问题．给出问题的特征值、特征函数的渐近式以及特征函数的振荡理论，并给出相应的应用实例．