On the regularity of a free boundary near contact points with a fixed boundary

We investigate the regularity of a free boundary near contact points with a fixed boundary, with C1,1 boundary data, for an obstacle-like free boundary problem. We will show that under certain assumptions on the solution, and the boundary function, the free boundary is uniformly C¹ up to the fixed boundary. We will also construct some examples of irregular free boundaries.     

Scalar multidimensional conservation laws IBVP in noncylindrical Lipschitz domains

We study the initial-boundary-value problems for multidimensional scalar conservation laws in noncylindrical domains with Lipschitz boundary. We show the existence-uniqueness of this problem for initial-boundary data in L^∞ and the flux-function in the class C¹. In fact, first considering smooth boundary, we obtain the L¹-contraction property, discuss the existence problem and prove it by the Young measures theory. In the end we show how to pass the existence-uniqueness results on to some domains with Lipschitz boundary.     

Necessary and sufficient conditions for unique determination of plane domains

We say that a domain U ? ?ⁿ is uniquely determined from the relative metric of its Hausdorff boundary (the relative metric is the extension by continuity of the intrinsic metric of the domain to the boundary) if every domain V ? ?ⁿ with the Hausdorff boundary isometric in the relative metric to the Hausdorff boundary of U is isometric to U too (in the Euclidean metrics). In this article we state some necessary and sufficient conditions for a plane domain to be uniquely determined from the relative metric of its Hausdorff boundary.     

Boundary set imbeddings in the Hilbert cube

We make the following remarks. Every boundary set in the Hilbert cube can be reimbedded as a dense σZ-set whose complement is not l². There exist spaces that can be imbedded as a boundary set in more than one way. We also give a necessary condition for a space to be imbeddable as a boundary set.     

A numerical comparison of Chebyshev methods for solving fourth order semilinear initial boundary value problems

In solving semilinear initial boundary value problems with prescribed non-periodic boundary conditions using implicit-explicit and implicit time stepping schemes, both the function and derivatives of the function may need to be computed accurately at each time step. To determine the best Chebyshev collocation method to do this, the accuracy of the real space Chebyshev differentiation, spectral space preconditioned Chebyshev tau, real space Chebyshev integration and spectral space Chebyshev integration methods are compared in the L² and W^2,2 norms when solving linear fourth order boundary value problems; and in the L^∞([0,T];L²) and L^∞([0,T];W^2,2) norms when solving initial boundary value problems. We find that the best Chebyshev method to use for high resolution computations of solutions to initial boundary value problems is the spectral space Chebyshev integration method which uses sparse matrix operations and has a computational cost comparable to Fourier spectral discretization.     

Convex bodies of constant width and constant brightness

In 1926 Nakajima (= Matsumura) showed that any convex body in R³ with constant width, constant brightness, and boundary of class C² is a ball. We show that the regularity assumption on the boundary is unnecessary, so that balls are the only convex bodies of constant width and brightness.     

Nodal solutions of multi-point boundary value problems

We study the nonlinear boundary value problem consisting of the equation y^″+w(t)f(y)=0 on [a,b] and a multi-point boundary condition. By relating it to the eigenvalues of a linear Sturm-Liouville problem with a two-point separated boundary condition, we obtain results on the existence and nonexistence of nodal solutions of this problem. We also discuss the changes in the existence question for different types of nodal solutions as the problem changes.     

Boundary Layers Associated with Incompressible Navier-Stokes Equations: The Noncharacteristic Boundary Case

