A Note on the Non—existence of Negatively Weighted Derivations

ＡＮｏｔｅｏｎｔｈｅＮｏｎ－ｅｘｉｓｔｅｎｃｅｏｆＮｅｇａｔｉｖｅｌｙＷｅｉｇｈｔｅｄ　ＤｅｒｉｖａｔｉｏｎｓＪｉａｎｇＧｕａｎｇｆｅｎｇ（姜广峰）（Ｄｅｐｔ．ｏｆＭａｔｈ．，ＪｉｎｚｈｏｕＴｅａｃｈｅｒｓ＇Ｃｏｌｌｅｇｅ，Ｊｉｎｚｈｏｕ，Ｌｉａｏｎ...     

Strategies for the existence of spatial patterns in predator–prey communities generated by cross-diffusion

Fear of predators is an important drive for predator–prey interactions, which increases survival probability but cost the overall population size of the prey. In this paper, we have extended our previous work spatiotemporal dynamics of predator–prey interactions with fear effect by introducing the cross-diffusion. The conditions for cross-diffusion-driven instability are obtained using the linear stability analysis. The standard multiple scale analysis is used to derive the amplitude equations for the excited modes near Turing bifurcation threshold by taking the cross-diffusion coefficient as a bifurcation parameter. From the stability analysis of amplitude equations, the conditions for the emergence of various ecologically realistic Turing patterns such as spot, stripe, and mixture of spots and stripes are identified. Analytical results are verified with the help of numerical simulations. Turing bifurcation diagrams are plotted taking diffusion coefficients as control parameters. The effect of the cross-diffusion coefficients on the homogeneous steady state and pattern structures of the self-diffusive model is illustrated using the simulation techniques. It is also observed that the level of fear has stabilizing effect on the cross-diffusion induced instability and spot patterns change to stripe, then a mixture of spots and stripes and finally to the labyrinthine type of patterns with an increase in the level of fear.     

Two Kneser–Poulsen-type inequalities in planes of constant curvature

We show that the perimeter of the convex hull of finitely many disks lying in the hyperbolic or Euclidean plane, or in a hemisphere does not increase when the disks are rearranged so that the distances between their centers do not increase. This generalizes the theorem on the monotonicity of the perimeter of the convex hull of a finite set under contractions, proved in the Euclidean plane by V. N. Sudakov [8], R. Alexander [1], V. Capoyleas and J. Pach [3]. We also prove that the area of the intersection of finitely many disks in the hyperbolic plane does not decrease after such a contractive rearrangement. The Euclidean analogue of the latter statement was proved by K. Bezdek and R. Connelly [2]. Both theorems are proved by a suitable adaptation of a recently published method of I. Gorbovickis [4].     

Numerical solution of Volterra–Fredholm integral equations by moving least square method and Chebyshev polynomials

In this paper, we use a method based on moving least squares method and Chebyshev polynomials for numerical solution of Volterra–Fredholm integral equations of the second kind. The main advantage of this method is that it does not need a mesh, neither for purposes of interpolation nor for integration. The convergence of the method is investigated, and finally some examples are given to show the applicability of the method.     

Synchronization of drive–response singular Boolean networks

Network synchronization, explicating typical collective behaviors of coupled systems, plays a crucial role in social production and life. This paper addresses the synchronization problem of drive–response singular Boolean networks (SBNs). The solvability of drive–response SBNs is investigated based on the matrix representation. In view of the existence and uniqueness of the solutions to drive–response SBNs, three types of concepts, synchronization, strong synchronization and weak synchronization, are put forward for the first time. By two new systems, a restricted BN and a switched restricted BN, which are constructed from the considered systems, several synchronization conditions are provided to deal with the circumstances of unique solutions and multiple solutions, respectively. Besides, the synchronous ratio is defined to characterize the synchronization capability of drive–response SBNs for the case of multiple solutions. Finally, several examples are given to illustrate the effectiveness of the obtained results.     

On the existence of dynamics in Wheeler–Feynman electromagnetism

Wheeler–Feynman electrodynamics (WF) is an action-at-a-distance theory about world-lines of charges that in contrary to the textbook formulation of classical electrodynamics is free of ultraviolet singularities and is capable of explaining the irreversible nature of radiation. In WF, the world-lines of charges obey the so-called Fokker–Schwarzschild–Tetrode (FST) equations, a coupled set of nonlinear and neutral differential equations that involve time-like advanced as well as retarded arguments of unbounded delay. Using a reformulation of this theory in terms of Maxwell–Lorentz electrodynamics without self-interaction that we have introduced in a preceding work, we are able to establish the existence of conditional solutions. These conditional solutions solve the FST equations on any finite time interval with prescribed continuations outside of this interval. As a byproduct, we also prove existence and uniqueness of solutions to the Synge equations on the time half-line for a given history of charge world-lines.     

Asymptotic behavior of Cauchy hypersurfaces in constant curvature space–times

We present some new examples of families of cubic hypersurfaces in \(\mathbb {P}^5 (\mathbb {C})\) containing a plane whose associated quadric bundle does not have a rational section.     

Existence of non-trivial harmonic functions on Cartan–Hadamard manifolds of unbounded curvature

The Liouville property of a complete Riemannian manifold M (i.e., the question whether there exist non-trivial bounded harmonic functions on M) attracted a lot of attention. For Cartan–Hadamard manifolds the role of lower curvature bounds is still an open problem. We discuss examples of Cartan–Hadamard manifolds of unbounded curvature where the limiting angle of Brownian motion degenerates to a single point on the sphere at infinity, but where nevertheless the space of bounded harmonic functions is as rich as in the non-degenerate case. To see the full boundary the point at infinity has to be blown up in a non-trivial way. Such examples indicate that the situation concerning the famous conjecture of Greene and Wu about existence of non-trivial bounded harmonic functions on Cartan–Hadamard manifolds is much more complicated than one might have expected.      

