Search

We show that a relative entropy condition recently shown by Leger and Vasseur to imply uniqueness and stable $L^2$ dependence on initial data of Lax 1- or $n$-shock solutions of an $n\times n$ system of hyperbolic conservation laws with convex entropy implies Lopatinski stability in the sense of Majda. This means in particular that Leger and Vasseur's relative entropy condition represents a considerable improvement over the standard entropy condition of decreasing shock strength and increasing entropy along forward Hugoniot curves, which, in a recent example exhibited by Barker, Freist\"uhler and Zumbrun, was shown to fail to imply Lopatinski stability, even for systems with convex entropy. This observation bears also on the parallel question of existence, at least for small $BV$ or $H^s$ perturbations, Comment: to appear in Proceedings of the AMS

In the paper (HA14), unfortunately, a computational error occurred in one estimate. Although the wrong estimate does not affect the main results, we want to present the necessary corrections. Essentially, Lemma 5.2 has to be corrected and, since it is used in the proof of Theorem 5.1, the proof of this theorem also requires an adaptation. (i) The corrected formulation of Lemma 5.2 is as follows. Lemma 5.2 For Lagrange finite elements with a shape-regular family of affine meshes { T n h } h>0 there is a constant C > 0 independent of q and h such that for all w ∈ Wh and q = 2m, m ∈N: CΛq−2 p (∇w,∇Ip h (wq−1))T ∫ T ‖∇w‖l2‖w‖ q−2 0,∞,T dx, ∀T ∈ T n h , (5.1) where Λp = ‖ ∑ndof i=1 |φi|‖0,∞,T is the Lebesgue constant.

We indicate how recent results of Grafakos and Teschl (J Fourier Anal Appl 19:167–179, 2013), and Estrada (J Fourier Anal Appl 20:301–320, 2014), relating the Fourier transform of a radial function in $$\mathbb R^n$$ and the Fourier transform of the same function in $$\mathbb R^{n+2}$$ and $$\mathbb R^{n+1}$$ , respectively, are located within known results on transplantation for Hankel transforms.

The authors of [KMM] consider a system of two functional inequalities for a function $$f : {\mathbb{R}} \rightarrow {\mathbb{R}}$$ , and they show that, if certain arithmetical conditions and inequalities for certain parameters are fulfilled, f has to be a polynomial provided that f is continuous at some point x0. This result is derived here under the weaker condition that for some x0 the limit $${\rm lim}_{x \rightarrow x_0} f(x)$$ exists. Moreover, another system of inequalities is given leading to the same result on the nature of f. The methods used also give natural explanations for the fact that Bernoulli numbers play an important role in this context.

Kolmogorov-Arnold-Moser (or KAM) theory was developed for conservative dynamical systems that are nearly integrable. Integrable systems in their phase space usually contain lots of invariant tori, and KAM theory establishes persistence results for such tori, which carry quasi-periodic motions. We sketch this theory, which begins with Kolmogorov's pioneering work.

Concerns have been voiced about the correctness of certain technical points in DiPerna’s paper (Comm. Math. Phys. 91 (1983), 1–30) related to the vacuum state. In this note, we provide clarifications. Our conclusion is that these concerns mainly arise from the statement of a lemma for constructing the viscous approximate solutions and some typos; however, the gap can be either fixed by correcting the statement of the lemma and the typos or bypassed by employing the finite difference methods. In [Di], DiPerna found a global entropy solution of the isentropic Euler equations for the following exponents in the equation of state for the pressure: γ = 1 + 2/(2m+ 1), m ≥ 2 integer. (1) He divided his arguments into the following two steps. 1. Compactness framework Assume that a sequence of approximate solutions (ρ (x, t),m (x, t)), 0 ≤ t ≤ T , satisfies: (i). There exists a constant C(T ) > 0, independent of > 0, such that 0 ≤ ρ (x, t) ≤ C, |m (x, t)/ρ (x, t)| ≤ C; (ii). For all weak entropy pairs (η, q) of the isentropic Euler equations, the measure sequence η(ρ ,m )t + q(ρ ,m )x is contained in a compact subset of H −1 loc (R× [0, T ]). If γ satisfies (1), then the sequence (ρ (x, t),m (x, t)) is compact in Lloc(R× [0, T ]). The reason for the restriction on the number γ is that, in such a case, any weak entropy function is a polynomial function of the Riemann invariants (w, z). This is the key step in DiPerna’s arguments and is also his main contribution to the compensated compactness method in this aspect. Received by the editors May 16, 1996. 1991 Mathematics Subject Classification. Primary 35K55, 35L65; Secondary 76N15, 35L60, 65M06.