The goal of this article is to study the boundary layer of wall bounded flows in a channel at small viscosity when the boundaries are uniformly noncharacteristic, i.e., there is injection and/or suction everywhere at the boundary. Following earlier work on the boundary layer for linearized Navier-Stokes equations in the case where the boundaries are characteristic (no-slip at the boundary and non-permeable), we consider here the case where the boundary is permeable and thus noncharacteristic. The form of the boundary layer and convergence results are derived in two cases: linearized equation and full nonlinear equations. We prove that there exists a boundary layer at the outlet (downwind) of the form e^−Uz/ε where U is the speed of injection/suction at the boundary, z is the distance to the outlet of the channel, and ε is the kinematic viscosity. We improve an earlier result of S. N. Alekseenko (1994, Siberian Math. J.35, No. 2, 209-230) where the convergence in L² of the solutions of the Navier-Stokes equations to that of the Euler equations at vanishing viscosity was established. In the two dimensional case we are able to derive the physically relevant uniform in space (L^∞ norm) estimates of the boundary layer. The uniform in space estimate is derived by properly developing our previous idea of better control on the tangential derivative and the use of an anisotropic Sobolev imbedding. To the best of our knowledge this is the first rigorously proved result concerning boundary layers for the full (nonlinear) Navier-Stokes equations for incompressible fluids.     

The method of boundary integral equations for a mixed scattering problem

In this paper we consider the scattering of an electromagnetic time-harmonic plane wave by an infinite cylinder having an open arc and a bounded domain in R² as cross section. To this end, we solve a scattering problem for the Helmholtz equation in R² where the scattering object is a combination of a crack Γ and a bounded obstacle D, and we have Dirichlet-impedance type boundary condition on Γ and Dirichlet boundary condition on ∂D (∂D∈C²). Applying potential theory, the problem can be reformulated as a boundary integral system. We establish the existence and uniqueness of a solution to the system by using the Fredholm theory.     

Nonlinearity and nontrivial solutions of fourth order semilinear elliptic equations

We consider the existence of nontrivial solutions of a fourth order semilinear elliptic boundary value problem with Dirichlet boundary condition, Δ²u+cΔu=b₁[(u+1)⁺−1]+b₂u⁺ in Ω, where Ω is a bounded open set in R^N with smooth boundary ∂Ω. The variation of linking theorem is useful to investigate them. We investigate them in six regions of (b₁,b₂) when λ₁<c<λ₂.     

Recovery of the C ∞ jet from the boundary distance function

For a compact Riemannian manifold with boundary, we want to find the metric structure from knowledge of distances between boundary points. This is called the ??boundary rigidity problem??. If the boundary is not concave, which means locally not all shortest paths lie entirely in the boundary, then we are able to find the Taylor series of the metric tensor (C ^?? jet) at the boundary (see Lassas et?al. (Math Ann 325:767?C793, 2003), Uhlmann et?al. (Adv Appl Math 31:379?C387, 2003)). In this paper we give a new reconstruction procedure for the C ^?? jet at non-concave points on the boundary using the localized boundary distance function. A closely related problem is the ??lens rigidity problem??, which asks whether the lens data determine metric structure uniquely. Lens data include information of boundary distance function, the lengths of all geodesics, and the locations and directions where geodesics hit the boundary. We give the first examples that show that lens data cannot uniquely determine the C ^?? jet. The example include two manifolds with the same boundary and the same lens data, but different C ^?? jets. With some additional careful work, we can find examples with different C ¹ jets, which means the boundaries in the two lens-equivalent manifolds have different second fundamental forms.     

A notion of robustness and stability of manifolds

Starting from the notion of thickness of Parks we define a notion of robustness for arbitrary subsets of Rk and we investigate its relationship with the notion of positive reach of Federer. We prove that if a set M is robust, then its boundary ∂M is of positive reach and conversely (under very mild restrictions) if ∂M is of positive reach, then M is robust. We then prove that a closed non-empty robust set in Rk (different from Rk) is a codimension zero submanifold of class C¹ with boundary. As a partial converse we show that any compact codimension zero submanifold with boundary of class C² is robust. Using the notion of robustness we prove a kind of stability theorem for codimension zero compact submanifolds with boundary: two such submanifolds, whose boundaries are close enough (in the sense of Hausdorff distance), are diffeomorphic.     

Integrability of Green potentials in fractal domains

We proveL ^q -inequalities for the gradient of the Green potential (Gf) in bounded, connected NTA-domains inR ⁿ ,n≥2. These domains may have a highly non-rectifiable boundary and in the plane the set of all bounded simply connected NTA-domains coincides with the set of all quasidiscs. We get a restriction on the exponentq for which our inequalities are valid in terms of the validity of a reverse Hölder inequality for the Green function close to the boundary.     