On the existence of three-stage third-order modified Patankar–Runge–Kutta schemes

Numerical Algorithms - Modified Patankar–Runge–Kutta (MPRK) schemes are modifications of Runge–Kutta schemes, which were developed to guarantee unconditional positivity and...     

Global existence of strong solution for the Cucker–Smale–Navier–Stokes system

We present a global existence theory for strong solution to the Cucker–Smale–Navier–Stokes system in a periodic domain, when initial data is sufficiently small. To model interactions between flocking particles and an incompressible viscous fluid, we couple the kinetic Cucker–Smale model and the incompressible Navier–Stokes system using a drag force mechanism that is responsible for the global flocking between particles and fluids. We also revisit the emergence of time-asymptotic flocking via new functionals measuring local variances of particles and fluid around their local averages and the distance between local averages velocities. We show that the particle and fluid velocities are asymptotically aligned to the common velocity, when the viscosity of the incompressible fluid is sufficiently large compared to the sup-norm of the particles' local mass density.     

Evolution of hypersurfaces by the mean curvature minus an external force field

In this paper, we study the evolution of hypersurface moving by the mean curvature minus an external force field. It is shown that the flow will blow up in a finite time if the mean curvature of the initial surface is larger than some constant depending on the boundness of derivatives of the external force field. For a linear force, we prove that the convexity of the hypersurface is preserved during the evolution and the flow has a unique smooth solution in any finite time and expands to infinity as the time tends to infinity if the initial curvature is smaller than the slope of the force.     

On the existence of solution to one–dimensional forward–backward sdes

In this paper, we study the existence of the solution to one-dimensional forward–backward stochastic differential equations with neither the smooth condition nor the monotonicity condition for the coefficients. Under the nondegeneracy condition for the forward equation, we prove the existence of the solution to one-dimensional forward–backward stochastic differential equations. And we apply this result to establish the existence of the viscosity solution to a certain one-dimensional quasilinear parabolic partial differential equation     

Exponential synchronization of memristive Hindmarsh–Rose neural networks

A new model of neural networks in terms of the memristive Hindmarsh–Rose equations is proposed. Globally dissipative dynamics is shown with absorbing sets in the state spaces. Through sharp and uniform grouping estimates and by leverage of integral and interpolation inequalities tackling the linear network coupling against the memristive nonlinearity, it is proved that exponential synchronization at a uniform convergence rate occurs when the coupling strengths satisfy the threshold conditions which are quantitatively expressed by the parameters.     

On the existence of special solutions of the generalized Davey–Stewartson system

In this note we show that for certain choice of parameters the hyperbolic–elliptic–elliptic generalized Davey–Stewartson system admits time-dependent travelling wave solutions of the kind given in [V.A. Arkadiev, A.K. Pogrebkov, M.C. Polivanov, Inverse scattering transform method and soliton solutions for Davey–Stewartson II equation, Physica D 36 (1989) 189–197] for the hyperbolic Davey–Stewartson system. These solutions lead to radial solutions as well. We also find the sufficient conditions for non-existence of travelling wave solutions for the hyperbolic–elliptic–elliptic generalized Davey–Stewartson system by using the point of view developed in [A. Eden, T.B. Gürel, E. Kuz, Focusing and defocusing cases of the purely elliptic generalized Davey–Stewartson system, IMA J. Appl. Math. (in press)].     

On the existence of singular solutions of the stationary Navier–Stokes problem

We consider the steady Navier–Stokes equations in the punctured regions (?) Ω?=?Ω ₀ \ {o} (with {o} ∈ Ω ₀) and (??) $ \varOmega ={{\mathbb{R}}^2}\backslash \left( {{{\overline{\varOmega}}_0}\cup \left\{ o \right\}} \right) $ (with $ \left\{ o \right\}\notin {{\overline{\varOmega}}_0} $ ), where Ω ₀ is a simple connected Lipschitz bounded domain of $ {{\mathbb{R}}^2} $ . We regard o as a sink or a source in the fluid. Accordingly, we assign the flux $ \mathcal{F} $ through a small circumference surrounding o and a boundary datum a on Γ?=??Ω ₀ such that the total flux $ \mathcal{F}+\int\nolimits_{\varGamma } {\boldsymbol{a}\cdot \boldsymbol{n}} $ is zero in case (?). We prove that if $ \left| \mathcal{F} \right|<2\pi \nu $ and $ \left| \mathcal{F} \right|+\left| {\int\nolimits_{\varGamma } {\boldsymbol{a}\cdot \boldsymbol{n}} } \right|<2\pi \nu $ in (?) and (??), respectively, where ν is the kinematical viscosity, then the problem has a C ^∞ solution in Ω, which behaves at o like the gradient of the fundamental solution of the Laplace equation.     

A smooth variation of Baas–Sullivan theory and positive scalar curvature

Let $M$ be a smooth closed spin (resp. oriented and totally non-spin) manifold of dimension $n\ge 5$ with fundamental group $\pi $ . It is stated, e.g. by Rosenberg and Stolz (Surv Surg Theory 2, pp. 353–370, 2001), that $M$ admits a metric of positive scalar curvature (pscm) if its orientation class in $ko_n(B\pi )$ (resp.  $H_n(B\pi ;\mathbb Z )$ ) lies in the subgroup consisting of elements which contain pscm representatives. This is $2$ -locally verified loc. cit. and by Stolz (Topology 33, pp. 159–180, 1994). After inverting $2$ it was announced that a proof would be carried out by Jung (uncompleted Ph.D. thesis), but this work has never appeared in print. The purpose of our paper is to present a self-contained proof of the statement with $2$ inverted.