Regularity of optimal sets for some functional involving eigenvalues of an operator in divergence form

In this paper we consider minimizers of the functional$\min \{{\lambda }_1(\mathrm{\Omega })+\cdots +{\lambda }_k(\mathrm{\Omega })+\mathrm{\Lambda }|\mathrm{\Omega }|,:\mathrm{\Omega }\subset D\text{ open}\}$ where $D\subset {\mathbb{R}}^d$ is a bounded open set and where $0<{\lambda }_1(\mathrm{\Omega })\le \cdots \le {\lambda }_k(\mathrm{\Omega })$ are the first k eigenvalues on Ω of an operator in divergence form with Dirichlet boundary condition and with Hölder continuous coefficients. We prove that the optimal sets ${\mathrm{\Omega }}^{⁎}$ have finite perimeter and that their free boundary $\partial {\mathrm{\Omega }}^{⁎}\cap D$ is composed of a regular part, which is locally the graph of a $C^{1,\alpha }$-regular function, and a singular part, which is empty if $d<d^{⁎}$, discrete if $d=d^{⁎}$ and of Hausdorff dimension at most $d-d^{⁎}$ if $d>d^{⁎}$, for some $d^{⁎}\in \{5,6,7\}$.     

Eye-safe compact scanning LIDAR technology

A 1.5-μm eye-safe, 3-D scanning, and compact Mie LIght Detection and Ranging (LIDAR) is presented. The transmitter of the LIDAR is based on a KTA optical parameter oscillator (OPO) resonator. For detecting return signals, an InGaAs APD is used. The all solid-state OPO laser transmitter has the feature of small volume and lightweight, which allows a 165-lb compact eye-safe scanning LIDAR to be constructed. A system simulation using our own model was conducted to direct the system development. A method to solve the problem with small active area APD detectors was developed and described. The preliminary field-test measurement results indicated that the LIDAR has the capability to detect aerosols and clouds in lower atmospheres up to three dimensions.     

Modules over Operator Algebras and Its Module Maps

ＭｏｄｕｌｅｓｏｖｅｒＯｐｅｒａｔｏｒＡｌｇｅｂｒａｓａｎｄＩｔｓＭｏｄｕｌｅＭａｐｓＸｕＴｉａｎｚｈｏｕ（许天周）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＮａｎｊｉｎｇＵｎｉｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ，２１００９３）ＡｂｓｔｒａｃｔＬｅ...     

Some Properties of Quasi-keep-range Operators and Their Applications

ＳｏｍｅＰｒｏｐｅｒｔｉｅｓｏｆＱｕａｓｉ┐ｋｅｅｐ┐ｒａｎｇｅＯｐｅｒａｔｏｒｓａｎｄＴｈｅｉｒＡｐｐｌｉｃａｔｉｏｎｓＬａｉＣｈｕｎｈｕｉ（赖春晖）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＺｈａｎｇｚｈｏｕＴｅａｃｈｅｒｓＣｏｌｅｇｅ，...     

Identification of nonlinear elliptic equations

An optimization theoretic approach and algorithm for the estimation of state-dependent coefficients in nonlinear elliptic equation is presented. It is based on a splitting method combined with convex analysis techniques. Convergence of the algorithm is established and numerical examples are included.The research of K. Kunisch was supported in part by a grant from the Bundesministerium für Wissenschaft und Forschung, Austria.     

Estimates for transition probabilities on a compact manifold

The purpose of this note is to describe a procedure for transferring familiar estimates for transition probabilities on RN to transition probabilities on compact manifolds.     

Compact directed acyclic word graphs for a sliding window

Suffix trees are a well-known and widely-studied data structure highly useful for string matching. The suffix tree of a string w can be constructed in O(n) time and space, where n denotes the length of w. Larsson achieved an efficient algorithm to maintain suffix trees for a sliding window. It contributes to prediction by partial matching (PPM) style statistical data compression scheme. Compact directed acyclic word graphs (CDAWGs) are a more space-economical data structure for indexing strings. In this paper we propose a linear-time algorithm to maintain CDAWGs for a sliding window.     

Second Order Nonlinear Evolution Inclusions Ⅰ： Existence and Relaxation Results

This is the first part of a work on second order nonlinear, nonmonotone evolution inclusions defined in the framework of an evolution triple of spaces and with a multivalued nonlinearity depending on both x（t） and x（t）. In this first part we prove existence and relaxation theorems. We consider the case of an usc, convex valued nonlinearity and we show that for this problem the solution set is nonempty and compact in C^1 （T, H）. Also we examine the Isc, nonconvex case and again we prove the existence of solutions. In addition we establish the existence of extremal solutions and by strengthening our hypotheses, we show that the extremal solutions are dense in C^1 （T, H） to the solutions of the original convex problem （strong relaxation）. An example of a nonlinear hyperbolic optimal control problem is also discussed.     

LOCAL SPECTRA OF UNILATERAL OPERATOR WEIGHTED SHIFTS

In this note, the local spectral properties of unilateral operator weighted shifts arestudied.     

A mathematical analysis of a fish school model

A model proposed in the literature for fish schools of relatively large size is studied for mathematical and qualitative properties. Existence, uniqueness and positivity of solutions are established and bifurcation properties relative to diffusion and alignment parameters are studied.