Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property

Given a π ‐institution I , a hierarchy of π ‐institutions I ^{(n )} is constructed, for n ≥ 1. We call I ^{(n )} the n‐th order counterpart of I . The second‐order counterpart of a deductive π ‐institution is a Gentzen π ‐institution, i.e. a π ‐institution associated with a structural Gentzen system in a canonical way. So, by analogy, the second order counterpart I ⁽²⁾ of I is also called the “Gentzenization” of I . In the main result of the paper, it is shown that I is strongly Gentzen , i.e. it is deductively equivalent to its Gentzenization via a special deductive equivalence, if and only if it has the deduction‐detachment property . (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

n ‐fold filters in BL‐algebras

In this paper we introduce n ‐fold (positive) implicative basis logic and the related algebras called n ‐fold (positive) implicative BL‐algebras. Also we define n ‐fold (positive) implicative filters and we prove some relations between these filters and construct quotient algebras via these filters. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Schrödinger‐Poisson system with Hardy‐Littlewood‐Sobolev critical exponent

In this paper, we consider the following Schrödinger‐Poisson system: where parameters α,β∈(0,3),λ>0, , , and are the Hardy‐Littlewood‐Sobolev critical exponents. For α<β and λ>0, we prove the existence of nonnegative groundstate solution to above system. Moreover, applying Moser iteration scheme and Kelvin transformation, we show the behavior of nonnegative groundstate solution at infinity. For β<α and λ>0 small, we apply a perturbation method to study the existence of nonnegative solution. For β<α and λ is a particular value, we show the existence of infinitely many solutions to above system.     

“Unintended effects”: A theorem for complex systems

Unintended effects are well known to economists and sociologists and their consequences may be devastating. The main objective of this article is to formulate a mathematical theorem, based on Gödel's famous incompleteness theorem, in which it is shown, that from the moment deontical modalities (prohibition, obligation, permission, and faculty) are introduced into the social system, responses are allowed by the system that are not produced, however, prohibited responses or unintended effects may occur. © 2014 Wiley Periodicals, Inc. Complexity 21: 342–354, 2015     

A linearized and second‐order unconditionally convergent scheme for coupled time fractional Klein‐Gordon‐Schrödinger equation

In this work, we study finite difference scheme for coupled time fractional Klein‐Gordon‐Schrödinger (KGS) equation. We proposed a linearized finite difference scheme to solve the coupled system, in which the fractional derivatives are approximated by some recently established discretization formulas. These formulas approximate the solution with second‐order accuracy at points different form the grid points in time direction. Taking advantage of this property, our proposed linearized scheme evaluates the nonlinear terms on the previous time level. As a result, iterative method is dispensable. The coupled terms in the scheme bring difficulties in analysis. By carefully studying these effects, we proved that the proposed scheme is unconditionally convergent and stable in discrete norm with energy method. Numerical results are included to justify the theoretical statements.     

Multilinear estimates and well‐posedness for the vortex filament fourth‐order Schrödinger equations

This paper is concerned with the initial value problem for the fourth‐order nonlinear Schrödinger type equation related to the theory of vortex filament. By deriving a fundamental estimate on dyadic blocks for the fourth‐order Schrödinger through the [k,Z]‐multiplier norm method. we establish multilinear estimates for this nonlinear fourth‐order Schrödinger type equation. The local well‐posedness for initial data in with s > 1 ∕ 2 is implied by the multilinear estimates. Copyright © 2012 John Wiley & Sons, Ltd.     

Local energy‐ and momentum‐preserving schemes for Klein‐Gordon‐Schrödinger equations and convergence analysis

In this article, we obtain local energy and momentum conservation laws for the Klein‐Gordon‐Schrödinger equations, which are independent of the boundary condition and more essential than the global conservation laws. Based on the rule that the numerical methods should preserve the intrinsic properties as much as possible, we propose local energy‐ and momentum‐preserving schemes for the equations. The merit of the proposed schemes is that the local energy/momentum conservation law is conserved exactly in any time‐space region. With suitable boundary conditions, the schemes will be charge‐ and energy‐/momentum‐preserving. Nonlinear analysis shows LEP schemes are unconditionally stable and the numerical solutions converge to the exact solutions with order . The theoretical properties are verified by numerical experiments. © 2017 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 33: 1329–1351, 2017     

N solutions for a derivative nonlinear Schrödinger‐type equation via Riemann‐Hilbert approach

The inverse scattering transform for the derivative nonlinear Schrödinger‐type equation is studied via the Riemann‐Hilbert approach. In the direct scattering process, the spectral analysis of the Lax pair is performed, from which a Riemann‐Hilbert problem is established for the derivative nonlinear Schrödinger‐type equation. In the inverse scattering process, N‐soliton solutions of the derivative nonlinear Schrödinger‐type equation are obtained by solving Riemann‐Hilbert problems corresponding to the reflectionless cases. Moreover, the dynamics of the exact solutions are discussed.     

Exact soliton solution for the fourth‐order nonlinear Schrödinger equation with generalized cubic‐quintic nonlinearity

In this paper, we investigate the fourth‐order nonlinear Schrödinger equation with parameterized nonlinearity that is generalized from regular cubic‐quintic formulation in optics and ultracold physics scenario. We find the exact solution of the fourth‐order generalized cubic‐quintic nonlinear Schrödinger equation through modified F‐expansion method, identifying the particular bright soliton behavior under certain external experimental setting, with the system's particular nonlinear features demonstrated. Copyright © 2016 John Wiley & Sons, Ltd.     

A Fokas approach to the coupled modified nonlinear Schrödinger equation on the half‐line

In this work, we discuss the coupled modified nonlinear Schrödinger (CMNLS) equation, which describe the pulse propagation in the picosecond or femtosecond regime of the birefringent optical fibers. By use of the Fokas approach, the initial‐boundary value problem for the CMNLS equation related to a 3×3 matrix Lax pair on the half‐line is to be analyzed. Assuming that the solution {u(x,t),v(x,t)} of CMNLS equation exists, we will prove that it can be expressed in terms of the unique solution of a 3×3 matrix Riemann‐Hilbert problem formulated in the plane of the complex spectral parameter λ. Moreover, we also get that some spectral functions s(λ) and S(λ) are not independent of each other but meet a global relationship.     

Multiple solutions for generalized quasilinear Schrödinger equations

In this paper, we study the following generalized quasilinear Schrödinger equations: where N≥3, is a C¹ even function, g(0) = 1, and g′(s)≥0 for all s≥0. Under some suitable conditions, we prove that the equation has a positive solution, a negative solution, and a sequence of high‐energy solutions. Copyright © 2016 John Wiley & Sons, Ltd.     

On the fractional Schrödinger problem with non‐symmetric potential

We study the semilinear equation where 0 < s < 1, , V(x) is a sufficiently smooth non‐symmetric potential with , and ? > 0 is a small number. Letting U be the radial ground state of (?Δ)^sU + U ? U^p=0 in , we build solutions of the form for points ?_j,j = 1,?,m, using a Lyapunov–Schmidt variational reduction. Copyright © 2014 John Wiley & Sons, Ltd.     

Two‐grid mixed finite‐element methods for nonlinear Schrödinger equations

Two‐grid mixed finite element schemes are developed for solving both steady state and unsteady state nonlinear Schrödinger equations. The schemes use discretizations based on a mixed finite‐element method. The two‐grid approach yields iterative procedures for solving the nonlinear discrete equations. The idea is to relegate all of the Newton‐like iterations to grids much coarser than the final one, with no loss in order of accuracy. Numerical tests are performed. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 28: 63‐73, 2012