In their 1993 paper, W. Goh and J. Wimp derive interesting asymptotics for the moments cn(?) ? cn = ?10tnd?(t), n = 0, 1, 2, ..., of some singular distributions ? (with support ? 0, 1]), which contain oscillatory terms. They suspect, that this is a general feature of singular distributions and that this behavior provides a striking contrast with what happens for absolutely continuous distributions. In the present note, however, we give an example of an absolutely continuous measure with asymptotics of moments containing oscillatory terms, and an example of a singular measure having very regular asymptotic behavior of its moments. Finally, we give a short proof of the fact that the drop-off rate of the moments is exactly the local measure dimension about 1 (if it exists).

This note concerns the paper "On the controllability of a coupled system of two Korteweg–de Vries equations" by Micu et al. [2]. They study a nonlinear coupled system of two Korteweg–de Vries equations and prove that the system is controllable by using four boundary controls. Here, we prove that in some cases it is possible to get the controllablity of the system by using only two controls. This can be done depending on both the spatial domain and the control time.

This paper considers the existence of global weak solutions for the Navier-Stokes equations in the infinite cylinder R n × R + {{\mathbf {R}}^n} \times {{\mathbf {R}}_ + } with initial data in L r {L^r} , n ≥ 3 n \geq 3 , 1 > r > ∞ 1 > r > \infty . An imbedding theorem as well as related initial value problems are also studied, thus completing results in [2].

We disagree with Bucy’s comments (Bucy 1994) on our (Udwadia &; Kalaba 1992) paper. The reasons are as follows. 1. Just as the Gibbs-Appell equations (which use quasi-coordinates) are not the same as the Lagrange equations (which use Lagrange multipliers), the equations of motion obtained by us are not the same as the Gibbs-Appell equations. Some of the steps required to obtain the Gibbs-Appell equations are (Pars 1979; Whittaker 1937): (1) choice of quasi-coordinates; (2) elimination of certain quasicoordinates in terms of other preferred quasi-coordinates; (3) setting up of the Gibbs function; and (4) differentiation of the Gibbs function with respect to the preferred quasi-coordinates. None of these steps is used in obtaining our equations of motion. 2. Yet, the equations of motion obtained by us are equivalent to the Lagrange equations with multipliers (Kalaba et al. 1995) and to the Gibbs-Appell equations (Udwadia & Kalaba 1996). By equivalent we mean each set of equations implies the other. In fact all these different sets of equations are simply different, yet equivalent, ways of stating D’Alembert’s principle for bilinear constraints. Thus what applies to one set of equations applies to the others. Any deficiency in the equations derived in our paper (say regarding rank changes of the matrix A) is therefore present in the Gibbs-Appell equations and Lagrange’s equations as well, because of their equivalence.

In this paper we point out an error in paper [2] and study the asymptotic behavior of the differential equation Lnx + f(t, x) = r(t). The results obtained are extensions of some of the results of [2].

A class of functions K(r) and the corresponding solutions are produced in the case of the differential equation d 2 u/dr 2 +1 du/r dr+K(r)e 2u(r) =1. The behavior of these solutions at an isolated singularity is also investigated

This paper presents a review of the elementary theories on the bending of straight and curved beams, on plates and shells, using asymptotic approximations of the basic linearized equations of elasticity in three dimensions. The maximun norm has been chosen to specify the orders of magnitude of the quantities involved. The expansions are given as usual in terms of the small geometrical parameter characterizing the thinness of the structure. Most of the ideas and results are well known. Nevertheless, in the cases where more than one small parameter may be involved, such as small curvatures (shallow structures) or the small loading parameter used to linearize the equations of elasticity, the discussion on the limits of validity of the different theories lead to some interesting newer aspects. Moreover, the main ideas presented in this paper concerning multiple parameter expansions may be applied to discuss the behaviour of the structures and to obtain valuable analytical results in more complicated situations such as moderate and strong anisotropy, dynamic problems, stability etc.

