EXACT BOUNDARY CONTROLLABILITY OF 1-D NONLINEAR SCHRDINGER EQUATION

In this paper,the boundary control problem of a distributed parameter system described by the Schrdinger equation posed on finite intervalα≤x≤β: iyt yxx |y|~2y=0, y(α,t)=h_`1(t),y(β,t)=h_2(t)for t>0(S) is considered.It is shown that by choosing appropriate control inputs(h_j),(j=1,2)one can always guide the system(S)from a given initial stateφ∈H~s(α,β),(s∈R)to a terminal stateΨ∈H~s(α,β),in the time period[0,T].The exact boundary controllability is obtained by considering a related initial value control problem of Schrdinger equation posed on the whole line R.The discovered smoothing properties of Schrdinger equation have played important roles in our approach;this may be the first step to prove the results on boundary controllability of(semi-linear)nonlinear Schrdinger equation.     

Exact Controllability for the Fourth Order Schr¨odinger Equation

The boundary controllability of the fourth order Schr(o)dinger equation in a bounded domain is studied.By means of an L2-Neumann boundary control,the authors prove that the solution is exactly controll...     

A RIGOROUS DERIVATION OF THE GROSS-PITAEVSKII HIERARCHY FOR WEAKLY COUPLED TWO-DIMENSIONAL BOSONS

In this article, we consider the dynamics of N two-dimensional boson systems interacting through a pair potential N-1Va(xi-xj) where Va(x) = a-2V (x/a). It is well known that the Gross-Pitaevskii (GP) equation is a nonlinear Schrdinger equation and the GP hierarchy is an infinite BBGKY hierarchy of equations so that if ut solves the GP equation, then the family of k-particle density matrices {k ut, k ≥ 1} solves the GP hierarchy. Denote by ψN,t the solution to the N-particle Schrdinger equation. Under the assumption that a = N-ε for 0 ε 3/4, we prove that as N →∞ the limit points of the k-particle density matrices of ψN,t are solutions of the GP hierarchy with the coupling constant in the nonlinear term of the GP equation given by ∫V (x) dx.     

Initial Boundary Value Problem of an Equation from Mathematical Finance

Consider the initial boundary value problem of the strong degenerate parabolic equation ?_(xx)u + u?_yu-?_tu = f(x, y, t, u),(x, y, t) ∈ Q_T = Ω×(0, T)with a homogeneous boundary condition. By introducing a new kind of entropy solution, according to Oleinik rules, the partial boundary condition is given to assure the well-posedness of the problem. By the parabolic regularization method, the uniform estimate of the gradient is obtained, and by using Kolmogoroff 's theorem, the solvability of the equation is obtained in BV(Q_T) sense. The stability of the solutions is obtained by Kruzkov's double variables method.     

ON THE MODIFIED NONLINEAR SCHRDINGER EQUATION IN THE SEMICLASSICAL LIMIT:SUPERSONIC,SUBSONIC,AND TRANSSONIC BEHAVIOR

The purpose of this paper is to present a comparison between the modified nonlinear Schro¨dinger (MNLS) equation and the focusing and defocusing variants of the (unmodified) nonlinear Schr¨odinger (NLS) equation in the semiclassical limit. We describe aspects of the limiting dynamics and discuss how the nature of the dynamics is evident theoretically through inverse-scattering and noncommutative steepest descent methods. The main message is that, depending on initial data, the MNLS equation can behave either like the defocusing NLS equation, like the focusing NLS equation (in both cases the analogy is asymptotically accurate in the semiclassical limit when the NLS equation is posed with appropriately modified initial data), or like an interesting mixture of the two. In the latter case, we identify a feature of the dynamics analogous to a sonic line in gas dynamics, a free boundary separating subsonic flow from supersonic flow.     

Singularly perturbed Neumann problem for fractional Schrdinger equations

This paper is concerned with a Neumann type problem for singularly perturbed fractional nonlinear Schrdinger equations with subcritical exponent. For some smooth bounded domain ?  R~n, our boundary condition is given by∫_?u(x)-u(y)/|x-y|~(n+2s)dy = 0 for x ∈ R~n\?.We establish existence of non-negative small energy solutions, and also investigate the integrability of the solutions on Rn.     

Boundedness and convergence for the non-Liénard type differential equation

In this article, the author studies the boundedness and convergence for the {(x) = a(y) - f(x),(y) = b(y)β(x) - g(x) e(t),where a(y), b(y), f(x),g(x),β(x) are real continuous functions in y ∈ R or x ∈ R,β(x) ≥ 0 for all x and e(t) is a real continuous function on R = {t: t ≥ 0} such that the equation has a unique solution for the initial value problem. The necessary and sufficient conditions are obtained and some of the results in the literatures are improved and extended.     

BOUNDEDNESS AND CONVERGENCE FOR THE NON-LINARD TYPE DIFFERENTIAL EQUATION

In this article, the author studies the boundedness and convergence for the non-Lienard type differential equation (x|·)=a(y)-f(x) (y|·)=b(y)β(x)-g(x) e(t) where a(y),b(y),f(x),g(x),β(x) are real continuous functions in y∈R or x∈R,β(x)≥0 for all x and e(t) is a real continuous function on R = {t: t≥0} such that the equation has a unique solution for the initial value problem. The necessary and sufficient conditions are obtained and some of the results in the literatures are improved and extended.     

Global Exact Boundary Controllability for Cubic Semi-linear Wave Equations and Klein-Gordon Equations

The authors prove the global exact boundary controllability for the cubic semi-linear wave equation in three space dimensions, subject to Dirichlet, Neumann, or any other kind of boundary controls which result in the well-posedness of the corresponding initial-boundary value problem. The exponential decay of energy is first established for the cubic semi-linear wave equation with some boundary condition by the multiplier method, which reduces the global exact boundary controllability problem to a local one. The proof is carried out in line with [2, 15]. Then a constructive method that has been developed in [13] is used to study the local problem. Especially when the region is star-complemented, it is obtained that the control function only need to be applied on a relatively open subset of the boundary. For the cubic Klein-Gordon equation, similar results of the global exact boundary controllability are proved by such an idea.     

ON THE METHOD OF SOLUTION FOR A KIND OFNONLINEAR SINGULAR INTEGRAL EQUATION

The solutions of the nonlinear singular integral equation ψo(t)2 2b/πi ∫L ψ(τ)/T-t dr =f(t), t ∈ L, are considered, where L is a closed contour in the complex plane, b ≠- 0 is a constant and f(t) is a polynomial. It is an extension of the results obtained in [1] when f(t) is a constant. Certain special cases are illustrated.     

Existence and Concentration of Solutions For Sublinear Schrödinger-Poisson Equations

We concern the sublinear Schrödinger-Poisson equations \(\left\{ \begin{gathered}- \Delta u + \lambda V\left( x \right)u + \phi u = f\left( {x,u} \right)in{\mathbb{R}^3} \hfill \\- \Delta \phi = {u^2}in{\mathbb{R}^3} \hfill \\ \end{gathered} \right.\) where λ > 0 is a parameter, V ∈ C(R³,[0,+∞)), f ∈ C(R₃×R,R) and V^-1(0) has nonempty interior. We establish the existence of solution and explore the concentration of solutions on the set V^-1(0) as λ → ∞ as well. Our results improve and extend some related works.     

Boundary value problems for complete quasi-parabolic differential equations of odd order with variable domains of operators

We prove the well-posed solvability in the strong sense of the boundary value Problems

$$\begin{gathered} ( - 1)\frac{{_m d^{2m + 1} u}}{{dt^{2m + 1} }} + \sum\limits_{k = 0}^{m - 1} {\frac{{d^{k + 1} }}{{dt^{k + 1} }}} A_{2k + 1} (t)\frac{{d^k u}}{{dt^k }} + \sum\limits_{k = 1}^m {\frac{{d^k }}{{dt^k }}} A_{2k} (t)\frac{{d^k u}}{{dt^k }} + \lambda _m A_0 (t)u = f, \hfill \\ t \in ]0,t[,\lambda _m \geqslant 1, \hfill \\ {{d^i u} \mathord{\left/ {\vphantom {{d^i u} {dt^i }}} \right. \kern-\nulldelimiterspace} {dt^i }}|_{t = 0} = {{d^j u} \mathord{\left/ {\vphantom {{d^j u} {dt^j }}} \right. \kern-\nulldelimiterspace} {dt^j }}|_{t = T} = 0,i = 0,...,m,j = 0,...,m - 1,m = 0,1,..., \hfill \\ \end{gathered} $$

where the unbounded operators A _s (t), s > 0, in a Hilbert space H have domains D(A _s (t)) depending on t, are subordinate to the powers A ^1?(s?1)/2m (t) of some self-adjoint operators A(t) ≥ 0 in H, are [(s+1)/2] times differentiable with respect to t, and satisfy some inequalities. In the space H, the maximally accretive operators A ₀(t) and the symmetric operators A _s (t), s > 0, are approximated by smooth maximally dissipative operators B(t) in such a way that

$$\begin{gathered} \mathop {lim}\limits_{\varepsilon \to 0} Re(A_0 (t)B_\varepsilon ^{ - 1} (t)(B_\varepsilon ^{ - 1} (t))^ * u,u)_H = Re(A_0 (t)u,u)_H \geqslant c(A(t)u,u)_H \hfill \\ \forall u \in D(A_0 (t)),c > 0, \hfill \\ \end{gathered} $$

, where the smoothing operators are defined by

$$B_\varepsilon ^{ - 1} (t) = (I - \varepsilon B(t))^{ - 1} ,(B_\varepsilon ^{ - 1} (t)) * = (I - \varepsilon B^ * (t))^{ - 1} ,\varepsilon > 0.$$

.

     

On the globality of a solution of one system of Schrödinger equations

A system of nonlinear Schrödinger equations $\begin{gathered} \frac{{\partial u_k }}{{\partial t}} = ia_k \Delta u_k + f_k (u,u^* ), t > 0, k = 1,...,m, \hfill \\ u_k (0,x) = u_{k0} (x), k = 1,...,m, x \in R^n . \hfill \\ \end{gathered} $ is investigated. Conditions that assure the globality of a solution are found.     

Carleson measures,BMO spaces and balayages associated to Schrdinger operators

Let L be a Schrdinger operator of the form L =-? + V acting on L~2(R~n), n≥3, where the nonnegative potential V belongs to the reverse Hlder class B_q for some q≥n. Let BMO_L(R~n) denote the BMO space associated to the Schrdinger operator L on R~n. In this article, we show that for every f ∈ BMO_L(R~n) with compact support, then there exist g ∈ L~∞(R~n) and a finite Carleson measure μ such that f(x) = g(x) + S_(μ,P)(x) with ∥g∥∞ + |||μ|||c≤ C∥f∥BMO_L(R~n), where S_(μ,P)=∫(R_+~(n+1))Pt(x,y)dμ(y, t),and Pt(x, y) is the kernel of the Poisson semigroup {e-~(t(L)~(1/2))}t0 on L~2(R~n). Conversely, if μ is a Carleson measure, then S_(μ,P) belongs to the space BMO_L(R~n). This extends the result for the classical John-Nirenberg BMO space by Carleson(1976)(see also Garnett and Jones(1982), Uchiyama(1980) and Wilson(1988)) to the BMO setting associated to Schrdinger operators.     

A positive solution of a nonlinear Schrdinger system with nonconstant potentials

In this paper, we study the existence of positive solutions to the following Schr¨odinger system:{-?u + V_1(x)u = μ_1(x)u~3+ β(x)v~2u, x ∈R~N,-?v + V_2(x)v = μ_2(x)v~3+ β(x)u~2v, x ∈R~N,u, v ∈H~1(R~N),where N = 1, 2, 3; V_1(x) and V_2(x) are positive and continuous, but may not be well-shaped; and μ_1(x), μ_2(x)and β(x) are continuous, but may not be positive or anti-well-shaped. We prove that the system has a positive solution when the coefficients Vi(x), μ_i(x)(i = 1, 2) and β(x) satisfy some additional conditions.     

Approximation by Nörlund means of double fourier series to continuous functions in two variables

We study the rate of uniform approximation by Nörlund means of the rectangular partial sums of double Fourier series of continuous functionsf(x, y), 2π-periodic in each variable. The results are given in terms of the modulus of symmetric smoothness defined by $$\begin{gathered} \omega _2 \left( {f,\delta _1 ,\delta _2 } \right) = \mathop {\sup }\limits_{x,y} \mathop {\sup }\limits_{\left| u \right| \leqslant \delta _1 ,\left| v \right| \leqslant \delta _2 } \left| {f\left( {x + u,y + v} \right)} \right. + f\left( {x + u,y - v} \right) + f\left( {x - u,y + v} \right) \hfill \\ + \left. {f\left( {x - u,y - v} \right) + 4f\left( {x,y} \right)} \right| for \delta _1 ,\delta _2 \geqslant 0. \hfill \\ \end{gathered} $$ As a special case we obtain the rate of uniform approximation to functionsf(x,y) in Lip({α, β}), the Lipschitz class, and inZ({α, β}), the Zygmund class of ordersα andβ, 0<α,β ≤ l, as well as the rate of uniform approximation to the conjugate functions \(\tilde f^{(1,0)} (x,y), \tilde f^{(0,1)} (x,y)\) and \(\tilde f^{(1,1)} (x,y)\) .     

Necessary and Sufficient Conditions for the Solvability of the Neumann and the Regularity Problems in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> of Some Schrödinger Equations on Lipschitz Domains

Let n ≥? 3and Ω be a bounded Lipschitz domain in \(\mathbb {R}^{n}\). Assume that the non-negative potential V belongs to the reverse Hölder class \(RH_{n}(\mathbb {R}^{n})\) and p ∈ (2, ∞). In this article, two necessary and sufficient conditions for the unique solvability of the Neumann and the Regularity problems of the Schrödinger equation ? Δu + V u =? 0 in Ω with boundary data in L ^p , in terms of a weak reverse Hölder inequality with exponent p and the unique solvability of the Neumann and the Regularity problems with boundary data in some weighted L ² space, are established. As applications, for any p ∈ (1, ∞), the unique solvability of the Regularity problem for the Schrödinger equation ? Δu + V u =?0 in the bounded (semi-)convex domain Ω with boundary data in L ^p is obtained.     

A Spectral Gap Estimate and Applications

We consider the Schrödinger operator

$$ \text{-} \frac{d^{2}}{d x^{2}} + V {\text{on an interval}}~~[a,b]~{\text{with Dirichlet boundary conditions}},$$

where V is bounded from below and prove a lower bound on the first eigenvalue λ ₁ in terms of sublevel estimates: if w _V (y) = |{x ∈ [a, b] : V (x) ≤ y}|, then

$$\lambda_{1} \geq \frac{1}{250} \min\limits_{y > \min V}{\left( \frac{1}{w_{V}(y)^{2}} + y\right)}.$$

The result is sharp up to a universal constant if {x ∈ [a, b] : V(x) ≤ y} is an interval for the value of y solving the minimization problem. An immediate application is as follows: let \({\Omega } \subset \mathbb {R}^{2}\) be a convex domain and let \(u:{\Omega } \rightarrow \mathbb {R}\) be the first eigenfunction of the Laplacian ? Δ on Ω with Dirichlet boundary conditions on ?Ω. We prove

$$\| u \|_{L^{\infty}({\Omega})} \lesssim \frac{1}{\text{inrad}({\Omega})} \left( \frac{\text{inrad}({\Omega})}{\text{diam}({\Omega})} \right)^{1/6} \|u\|_{L^{2}({\Omega})},$$

which answers a question of van den Berg in the special case of two dimensions.

     

Isotope shifts in the second negative bands of O 2 +

The second negative bands of O ₂ ⁺ , lying in the region 5000–1850 Å, have been photographed using oxygen enriched in¹⁸O. A study of the isotope shifts in the band heads revealed that thev″ numbering is to be increased by one unit whereas thev′ numbering remains unaltered. This change in vibrational numbering leads to a revision of the molecular constants of O ₂ ⁺ , especially of those in its ground state. These are discussed and the extension of the band system in the vacuum ultra-violet region reported. The possibility of developing a simple spectrographic method for the isotopic assay of oxygen using the isotope shifts in this band system is pointed out. The revised rotational and vibrational constants in theX ² II _g ground state of O ₂ ⁺ molecule are as follows :

$$\begin{gathered} \omega _e = 1903 \cdot 85 cm.^{ - 1} , \hfill \\ \omega _e x_e = 16 \cdot 18 cm.^{ - 1} , \hfill \\ B_e = 1 \cdot 6920 cm.^{ - 1} \hfill \\ and \hfill \\ r_e = 1 \cdot 1161 {\AA}. \hfill \\ \end{gathered} $$     

Matrix solutions of the equation\mathfrak{B}U_t = - U_{xx} + 2U^3 + \mathfrak{B}[U_x,U] + 4cU: extension of the method of the inverse scattering problem

Complex solution matrices of the nonlinear Schrödinger equation \(\mathfrak{B}U_t = - U_{xx} + 2U^3 + \mathfrak{B}[U_x ,U] + 4cU:\) are found and the method of the inverse scattering problem is subjected to a natural extension. That is, for the nonself-conjugateL-A Lax doublet that arises for this equation, the presence of chains of adjoint vectors for the operatorL is taken into account by means the corresponding normed chains. A uniqueness theorem for the Cauchy problem for the above Schrödinger equation is obtained. Here \(\mathfrak{B} = \left( {\begin{array}{*{20}c} 0 & 1 \\ { - 1} & 0 \\ \end{array} } \right),[M,N] = MN - NM\) , and c is a parameter.