A Regularized Hybrid Steepest Descent Method for Variational Inclusions

This article is concerned with a generalization of the hybrid steepest descent method from variational inequalities to the multivalued case. This will be reached by replacing the multivalued operator by its Yosida approximate, which is always Lipschitz continuous. It is worth mentioning that the hybrid steepest descent method is an algorithmic solution to variational inequality problems over the fixed point set of certain nonexpansive mappings and has remarkable applicability to the constrained nonlinear inverse problems like image recovery and MIMO communication systems (see, e.g., [9 I. Yamada , M. Yukawa , and M. Yamagishi ( 2011 ). Minimizing the moreau envelope of nonsmooth convex functions over the fixed point set of certain quasi-nonexpansive mappings . In Fixed Point Algorithms for Inverse Problems in Science and Engineering ( H.H. Bauschke , R. Burachik , P.L. Combettes , V. Elser , D.R. Luke , and H. Wolkowicz , eds.), Springer-Verlag , New York , Chapter 17 , pp. 343 – 388 . [Google Scholar], 10 I. Yamada , Ogura , and N. Shirakawa ( 2002 ). A numerically robust hybrid steepest descent method for the convexly constrained generalized inverse problems . In Inverse Problems, Image Analysis and Medical Imaging. Contemporary Mathematics ( Z. Nashed and O. Scherzer , eds.), American Mathematical Society , Providence , RI , Vol. 313 , pp. 269 – 305 . [Google Scholar]]).     

Forward-backward SDEs with discontinuous coefficients

In this paper, we are interested in the well-posedness of a class of fully coupled forward-backward SDE (FBSDE) in which the forward drift coefficient is allowed to be discontinuous with respect to the backward component of the solution. Such an FBSDE is motivated by a practical issue in regime-switching term structure interest rate models, and the discontinuity makes it beyond any existing framework of FBSDEs. In a Markovian setting with non-degenerate forward diffusion, we show that a decoupling function can still be constructed and that it is a Sobolev solution to the corresponding quasilinear PDE. As a consequence we can then argue that the FBSDE admits a weak solution in the sense of [1 Antonelli, F., Ma, J. (2003). Weak solutions of forward-backward SDE’s. Stochastic Analysis and Applications 21(3):493–514.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 2 Ma, J., Zhang, J., Zheng, Z. (2008). Weak solutions for backward stochastic differential equations, A martingale approach. The Annals of Probability 36(6):2092–2125.[Crossref], [Web of Science ®] , [Google Scholar]]. In the one-dimensional case, we further prove that the weak solution of the FBSDE is actually strong, and it is pathwisely unique. Our approach does not use the well-known Yamada–Watanabe Theorem, but instead follows the idea of Krylov for SDEs with measurable coefficients.     

Global Existence for a Kinetic Model of Chemotaxis via Dispersion and Strichartz Estimates

We investigate further the existence of solutions to kinetic models of chemotaxis. These are nonlinear transport-scattering equations with a quadratic nonlinearity which have been used to describe the motion of bacteria since the 80's when experimental observations have shown they move by a series of ‘run and tumble’. The existence of solutions has been obtained in several papers Chalub et al. (2004 Chalub , F. A. C. C. , Markowich , P. A. , Perthame , B. , Schmeiser , C. ( 2004 ). Kinetic models for chemotaxis and their drift-diffusion limits . Monatsh. Math. 142 : 123 – 141 .[Crossref], [Web of Science ®] , [Google Scholar]), Hwang et al. (2005a Hwang , H. J. , Kang , K. , Stevens , A. ( 2005a ). Global solutions of nonlinear transport equations for chemosensitive movement . SIAM J. Math. Anal. 36 ( 4 ): 1177 – 1199 . [Google Scholar] b Hwang , H. J. , Kang , K. , Stevens , A. ( 2005b ). Drift-diffusion limits of kinetic models for chemotaxis: a generalization . Discrete Contin. Dyn. Syst. Ser. B 5 ( 2 ): 319 – 334 . [Google Scholar]) using direct and strong dispersive effects.