Consider the first order differential equation (1) , where pi, and τi, for i = 1,…,n, are positive constants. To find necessary and sufficient conditions, in terms of the coefficients and the delays only, under which all solutions of (1) oscillate, is a problem of great importence. In a recent paper, Bowcock and Yu claimed that is a necessary and sufficient condition for all solutions of (1) to be oscillatory. In this paper a counterexample shows that the above result is not valid and the error in this paper is indicated.

We establish the relationship between certain invariant extension properties for linear functional of K. Fan when a semigroup S acts on a locally convex topological vector space and the existence of a left-invariant mean on the space of almost periodic and weakly almost periodic functions on S.

Funder: John Simon Guggenheim Memorial Foundation; doi: https://doi.org/10.13039/100005851, Funder: Einstein Visiting Fellow Program, The Rayleigh–Bénard system with stress-free boundary conditions is shown to have a global attractor in each affine space where velocity has fixed spatial average. The physical problem is shown to be equivalent to one with periodic boundary conditions and certain symmetries. This enables a Gronwall estimate on enstrophy. That estimate is then used to bound the L 2 norm of the temperature gradient on the global attractor, which, in turn, is used to find a bounding region for the attractor in the enstrophy–palinstrophy plane. All final bounds are algebraic in the viscosity and thermal diffusivity, a significant improvement over previously established estimates. The sharpness of the bounds are tested with numerical simulations.

A subset A of a topological space is said to be semi-open if there exists an open set U such that U C A C Cl(U) where Cl(U) denotes the closure of U. The class of semi-open sets of a given topological space (X, J) is denoted S.O. (X, J). In the paper Semi-open sets and semi-continuity in topological spaces, Amer. Math. Monthly 70 (1963), 36-41, Norman Levine states in Theorem 10 that if J and V* are two topologies for a set X such that S.O.(X, 3) C S.O.(X, J*), then 'J C P. In a corollary to this theorem, Levine states that if S.O.(X, if) = S.O.(X,Jf*), then _T= f*. An example is given which shows the above-mentioned theorem and its corollary are false. This paper shows how different topologies on a set which determine the same class of semi-open subse,ts can arise from functions, and points out some of the implications of two topologies being related in this manner. In [6] Norman Levine defines a set A in a topological space X to be semi-open if there exists an open set U such that U C A C Cl (U), where Cl(U) denotes the closure of U. The class of semi-open sets for a given topological space (X, i) is denoted S.O. (X, sT). Levine states in Theorem 10 of [6] that if Jf and * are two topologies for a set X such that S.O. (X, i) C S.O. (X, J9 then iT C *. In a corollary to this theorem, Levine states that if S.O. (X, ) = S.O. (X, iT*), then Jf = -" The following example which is due to S. Gene Crossley and S. K. Hildebrand [1, Example 1.1] shows the above-mentioned theorem and its corollary are false. Example. Let X = la, b, cl, J; = t0, sal, la, bl, la, cl, XI, ;* = 10, sal, la, bl, XI. An exhaustion of all possibilities shows that S.O. (X, ) = S.O. (x, 5j*). Crossley and Hildebrand [3] defined two topologies iT and T* on a set X to be semi-correspondent if S.O. (X, J) = S.O. (X, 5f*). It is shown in [3] that semi-correspondence is an equivalence relation on the collection of Received by the editors March 3, 1974. AMS (MOS) subject classifications (1970). Primary 54B99; Secondary 54C10.

The author regrets that there are certain errors in [1] and would like to give the following corrections.

International audience; In this short paper we prove that the almost Schur theorem, introduced by De Lellis and Topping, is true on 4-dimensional Riemannian manifolds of nonnegative scalar curvature and discuss some related problems on other dimensional manifolds.