A Riemann-Hilbert Problem for the Moisil-Teodorescu System

In a bounded domain with smooth boundary in ?³ we consider the stationary Maxwell equations for a function u with values in ?³ subject to a nonhomogeneous condition (u, v)_x = u₀ on the boundary, where v is a given vector field and u₀ a function on the boundary. We specify this problem within the framework of the Riemann-Hilbert boundary value problems for the Moisil-Teodorescu system. This latter is proved to satisfy the Shapiro-Lopaniskij condition if an only if the vector v is at no point tangent to the boundary. The Riemann-Hilbert problem for the Moisil-Teodorescu system fails to possess an adjoint boundary value problem with respect to the Green formula, which satisfies the Shapiro-Lopatinskij condition. We develop the construction of Green formula to get a proper concept of adjoint boundary value problem.     

Locating the peaks of least-energy solutions to a quasilinear elliptic Neumann problem

In this paper we study the shape of least-energy solutions to the quasilinear problem εmΔmu−um−1+f(u)=0 with homogeneous Neumann boundary condition. We use an intrinsic variation method to show that as ε→⁰⁺, the global maximum point Pε of least-energy solutions goes to a point on the boundary ∂Ω at the rate of o(ε) and this point on the boundary approaches to a point where the mean curvature of ∂Ω achieves its maximum. We also give a complete proof of exponential decay of least-energy solutions.     

Asymptotic regularity and attractors of the reaction-diffusion equation with nonlinear boundary condition

We consider the dynamical behavior of the reaction-diffusion equation with nonlinear boundary condition for both autonomous and non-autonomous cases. For the autonomous case, under the assumption that the internal nonlinear term f is dissipative and the boundary nonlinear term g is non-dissipative, the asymptotic regularity of solutions is proved. For the non-autonomous case, we obtain the existence of a compact uniform attractor in H¹(Ω) with dissipative internal and boundary nonlinearities.     

Necessary and sufficient conditions for a generalized solution to the initial-boundary value problem for the wave equation to belong to W p 1 with p ≥ 1

We establish necessary and sufficient conditions on the boundary function under which a generalized solution to the initial-boundary value problem for the wave equation with boundary conditions of the first kind belongs to W _p ¹ .     

Blowing up boundary conditions for a nonlocal nonlinear diffusion equation in several space dimensions

We analyze boundary value problems prescribing Dirichlet or Neumann boundary conditions for a nonlocal nonlinear diffusion operator which is analogous to the porous medium equation in a bounded smooth domain Ω∈R^N with N≥1. First, we prove existence and uniqueness of solutions and the validity of a comparison principle for these problems. Next, we impose boundary data that blow up in finite time and study the behavior of the solutions.     

A new algebraic approach to stabilization for boundary control systems of parabolic type

We study the stabilization problem of linear parabolic boundary control systems. While the control system is described by a pair of standard linear differential operators (L,τ), the corresponding semigroup generator generally admits no Riesz basis of eigenvectors. In the sense that very little information on the fractional powers of this generator is needed, our approach has enough generality as a prototype to be used for other types of parabolic systems. We propose in this paper a new algebraic approach to the stabilization, which gives—to the best of the author's knowledge—the simplest framework of the problem. The control system with the scheme of boundary observation/boundary feedback is turned into the differential equations with no boundary input in usual and standard L²-spaces in a readable manner.     

Positively oriented ideal triangulations on hyperbolic three-manifolds

Let M³ be a non-compact hyperbolic 3-manifold that has a triangulation by positively oriented ideal tetrahedra. We show that the gluing variety defined by the gluing consistency equations is a smooth complex manifold with dimension equal to the number of boundary components of M³. Moreover, we show that the complex lengths of any collection of non-trivial boundary curves, one from each boundary component, give a local holomorphic parameterization of the gluing variety. As an application, some estimates for the size of hyperbolic Dehn surgery space of once-punctured torus bundles are given.