Here, we use the weak dispersion estimates of Castella and Perthame (1996 Castella , F. , Perthame , B. ( 1996 ). Estimations de Strichartz pour les équations de transport cinétique. [Strichartz’ estimates for kinetic transport equations.] C. R. Acad. Sci. Paris Sér. I 322 ( 6 ): 535 – 540 . [Google Scholar]) to prove global existence in various situations depending on the turning kernel. In the most difficult cases, where both the velocities before and after tumbling appear, with the known methods, only Strichartz estimates can give a result, with a smallness assumption.     

On sub-polynomial lower error bounds for quadrature of SDEs with bounded smooth coefficients

In recent work of Hairer, Hutzenthaler and Jentzen, [11 Hairer, M., Hutzenthaler, M., and Jentzen, A., 2015. Loss of regularity for Kolmogorov equations. Ann. Probab. 43:468–527.[Crossref], [Web of Science ®] , [Google Scholar]], a stochastic differential equation (SDE) with infinitely differentiable andbounded coefficients was constructed such that the Monte Carlo Euler method for approximation of the expected value of the first component of the solution at the final time converges but fails to achieve a mean square error of a polynomial rate. In this article, we show that this type of bad performance for quadrature of SDEs with infinitely differentiable and bounded coefficients is not a shortcoming of the Euler scheme in particular but can be observed in a worst case sense for every approximation method that is based on finitely many function values of the coefficients of the SDE. Even worse we show that for any sequence of Monte Carlo methods based on finitely many sequential evaluations of the coefficients and all their partial derivatives and for every arbitrarily slow convergence speed there exists a sequence of SDEs with infinitely differentiable and bounded by one coefficients such that the first-order derivatives of all diffusion coefficients are bounded by one as well and the first order derivatives of all drift coefficients are uniformly dominated by a single real-valued function and such that the corresponding sequence of mean absolute errors for approximation of the expected value of the first component of the solution at the final time can not converge to zero faster than the given speed.     

The Cauchy Problem for the Klein–Gordon–Schrödinger System in Low Dimensions Below the Energy Space

ABSTRACT

We show that the Klein–Gordon–Schrödinger system in one, two, and three dimensions has a global solution below the energy space. The proof uses the I-method recently introduced by Colliander et al. (2001 Colliander , J. , Keel , M. , Staffilani , G. , Takaoka , H. , Tao , T. ( 2001 ). Global well-posedness for Schrödinger equations with derivative . SIAM J. Math. Anal. 33 ( 3 ): 649 – 669 . [CROSSREF]  [Google Scholar]) and mixed type Strichartz estimates for the solutions of Schrödinger and Klein–Gordon equations, respectively.     

Finite Difference Approximations for Stochastic Control Systems with Delay

Abstract

This article considers the computation issues of the infinite dimensional HJB equation arising from the finite horizon optimal control problem of a general system of stochastic functional differential equations with a bounded memory treated in [2 Chang , M.H. , Pang , T. , and Pemy , M. accepted. Optimal control of functional stochastic differential equations with a bounded memory. Stochastics 80 ( 1 ): 69 – 96 . [Google Scholar]]. The finite difference scheme, using the result in [1 Barles , G. , and Souganidis , P.E. 1991 . Convergence of approximative schemes for fully nonlinear second order equations . J. Asymptotic Analysis 4 : 557 – 579 . [Google Scholar]], is obtained to approximate the viscosity solution of the infinite dimensional HJB equation. The convergence of the scheme is proved using the Banach fixed point theorem. The computational algorithm also is provided based on the scheme obtained.     

Mass-Selection in Alignment Models with Non-Deterministic Effects