Submitted by Vitor Silverio Rodrigues (vitorsrodrigues@reitoria.unesp.br) on 2014-05-27T11:25:28Z No. of bitstreams: 0Bitstream added on 2014-05-27T14:41:41Z : No. of bitstreams: 1 2-s2.0-79951846250.pdf: 494002 bytes, checksum: 56b6ee8beddda3e7dae971355d44a19f (MD5) Made available in DSpace on 2014-05-27T11:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-03-01 Item merged in doublecheck by Felipe Arakaki (arakaki@reitoria.unesp.br) on 2015-12-11T17:28:11Z Item was identical to item(s): 71803, 21370 at handle(s): http://hdl.handle.net/11449/72321, http://hdl.handle.net/11449/21804 Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) The simplest necessary conditions for an entire function ψ(x) =∞ ∑ k=0 γk xk/k! to be in the Laguerre-Pólya class are the Turán inequalities γ2 k- γk+1γk-1 ≥ 0. These are in fact necessary and sufficient conditions for the second degree generalized Jensen polynomials associated with ψ to be hyperbolic. The higher order Turán inequalities 4(γ2 n - γn-1γn+1)(γ2n +1 - γnγn+2) - (γnγn+1 - γn-1γn+2) 2 ≥ 0 are also necessary conditions for a function of the above form to belong to the Laguerre-Pólya class. In fact, these two sets of inequalities guarantee that the third degree generalized Jensen polynomials are hyperbolic. Pólya conjectured in 1927 and Csordas, Norfolk and Varga proved in 1986 that the Turán inequalities hold for the coefficients of the Riemann ψ-function. In this short paper, we prove that the higher order Turán inequalities also hold for the ψ-function, establishing the hyperbolicity of the associated generalized Jensen polynomials of degree three. © 2010 American Mathematical Society. Departamento de Ciências de Computação e Estatística IBILCE, Universidade Estadual Paulista, 15054-000 São José do Rio Preto, SP Departamento de matemática Aplicada IMECC UNICAMP, 13083-859 Campinas, SP Departamento de Ciências de Computação e Estatística IBILCE, Universidade Estadual Paulista, 15054-000 São José do Rio Preto, SP FAPESP: 03/01874-2 FAPESP: 06/60420-0 CNPq: 305622/2009-9 CAPES: DGU-160

A recent note of Ih-Ching Hsu poses an unsolved problem, to wit, the general solution of the functional equation g(x1, x2) + g(φ1(x1), φ2(x2)) = g(x1, φ2(x2)) + g(φ1(x1),x2), where the φi are given functions. This short paper obtains the general solution. It gives conditions which imply that anycontinuous solution has form g1(x1) + g2(x2).

This paper is devoted to the study of the qualitative properties of solutions to boundary-value problems for strongly elliptic differential-difference equations. Some results for these equations such as existence and smoothness of generalized solutions in certain subdomains of Q were obtained earlier. Nevertheless, the smoothness of generalized solutions of such problems can be violated near the boundary of these subdomains even for infinitely differentiable right-hand side. The subdomains are defined as connected components of the set that is obtained from the domain Q by throwing out all possible shifts of the boundary Q by vectors of a certain group generated by shifts occurring in the difference operators. For the one dimensional Neumann problem for differential-difference equations there were obtained conditions on the coefficients of difference operators, under which for any continuous right-hand side there is a classical solution of the problem that coincides with the generalized solution. 2 Also there was obtained the smoothness (in Sobolev spaces W k ) of generalized solutions of the second and the third boundary-value problems for strongly elliptic differential-difference equations in subdomains excluding -neighborhoods of certain points. However, the smoothness (in Ho lder spaces) of generalized solutions of the second boundary-value problem for strongly elliptic differential-difference equations on the boundary of adjacent subdomains was not considered. In this paper, we study this question in Ho lder spaces. We establish necessary and sufficient conditions for the coefficients of difference operators that guarantee smoothness of the generalized solution on the boundary of adjacent subdomains for any right-hand side from the Ho lder space.

In this paper, we consider the Laplace operator in a flat band whose lower boundary periodically oscillates under the Dirichlet boundary condition. The period and the amplitude of oscillations are two independent small parameters. The main result obtained in the paper is the absence of internal lacunas in the lower part of the spectrum of the operator for sufficiently small period and amplitude. We obtain explicit upper estimates of the period and amplitude in the form of constraints with specific numerical constants. The length of the lower part of the spectrum, in which the absence of lacunas is guaranteed, is also expressed explicitly in terms of the period function and the amplitude.

The paper focuses on the analysis of the Euler projection Galerkin finite element method (FEM) for the dynamics of magnetization in ferromagnetic materials, described by the Landau–Lifshitz equation with the point-wise constraint $|{\textbf{m}}|=1$. The method is based on a simple sphere projection that projects the numerical solution onto a unit sphere at each time step, and the method has been used in many areas in the past several decades. However, error analysis for the commonly used method has not been done since the classical energy approach cannot be applied directly. In this paper we present an optimal $\textbf{L}^2$ error analysis of the backward Euler sphere projection method by using quadratic or higher order finite elements under a time step condition $\tau =O(\epsilon _0 h)$ with some small $\epsilon _0>0$. The analysis is based on more precise estimates of the extra error caused by the sphere projection in both $\textbf{L}^2$ and $\textbf{H}^1$ norms, and the classical estimate of dual norm. Numerical experiment is provided to confirm our theoretical analysis.

