The Equivalence of Several Basic Theorems for Subdifferentials

Several different basic tools are used for studying subdifferentials. They are a nonlocal fuzzy sum rule in (Borwein et al., 1996; Zhu, 1996), a multidirectional mean value theorem in (Clarke and Ledyaev, 1994; Clarke et al., 1998), local fuzzy sum rules in (Ioffe, 1984, 1990) and an extremal principle in (Kruger and Mordukhovich, 1980; Mordukhovich, 1976, 1980, 1994). We show that all these basic results are equivalent and discuss some interesting consequences of this equivalence.     

Implicit–explicit schemes for nonlinear nonlocal equations with a gradient flow structure in one space dimension

Nonlinear convection–diffusion equations with nonlocal flux and possibly degenerate diffusion arise in various contexts including interacting gases, porous media flows, and collective behavior in biology. Their numerical solution by an explicit finite difference method is costly due to the necessity of discretizing a local spatial convolution for each evaluation of the convective numerical flux, and due to the disadvantageous Courant–Friedrichs–Lewy (CFL) condition incurred by the diffusion term. Based on explicit schemes for such models devised in the study of Carrillo et al. a second‐order implicit–explicit Runge–Kutta (IMEX‐RK) method can be formulated. This method avoids the restrictive time step limitation of explicit schemes since the diffusion term is handled implicitly, but entails the necessity to solve nonlinear algebraic systems in every time step. It is proven that this method is well defined. Numerical experiments illustrate that for fine discretizations it is more efficient in terms of reduction of error versus central processing unit time than the original explicit method. One of the test cases is given by a strongly degenerate parabolic, nonlocal equation modeling aggregation in study of Betancourt et al. This model can be transformed to a local partial differential equation that can be solved numerically easily to generate a reference solution for the IMEX‐RK method, but is limited to one space dimension.     

Stable blow-up dynamics in the -critical and -supercritical generalized Hartree equation

We study stable blow-up dynamics in the generalized Hartree equation with radial symmetry, which is a Schrödinger-type equation with a nonlocal, convolution-type nonlinearity: First, we consider the -critical case in dimensions and obtain that a generic blow-up has a self-similar structure and exhibits not only the square root blowup rate , but also the log-log correction (via asymptotic analysis and functional fitting), thus, behaving similarly to the stable blow-up regime in the -critical nonlinear Schrödinger equation. In this setting, we also study blow-up profiles and show that generic blow-up solutions converge to the rescaled , a ground state solution of the elliptic equation . We also consider the -supercritical case in dimensions . We derive the profile equation for the self-similar blow-up and establish the existence and local uniqueness of its solutions. As in the NLS -supercritical regime, the profile equation exhibits branches of nonoscillating, polynomially decaying (multi-bump) solutions. A numerical scheme of putting constraints into solving the corresponding ordinary differential equation is applied during the process of finding the multi-bump solutions. Direct numerical simulation of solutions to the generalized Hartree equation by the dynamic rescaling method indicates that the is the profile for the stable blow-up. In this supercritical case, we obtain the blow-up rate without any correction. This blow-up happens at the focusing level , and thus, numerically observable (unlike the -critical case). In summary, we find that the results are similar to the behavior of stable self-similar blowup solutions in the corresponding settings for the nonlinear Schrödinger equation. Consequently, one may expect that the form of the nonlinearity in the Schrödinger-type equations is not essential in the stable formation of singularities.     

Reflection of plane waves in generalized thermoelasticity of type III with nonlocal effect

The generalized thermoelasticity theory based upon the Green and Naghdi model III of thermoelasticity as well as the Eringen's nonlocal elasticity model is used to study the propagation of harmonic plane waves in a nonlocal thermoelastic medium. We found two sets of coupled longitudinal waves, which are dispersive in nature and experience attenuation. In addition to the coupled waves, there also exists one independent vertically shear-type wave, which is dispersive but experiences no attenuation. All these waves are found to be influenced by the elastic nonlocality parameter. Furthermore, the shear-type wave is found to face a critical frequency, while the coupled longitudinal waves may face critical frequencies conditionally. The problem of reflection of the thermoelastic waves at the stress-free insulated and isothermal boundary of a homogeneous, isotropic nonlocal thermoelastic half-space has also been investigated. The formulae for various reflection coefficients and their respective energy ratios are determined in various cases. For a particular material, the effects of the angular frequency and the elastic nonlocal parameter have been shown on phase speeds and the attenuation coefficients of the propagating waves. The effect of the elastic nonlocality on the reflection coefficients and the energy ratios has been observed and depicted graphically. Finally, analysis of the various results has been interpreted.     

Nonexistence of nontrivial global solutions for nonlocal in time differential inequalities

In this paper, some nonlocal in time differential inequalities of Sobolev type are considered. Using the nonlinear capacity method, sufficient conditions for the nonexistence of nontrivial global classical solutions are provided.     

A macroscopic model for an intermediate state between type‐I and type‐II superconductivity

A vectorial nonlocal and nonlinear parabolic problem on a bounded domain for an intermediate state between type‐I and type‐II superconductivity is proposed. The domain is for instance a multiband superconductor that combines the characteristics of both types. The nonlocal term is represented by a (space) convolution with a singular kernel arising in Eringen's model. The nonlinearity is coming from the power law relation by Rhyner. The well‐posedness of the problem is discussed under low regularity assumptions and the error estimate for a semi‐implicit time‐discrete scheme based on backward Euler approximation is established. In the proofs, the monotonicity methods and the Minty–Browder argument are used. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 31: 1551–1567, 2015     

Dynamics and optimal control in a spatially structured economic growth model with pollution diffusion and environmental taxation

In the first part of this paper we present a spatially structured dynamic economic growth model which takes into account the level of pollution and a possible taxation based on the amount of produced pollution. In the second part we analyze an optimal harvesting control problem with an objective function composed of three terms, namely the intertemporal utility of the decision maker, the space–time average of the level of pollution in the habitat, and the disutility due to the imposition of taxation.     

Finite Difference Method for Reaction-Diffusion Equation with Nonlocal Boundary Conditions

In this paper, we present a numerical approach to a class of nonlinear reaction-diffusion equations with nonlocal Robin type boundary conditions by finite difference methods. A second-order accurate difference scheme is derived by the method of reduction of order. Moreover, we prove that the scheme is uniquely solvable and convergent with the convergence rate of order two in a discrete L2-norm. A simple numerical example is given to illustrate the efficiency of the proposed method.     

向列相液晶中强非局域空间光孤子的实验观察

通过实验对向列相液晶中的非局域空间光孤子的传输进行了研究。理论上基于非线性的液晶孤子传输方程,采用高斯形式的试探解,得到了孤子传输的解析解,以及对液晶中的非局域孤子和Snyder等提出的强非局域孤子模型的结果进行了比较。实验上,观察了空间光孤子在向列相液晶中的传输,找到了不同束宽下空间光孤子的临界功率。比如束宽为2μm时临界功率为2.0mW。观察了向列相液晶中空间光孤子的弛豫过程,并注意到液晶分子的响应时间长达几秒钟,液晶中的孤子形成速度较慢。     

拟线性双曲组一类非局部混合初-边值问题的半整体C1解

在研究拟线性弦振动方程带第三类边值问题的精确边界能控性时,出现了拟线性双曲组一类非局部混合初-边值问题.论文先证明该类非局部混合问题局部C1解的存在惟一性,并考察其存在高度的性质,进而利用一致先验估计证明半整体C1解的存在惟一性,并以此为基础研究相应问题的精确边界能控性,最后为便于应用,将论文的结论写成了可化约方程组的情形.