In this paper we consider a kinetic model for alignment of cells or filaments with probabilistic turning. For this equation existence of solutions is known, see [6 Kang , K. , Perthame , B. , Stevens , A. , Velazquez , J. J. L. ( 2009 ). An integro- differential equation model for alignment and orientational aggregation . J. Diff Equations 246 : 1387 – 1421 . [Google Scholar]]. To understand its qualitative behavior, especially with respect to the selection of orientations and mass distributions for long times, the model is approximated by a diffusion equation in the limit of small deviations of the interactions between the cell bundles. For this new equation existence of steady states is shown. In contrast to the kinetic equation discussed in [6 Kang , K. , Perthame , B. , Stevens , A. , Velazquez , J. J. L. ( 2009 ). An integro- differential equation model for alignment and orientational aggregation . J. Diff Equations 246 : 1387 – 1421 . [Google Scholar]] with deterministic turning, where local stability of two opposite orientations was shown but no selection of mass could be observed, for the new approximating problem with probabilistic turning additionally mass selection takes place. In the limit of small diffusion, steady states can only be constructed, if the aligning masses are either equal or the total mass is concentrated in one direction. By numerical simulations we tested stability of these steady states and for situations with 4 symmetrically placed smooth distributions of alignment. Convergence of the numerical code was proved. The simulations suggest, that only the 2- and the 1-peak steady states can be stable, whereas the 4 peak steady state is always unstable. We conjecture that the noise in the system is responsible for this final selection of masses. There exist other steady states with an arbitrary number of aligned bundles of cells or filaments, but we suspect that, as numerically shown for the 4 peak case, these multi-peak states are all unstable.     

Non–existence of theta–shaped self–similarly shrinking networks moving by curvature

We prove that there are no networks homeomorphic to the Greek “Theta” letter (a double cell) embedded in the plane with two triple junctions with angles of 120 degrees, such that under the motion by curvature they are self–similarly shrinking.

This fact completes the classification of the self–similarly shrinking networks in the plane with at most two triple junctions, see [5 Chen, X., Guo, J.-S. (2007). Self-similar solutions of a 2-D multiple-phase curvature flow. Phys. D. 229(1):22–34.[Crossref], [Web of Science ®] , [Google Scholar], 10 Hättenschweiler, J. (2007). Mean curvature flow of networks with triple junctions in the plane. Master’s thesis. ETH Zürich. [Google Scholar], 25 Schnürer, O. C., Azouani, A., Georgi, M., Hell, J., Nihar, J., Koeller, A., Marxen, T., Ritthaler, S., Sáez, M., Schulze, F., Smith, B. (2011). Evolution of convex lens–shaped networks under the curve shortening flow. Trans. Am. Math. Soc. 363(5):2265–2294.[Crossref], [Web of Science ®] , [Google Scholar], 2 Baldi, P., Haus, E., Mantegazza, C. (2016). Networks self-similarly moving by curvature with two triple junctions. Networks self-similarly moving by curvature with two triple junctions. 28(2017):323–338. [Google Scholar]].     

Standard Koszul standardly stratified algebras

In this paper, we prove that every standard Koszul (not necessarily graded) standardly stratified algebra is also Koszul. This generalizes a similar result of [3 Ágoston, I., Dlab, V., Lukács, E. (2003). Quasi-hereditary extension algebras. Algebras Represent. Theory 6:97–117.[Crossref], [Web of Science ®] , [Google Scholar]] on quasi-hereditary algebras.     

Backward Uniqueness for the Heat Equation in Cones

It was shown in [4 Escauriaza , L. , Seregin , G. , ?verák , V. ( 2003 ). L _{3, ∞}-solutions of the Navier–Stokes equations and backward uniqueness . Uspekhi Mat. Nauk 58:3–44 (in Russian); translation in Russian Math. Surveys 58 : 211 – 250 .[Crossref], [Web of Science ®] , [Google Scholar], 14 Seregin , G. , ?verák , V. ( 2002 ). The Navier–Stokes equations and backward uniqueness. Nonlinear problems in mathematical physics and related topics, II . In : Int. Math. Ser. (N.Y.) . Vol. 2 . New York : Kluwer/Plenum , pp. 353 – 366 . [Google Scholar]] that a bounded solution of the heat equation in a half-space which becomes zero at some time must be identically zero, even though no assumptions are made on the boundary values of the solutions. In a recent example, Luis Escauriaza showed that this statement fails if the half-space is replaced by cones with opening angle smaller than 90°. Here we show that the result remains true for cones with opening angle larger than 110°.     

Splitting of operations for alternative and Malcev structures

In this paper, we define pre-Malcev algebras and alternative quadri-algebras and prove that they generalize pre-Lie algebras and quadri-algebras, respectively, to the alternative setting. We use the results and techniques from [4 Bai, C., Bellier, O., Guo, L., Ni, X. (2013). Splitting of operations, Manin products, and Rota-Baxter operators. Int. Math. Res. Not. 2013(3):485–524. [Google Scholar], 14 Gubarev, V. Y., Kolesnikov, P. S. (2013). Embedding of dendriform algebras into Rota-Baxter algebras. Cent. Eur. J. Math. 11(2):226–245.[Crossref], [Web of Science ®] , [Google Scholar]] to discuss and give explicit computations of different constructions in terms of bimodules, splitting of operations, and Rota–Baxter operators.     