We present a novel method of analysis and prove finite time asymptotically self-similar blowup of the De Gregorio model \cite{DG90,DG96} for some smooth initial data on the real line with compact support. We also prove self-similar blowup results for the generalized De Gregorio model \cite{OSW08} for the entire range of parameter on $\mathbb{R}$ or $S^1$ for H\"older continuous initial data with compact support. Our strategy is to reformulate the problem of proving finite time asymptotically self-similar singularity into the problem of establishing the nonlinear stability of an approximate self-similar profile with a small residual error using the dynamic rescaling equation. We use the energy method with appropriate singular weight functions to extract the damping effect from the linearized operator around the approximate self-similar profile and take into account cancellation among various nonlocal terms to establish stability analysis. We remark that our analysis does not rule out the possibility that the original De Gregorio model is well posed for smooth initial data on a circle. The method of analysis presented in this paper provides a promising new framework to analyze finite time singularity of nonlinear nonlocal systems of partial differential equations., Comment: Added discussion in Section 2.3 and made some minor edits. Main paper 57 pages, Supplementary material 29 pages. In previous arXiv versions, the hyperlinks of the equation number in the main paper are linked to the supplementary material, which is fixed in this version

In order to construct global solutions to two-dimensional (2D for short) Riemann problems for nonlinear hyperbolic systems of conservation laws, it is important to study various types of wave interactions. This paper deals with two types of wave interactions for a 2D nonlinear wave system with a nonconvex equation of state: Rarefaction wave interaction and shock-rarefaction composite wave interaction. In order to construct solutions to these wave interactions, the authors consider two types of Goursat problems, including standard Goursat problem and discontinuous Goursat problem, for a 2D self-similar nonlinear wave system. Global classical solutions to these Goursat problems are obtained by the method of characteristics. The solutions constructed in the paper may be used as building blocks of solutions of 2D Riemann problems.

This paper concerns the existence of transonic shock solutions to the 2-D steady compressible Euler system in an almost flat finite nozzle ( in the sense that it is a generic small perturbation of a flat one ), under physical boundary conditions proposed by Courant-Friedrichs in \cite{CourantFriedrichs1948}, in which the receiver pressure is prescribed at the exit of the nozzle. In the resulting free boundary problem, the location of the shock-front is one of the most desirable information one would like to determine. However, the location of the normal shock-front in a flat nozzle can be anywhere in the nozzle so that it provides little information on the possible location of the shock-front when the nozzle's boundary is perturbed. So one of the key difficulties in looking for transonic shock solutions is to determine the shock-front. To this end, a free boundary problem for the linearized Euler system will be proposed, whose solution will be taken as an initial approximation for the transonic shock solution. In this paper, a sufficient condition in terms of the geometry of the nozzle and the given exit pressure is derived which yields the existence of the solutions to the proposed free boundary problem. Once an initial approximation is obtained, a further nonlinear iteration could be constructed and proved to lead to a transonic shock solution., 53 pages

It is well known that when the geometry and/or coefficients allow stable trapped rays, the solution operator of the Helmholtz equation (a.k.a. the resolvent of the Laplacian) grows exponentially through a sequence of real frequencies tending to infinity. In this paper we show that, even in the presence of the strongest-possible trapping, if a set of frequencies of arbitrarily small measure is excluded, the Helmholtz solution operator grows at most polynomially as the frequency tends to infinity. One significant application of this result is in the convergence analysis of several numerical methods for solving the Helmholtz equation at high frequency that are based on a polynomial-growth assumption on the solution operator (e.g. $hp$-finite elements, $hp$-boundary elements, certain multiscale methods). The result of this paper shows that this assumption holds, even in the presence of the strongest-possible trapping, for most frequencies.

In a series of papers published since 2017 the author introduced a simple alternative of the $n$-simplex type, to enhance the accuracy of approximations of second-order boundary value problems subject to Dirichlet boundary conditions, posed on smooth curved domains. This technique is based upon trial functions consisting of piecewise polynomials defined on straight-edged triangular or tetrahedral meshes, interpolating the Dirichlet boundary conditions at points of the true boundary. In contrast, the test functions are defined by the standard degrees of freedom associated with the underlying method for polytopic domains. While the mathematical analysis of the method for Lagrange and Hermite methods for two-dimensional second- and fourth-order problems was carried out in earlier paper by the author this paper is devoted to the study of the three-dimensional case. Well-posedness, uniform stability and optimal a priori error estimates in the energy norm are proved for a tetrahedron-based Lagrange family of finite elements. Novel error estimates in the $L^2$-norm, for the class of problems considered in this work, are also proved. A series of numerical examples illustrates the potential of the new technique. In particular, its superior accuracy at equivalent cost, as compared to the isoparametric technique, is highlighted.

We are concerned with the study of the Lane-Emden equation with variable exponent and Dirichlet boundary condition. The feature of this paper is that the analysis that we develop does not assume any subcritical hypotheses and the reaction can fulfill a mixed regime (subcritical, critical and supercritical). We consider the radial and the nonradial cases, as well as a singular setting. The proofs combine variational and analytic methods with a version of the Palais principle of symmetric criticality., The final version this paper will be published in Proc. AMS

International audience; In this paper, we consider a semi-linear fourth order parabolic equation in a bounded smooth domain Ω with homogeneous Dirichlet and Neumann boundary conditions. The main result of this paper is the null controllability and the exact controllability to the trajectories at any time T > 0 for the associated control system with a control function acting at the interior.; Dans ce papier, on considère uneéquation parabolique semi-linéaire de quatrième ordre dans un domaine borné régulier Ω avec des conditions aux limites de type Dirichlet et Neumann homogènes. Le résultat principal de ce papier concerne la contrôlabilitéà zéro et la contrôlabilité exacte pour tout T > 0 du système de contrôle associé avec un contrôle agissantà l'interieur.

The main motive of the paper is to look on rectifying and osculating curves on a smooth surface. In this paper we find the normal and geodesic curvature for a rectifying curve on a smooth surface and we also prove that geodesic curvature is invariant under the isometry of surfaces such that rectifying curves remain. We find a sufficient condition for which an osculating curve on a smooth surface remains invariant under isometry of surfaces and also we prove that the component of the position vector of an osculating curve α(s) on a smooth surface along any tangent vector to the surface at α(s) is invariant under such isometry.

In this paper, we investigate qualitative properties of solutions of boundary-value problems for strongly elliptic differential-difference equations. Earlier results establish the existence of generalized solutions of these problems. It was proved that smoothness of such solutions is preserved in some subdomains but can be violated on their boundaries even for infinitely smooth function on the right-hand side. For differential-difference equations on a segment with continuous right-hand sides and boundary conditions of the first, second, or the third kind, earlier we had obtained conditions on the coefficients of difference operators under which there is a classical solution of the problem that coincides with its generalized solution. Also, for the Dirichlet problem for strongly elliptic differential-difference equations, the necessary and sufficient conditions for smoothness of the generalized solution in Holder spaces on the boundaries between subdomains were obtained. The smoothness of solutions inside some subdomains except for ε-neighborhoods of angular points was established earlier as well. However, the problem of smoothness of generalized solutions of the second and the third boundary-value problems for strongly elliptic differential-difference equations remained uninvestigated. In this paper, we use approximation of the differential operator by finite-difference operators in order to increase the smoothness of generalized solutions of the second and the third boundary-value problems for strongly elliptic differential-difference equations in the scale of Sobolev spaces inside subdomains. We prove the corresponding theorem.

We investigate a steady planar flow of an ideal fluid in a bounded simply connected domain and focus on the vortex patch problem with prescribed vorticity strength. There are two methods to deal with the existence of solutions for this problem: the vorticity method and the stream function method. A long standing open problem is whether these two entirely different methods result in the same solution. In this paper, we will give a positive answer to this problem by studying the local uniqueness of the solutions. Another result obtained in this paper is that if the domain is convex, then the vortex patch problem has a unique solution.