Calderón problem for connections

In this paper, we consider the problem of identifying a connection ? on a vector bundle up to gauge equivalence from the Dirichlet-to-Neumann map of the connection Laplacian ?*? over conformally transversally anisotropic (CTA) manifolds. This was proved in [9 Dos Santos Ferreira, D., Kenig, C., Salo, M., Uhlmann, G. (2009). Limiting Carleman weights and anisotropic inverse problems. Invent. Math. 178:119–171.[Crossref], [Web of Science ®] , [Google Scholar]] for line bundles in the case of the transversal manifold being simple—we generalize this result to the case where the transversal manifold only has an injective ray transform. Moreover, the construction of suitable Gaussian beam solutions on vector bundles is given for the case of the connection Laplacian and a potential, following the works of [11 Dos Santos Ferreira, D., Kurylev, Y., Lassas, M., Salo, M. (2016). The Calderón problem in transversally anisotropic geometries. J. Eur. Math. Soc., 18:2579–2626.[Crossref], [Web of Science ®] , [Google Scholar]]. This in turn enables us to construct the Complex Geometrical Optics (CGO) solutions and prove our main uniqueness result. We also reduce the problem to a new non-abelian X-ray transform for the case of simple transversal manifolds and higher rank vector bundles. Finally, we prove the recovery of a flat connection in general from the DN map, up to gauge equivalence, using an argument relating the Cauchy data of the connection Laplacian and the holonomy.     

Unifying strongly clean power series rings

It is unknown whether a power series ring over a strongly clean ring is, itself, always strongly clean. Although a number of authors have shown that the above statement is true in certain special cases, the problem remains open, in general. In this article, we look at a class of strongly clean rings, which we call the optimally clean rings, over which power series are strongly clean. This condition is motivated by work in [10 Diesl, A. J., Dorsey, T. J., Garg, S., Khurana, D. (2012). A note on completeness and strongly clean rings, preprint. [Google Scholar]] and [11 Diesl, A. J., Dorsey, T. J., Iberkleid, W., LaFuente-Rodriguez, R., McGovern, W (2013). Strongly clean triangular matrices over abelian rings, preprint. [Google Scholar]]. We explore the properties of optimally clean rings and provide many examples, highlighting the role that this new class of rings plays in investigating the question of strongly clean power series.     

Local and Global Existence for an Aggregation Equation