Though the boundary layer formation in the chemotactic process has been observed in experiment (cf. [63] ), the mathematical study on the boundary layer solutions of chemotaxis models is just in its infant stage. Apart from the sophisticated theoretical tools involved in the analysis, how to impose/derive physical boundary conditions is a state-of-the-art in studying the boundary layer problem of chemotaxis models. This paper will proceed with a previous work [24] in one dimension to establish the convergence of boundary layer solutions of the Keller–Segel model with singular sensitivity in a two-dimensional space (half-plane) with respect to the chemical diffusion rate denoted by e ≥ 0 . Compared to the one-dimensional boundary layer problem, there are many new issues arising from multi-dimensions such as possible Prandtl type degeneracy, curl-free preservation and well-posedness of large-data solutions. In this paper, we shall derive appropriate physical boundary conditions and gradually overcome these barriers and hence establish the convergence of boundary layer solutions of the singular Keller–Segel system in the half-plane as the chemical diffusion rate vanishes. Specially speaking, we justify that the boundary layer converges to the outer layer (solution with e = 0 ) plus the inner layer as e → 0 , where both outer and inner layer profiles are precisely derived and well understood. By doing this, the structure of boundary layer solutions is clearly characterized. We hope that our results and methods can shed lights on the understanding of underlying mechanisms of the boundary layer patterns observed in the experiment for chemotaxis such as the work by Tuval et al. [63] , and open a new window in the future theoretical study of chemotaxis models.

We study a free boundary problem for a parabolic partial differential equation in which the solution is coupled to the moving boundary through an integral constraint. The problem arises as the hydrodynamic limit of an interacting particle system involving branching Brownian motion with selection, the so-called Brownian bees model which is studied in a companion paper. In this paper we prove existence and uniqueness of the solution to the free boundary problem, and we characterise the behaviour of the solution in the large time limit., Comment: 53 pages

We derive a Ray–Knight type theorem for the local time process (in the space variable) of a skew Brownian motion up to an independent exponential time. It is known that the local time seen as a density of the occupation measure and taken with respect to the Lebesgue measure has a discontinuity at the skew point (in our case at zero), but the local time taken with respect to the speed measure is continuous. In this paper we discuss this discrepancy by characterizing the dynamics of the local time process in both of these cases. The Ray–Knight type theorem is applied to study integral functionals of the local time process of the skew Brownian motion. In particular, we determine the distribution of the maximum of the local time process up to a fixed time, which can be seen as the main new result of the paper.

The waveguide considered coincides with a strip having two narrows of width e. An electron wave function satisfies the Dirichlet boundary value problem for the Helmholtz equation. The part of the waveguide between the narrows serves as a resonator, and conditions for the electron resonant tunneling may occur. In the paper, asymptotic formulas as e → 0 for characteristics of the resonant tunneling are used. The asymptotic results are compared with the numerical ones obtained by approximate calculation of the scattering matrix for energies in the interval between the second and third thresholds. The comparison allows us to state an interval of e, where the asymptotic and numerical approaches agree. The suggested methods can be applied to more complicated models than that considered in the paper. In particular, the same approach can be used for asymptotic and numerical analysis of the tunneling in three-dimensional quantum waveguides of variable cross-sections. Bibliography: 3 titles.

International audience; This paper studies the smoothing effect for entropy solutions of conservation laws with general nonlinear convex fluxes on $\mathbb{R}$. Beside convexity, no additional regularity is assumed on the flux. Thus, we generalize the well-known $\mathrm{BV}$ smoothing effect for $\mathrm{C}^2$ uniformly convex fluxes discovered independently by P. D. Lax and O. Oleinik, while in the present paper the flux is only locally Lipschitz. Therefore, the wave velocity can be dicontinuous and the one-sided Oleinik inequality is lost. This inequality is usually the fundamental tool to get a sharp regularizing effect for the entropy solution. We modify the wave velocity in order to get an Oleinik inequality useful for the wave front tracking algorithm. Then, we prove that the unique entropy solution belongs to a generalized $\mathrm{BV}$ space, $\mathrm{BV}^\Phi$.

Sampling in shift-invariant spaces is a realistic model for signals with smooth spectrum. In this paper, we consider phaseless sampling and reconstruction of real-valued signals in a high-dimensional shift-invariant space from their magnitude measurements on the whole Euclidean space and from their phaseless samples taken on a discrete set with finite sampling density. The determination of a signal in a shift-invariant space, up to a sign, by its magnitude measurements on the whole Euclidean space has been shown in the literature to be equivalent to its nonseparability. In this paper, we introduce an undirected graph associated with the signal in a shift-invariant space and use connectivity of the graph to characterize nonseparability of the signal. Under the local complement property assumption on a shift-invariant space, we find a discrete set with finite sampling density such that nonseparable signals in the shift-invariant space can be reconstructed in a stable way from their phaseless samples taken on that set. In this paper, we also propose a reconstruction algorithm which provides an approximation to the original signal when its noisy phaseless samples are available only. Finally, numerical simulations are performed to demonstrate the robustness of the proposed algorithm to reconstruct box spline signals from their noisy phaseless samples.