The purpose of this work is to develop a satisfactory existence theory for a general class of aggregation equations. An aggregation equation is a non-linear, non-local partial differential equation that is a regularization of a backward diffusion process. The non-locality arises via convolution with a potential. Depending on how regular the potential is, we prove either local or global existence for the solutions. Aggregation equations have been used recently to model the dynamics of populations in which the individuals attract each other (Bodnar and Velazquez, 2005 Bodnar , M. , Velazquez , J. J. L. ( 2005 ). Derivation of macroscopic equations for individual cell-based models: a formal approach . Math. Methods Appl. Sci. 28 ( 15 ): 1757 – 1779 .[Crossref], [Web of Science ®] , [Google Scholar]; Holm and Putkaradze, 2005 Holm , D. D. , Putkaradze , V. ( 2005 ). Aggregation of finite size particles with variable mobility . Phys. Rev. Lett. 95 : 226106 . [Google Scholar]; Mogilner and Edelstein-Keshet, 1999 Mogilner , A. , Edelstein-Keshet , L. ( 1999 ). A non-local model for a swarm . J. Math. Biol. 38 ( 6 ): 534 – 570 .[Crossref], [Web of Science ®] , [Google Scholar]; Morale et al., 2005 Morale , D. , Capasso , V. , Oelschläger , K. ( 2005 ). An interacting particle system modelling aggregation behavior: from individuals to populations . J. Math. Biol. 50 ( 1 ): 49 – 66 .[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]; Topaz and Bertozzi, 2004 Topaz , C. M. , Bertozzi , A. L. ( 2004 ). Swarming patterns in a two-dimensional kinematic model for biological groups . SIAM J. Appl. Math. 65 ( 1 ): 152 – 174 (electronic) .[Crossref], [Web of Science ®] , [Google Scholar]; Topaz et al., 2006 Topaz , C. M. , Bertozzi , A. L. , Lewis , M. A. ( 2006 ). A nonlocal continuum model for biological aggregation . Bull. Math. Biol. 68 ( 7 ): 1601 – 1623 .[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

The Stochastic Reflection Problem in Hilbert Spaces

We construct a Markov process X associated with the stochastic reflection problem on a closed convex subset with non empty interior and smooth boundary in a Hilbert space, as a solution to a random convex control problem. The transition semigroup corresponding to X is exactly that defined by the Kolmogorov equation with Neumann homogeneous boundary conditions (see [3 Barbu , V. , Da Prato , G. , Tubaro , L. ( 2011 ). Kolmogorov equation associated to the stochastic reflection problem on a smooth convex set of a Hilbert space II . Ann. Inst. H. Poincaré 4 : 699 – 724 .[Crossref] , [Google Scholar]]).     

Convergence of the Structure Function of a Multifractal Random Walk in a Mixed Asymptotic Setting

Some asymptotic properties of a Brownian motion in multifractal time, also called multifractal random walk, are established. We show the almost sure and L ¹ convergence of its structure function. This is an issue directly connected to the scale invariance and multifractal property of the sample paths. We place ourselves in a mixed asymptotic setting where both the observation length and the sampling frequency may go together to infinity at different rates. The results we obtain are similar to the ones that were given by Ossiander and Waymire [19 Ossiander , M. , and Waymire , E.C. 2000 . Statistical estimation for multiplicative cascades . Ann. Stat. 28 : 1533 – 1560 .[Crossref], [Web of Science ®] , [Google Scholar]] and Bacry et al. [1 Bacry , E. , Gloter , A. , Hoffmann , M. , and Muzy , J.F. Multifractal analysis in a mixed asymptotic framework . Ann. Appl. Prob. (to appear) . [Google Scholar]] in the simpler framework of Mandelbrot cascades.     

A Note on the Rate of Complete Convergence for Weighted Sums of Arrays of Banach Space Valued Random Elements

A rate of complete convergence for weighted sums of arrays of rowwise independent Banach space valued random elements was obtained by Ahmed et al. [1 Ahmed , S.E. , Giuliano Antonini , R. , and Volodin , A. 2002 . On the rate of complete convergence for weighted sums of arrays of Banach space valued random elements with application to moving average processes . Statist. Probab. Lett. 58 : 185 – 194 . [Google Scholar]]. Recently, Sung and Volodin [2 Sung , S.H. , and Volodin , A.I. 2006. On the rate of complete convergence for weighted sums of arrays of random elements. J. Korean Math. Soc. 43:815–828.[Crossref], [Web of Science ®] , [Google Scholar]], Chen et al. [3 Chen , P. , Sung , S.H. , and Volodin , A.I. 2006 . Rate of complete convergence for arrays of Banach space valued random elements . Siberian Adv. Math. 16 : 1 – 14 . [Google Scholar]], and Kim and Ko [4 Kim , T.S. , and Ko , M.H. 2008 . On the complete convergence of moving average process with Banach space valued random elements . J. Theor. Probab. 21 : 431 – 436 . [Google Scholar]] solved an open question posed by Ahmed et al. In this article, we improve and complement the result of Ahmed et al. The method used in this article is simpler than those in Ahmed et al., Sung and Volodin, Chen et al., and Kim and Ko.     

GRADINGS OF SIMPLE JORDAN ALGEBRAS AND THEIR RELATION TO THE GRADINGS OF SIMPLE ASSOCIATIVE ALGEBRAS

In this paper we describe all group gradings of the simple Jordan algebra of a non-degenerate symmetric form on a vector space over a field of characteristic different from 2. If we use the notion of the Clifford algebra, then we are able to recover some of the gradings on matrix algebras obtained in an entirely different way in [BSZ] Bahturin, Y., Seghal, S. and Zaicev, M. in press. Group Gradings of Associative Algebras. J. Algebra, [Web of Science ®] , [Google Scholar].