In the celebrated paper by Jean Leray, published in JMPA journal in 1933, the invading domains method was proposed to construct D-solutions for the stationary Navier-Stokes flow around obstacle problem. In two dimensions, whether Leray's D-solution achieves the prescribed limiting velocity at spatial infinity became a major open problem since then. In this paper, we solve this problem at small Reynolds numbers. The proof builds on a novel blow-down argument which rescales the invading domains to the unit disc, and the ideas developed in a recent paper [Korobkov-Pileckas-Russo2020], where the nontriviality of Leray solutions in the general case was proved, and [Korobkov-Ren-2021], where the uniqueness result for small Reynolds number was established.

In this paper, we study the Ricci flow on manifolds with boundary. In the first part of the paper, we prove short-time existence and uniqueness of the solution, in which the boundary becomes instantaneously umbilic for positive time. In the second part of the paper, we prove that the flow we constructed in the first part preserves natural boundary conditions. More specifically, if the initial metric has a convex boundary, then the flow preserves positive curvature operator and the PIC1, PIC2 conditions. Moreover, if the initial metric has a two-convex boundary, then the flow preserves the PIC condition., 55 pages, improved exposition

In this paper we study a class of quasilinear elliptic equations with double phase energy and reaction term depending on the gradient. The main feature is that the associated functional is driven by the Baouendi–Grushin operator with variable coefficient. This partial differential equation is of mixed type and possesses both elliptic and hyperbolic regions. We first establish some new qualitative properties of a differential operator introduced recently by Bahrouni et al. (Nonlinearity 32(7):2481–2495, 2019). Next, under quite general assumptions on the convection term, we prove the existence of stationary waves by applying the theory of pseudomonotone operators. The analysis carried out in this paper is motivated by patterns arising in the theory of transonic flows.

In this paper we study the well-posedness of the Cauchy problem for a wave equation with multiplicities and space-dependent irregular coefficients. As in Garetto and Ruzhansky [Arch. Ration. Mech. Anal. 217 (2015), pp. 113–154], in order to give a meaningful notion of solution, we employ the notion of very weak solution, which construction is based on a parameter dependent regularisation of the coefficients via mollifiers. We prove that, even with distributional coefficients, a very weak solution exists for our Cauchy problem and it converges to the classical one when the coefficients are smooth. The dependence on the mollifiers of very weak solutions is investigated at the end of the paper in some instructive examples.

This paper is concerned with a time-periodic and nonlocal system arising from the spread of a deterministic epidemic in multi-types of population by incorporating a seasonal variation. The existence of the critical wave speed of the periodic traveling wavefronts and its coincidence with the spreading speed were proved in Wu et al. (J Math Anal Appl 463:111–133, 2018). In this paper, we prove the uniqueness and stability of all non-critical periodic wavefronts. Of particular interest is the influences of time-periodicity on the spreading speed in one-dimensional case. It turns out that, in comparison with the autonomous case, the periodicity of the infection rate increases the spreading speed, while the periodicity of the combined death/emigration/recovery rate for infectious individuals decreases the spreading speed. We also find that the contact distribution increases the spreading speed.

This paper develops the analytical conditions for the existence of periodic solutions of a second-order,time-delayed, discontinuous dynamical system. A sample model consists of two linear delayed sub-systems with a switching boundary. The defined G-functions for the delayed, discontinuous systems are introduced, and sufficient and necessary conditions for a flow crossing, sliding and grazing along the switch boundary are developed for such a delayed, discontinuous system. Furthermore, nine (9) regular basic mappings in phase plane and thirty-three (33) delay-related mappings for the second-order, time-delayed, discontinuous systems are classified. Constraint equations are predicted analytically for two periodic orbits with initial functions provided posteriorly. Finally, three numerical examples are illustrated to verify the existence of generalized slowly oscillating periodic orbits without and with sliding portions. This paper improves and extends motion switchability conditions at the boundary in discontinuous dynamical systems without delay.