Uniform Stability Estimates for Constant-Coefficient Symmetric Hyperbolic Boundary Value Problems

Answering a question left open in Métivier and Zumbrun (2005 Métivier , G. , Zumbrun , K. ( 2005 ). Variable multiplicities, hyperbolic boundary value problems for symmetric systems with variable multiplicities . J. Diff. Eq. 211 ( 1 ): 61 – 134 . [Google Scholar]), we show for general symmetric hyperbolic boundary problems with constant coefficients, including in particular systems with characteristics of variable multiplicity, that the uniform Lopatinski condition implies strong L ² well-posedness, with no further structural assumptions. The result applies, more generally, to any system that is strongly L ² well-posed for at least one boundary condition. The proof is completely elementary, avoiding reference to Kreiss symmetrizers or other specific techniques. On the other hand, it is specific to the constant-coefficient case; at least, it does not translate in an obvious way to the variable-coefficient case. The result in the hyperbolic case is derived from a more general principle that can be applied, for example, to parabolic or partially parabolic problems like the Navier–Stokes or viscous MHD equations linearized about a constant state or even a viscous shock.     

Gauss Decomposition with Prescribed Semisimple Part in Quadratic Groups

Quadratic groups, whose definitions depend on form parameters, contain the orthogonal groups, symplectic groups, classical unitary groups and all the classical groups of Dieudonné [4 Dieudonné , J. ( 1963 ). La Géométrie des Groupes Classiques . Berlin , Heidelberg , New York : Springer . [Google Scholar]] as well as those of Bruhat and Tits [2 Bruhat , F. , Tits , J. ( 1972 ). Groupes réductifs sur un corps local I: Donneés radicielles valuées . Publ. Math. IHES 41 : 5 – 251 . [Google Scholar]]. Gauss decomposition with prescribed semisimple part in these groups is presented. As an application, the analog of a conjecture of Thompson is also studied for these groups.     

Scattering Theory Below Energy for a Class of Hartree Type Equations

We prove the global existence and scattering for the Hartree-type equation in H ^s (?³) the low regularity space s < 1. We follow the ideas in Colliander et al. (2004 Colliander , J. , Keel , M. , Staffilani , G. , Takaoka , H. , Tao , T. ( 2004 ). Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on ?³ . Comm. Pure Appl. Math. 57 : 987 – 1014 .[Crossref], [Web of Science ®] , [Google Scholar]) to the Hartree-type nonlinearity, and also develop the theory of the classical multilinear operator modifying the L ^p estimate in Coifman and Meyer (1978 Coifman , R. , Meyer , Y. ( 1978 ). Au delá des opérateurs pseudo-differentiel . Astérisque, Société Mathématique de France 57 . [Google Scholar]).     

Uniqueness Criteria for the Adjoint Equation in State-Constrained Elliptic Optimal Control

The article considers linear elliptic equations with regular Borel measures as inhomogeneity. Such equations frequently appear in state-constrained optimal control problems. By a counter example of Serrin [18 J. Serrin ( 1964 ). Pathological solutions of elliptic differential equations . Ann. Scuola Norm. Sup. Pisa Cl. Sci. 18 : 385 – 388 . [Google Scholar]], it is known that, in the presence of non-smooth data, a standard weak formulation does not ensure uniqueness for such equations. Therefore several notions of solution have been developed that guarantee uniqueness. In this note, we compare different definitions of solutions, namely the ones of Stampacchia [19 G. Stampacchia ( 1965 ). Le probléme de Dirichlet pour les équations elliptiques du second ordre à coéffcients discontinus . Ann. Inst. Fourier 15 : 189 – 258 .[Crossref] , [Google Scholar]] and Boccardo-Galouët [4 L. Boccardo and T. Gallouët ( 1989 ). Nonlinear elliptic and parabolic equations involving measure data . J. Func. Anal. 87 : 149 – 169 .[Crossref], [Web of Science ®] , [Google Scholar]] and the two notions of solutions of [2 J.-J. Alibert and J.-P. Raymond ( 1997 ). Boundary control of semilinear elliptic equations with discontinuous leading coefficients and unbounded controls . Numer. Func. Anal. Optim. 18 : 235 – 250 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 7 E. Casas (1993). Boundary control of semilinear elliptic equations with pointwise state constraints. SIAM J. Control Optim. 31:993–1006.[Crossref], [Web of Science ®] , [Google Scholar]], and show that they are equivalent. As side results, we reformulate the solution in the sense of [19 G. Stampacchia ( 1965 ). Le probléme de Dirichlet pour les équations elliptiques du second ordre à coéffcients discontinus . Ann. Inst. Fourier 15 : 189 – 258 .[Crossref] , [Google Scholar]], and prove the existence of solutions in the sense of [2 J.-J. Alibert and J.-P. Raymond ( 1997 ). Boundary control of semilinear elliptic equations with discontinuous leading coefficients and unbounded controls . Numer. Func. Anal. Optim. 18 : 235 – 250 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 4 L. Boccardo and T. Gallouët ( 1989 ). Nonlinear elliptic and parabolic equations involving measure data . J. Func. Anal. 87 : 149 – 169 .[Crossref], [Web of Science ®] , [Google Scholar], 7 E. Casas (1993). Boundary control of semilinear elliptic equations with pointwise state constraints. SIAM J. Control Optim. 31:993–1006.[Crossref], [Web of Science ®] , [Google Scholar]] in case of mixed boundary conditions.     

On the Halphen transform of algebraic space curves

The Halphen transform of a plane curve is the curve obtained by intersecting the tangent lines of the curve with the corresponding polar lines with respect to some conic. This transform was introduced by Halphen as a branch desingularization method in [5 Halphen, G. H. (1876). Sur une série de courbes analogues aux développées. J. Math. Pures Appl. 3e série, tome 2:87–144. [Google Scholar]] and has also been studied in [2 Coolidge, J. L. (2004). A Treatise on Algebraic Plane Curves. New York: Dover Publications, Inc., 1959, xxiv+513 pp. [Google Scholar], 8 Josse, A. (1995). Transformation d’Halphen. (French) [The Halphen transform]. Commun. Algebra 23(12):4343–4364.[Taylor & Francis Online] , [Google Scholar]]. We extend this notion to the Halphen transform of a space curve and study several of its properties (birationality, degree, rank, class, desingularization).     

The infinitesimal and the little q-Schur superalgebras

In this paper, based on the results in [8 Du, J., Gu, H.-X. (2014). A realization of the quantum supergroup U(𝔤𝔩_m|n). J. Algebra 404:60–99.[Web of Science ®] , [Google Scholar]] we give a monomial basis for q-Schur superalgebra and then a presentation for it. The presentation is different from that in [12 El Turkey, H., Kujawa, J. (2012). Presenting Schur superalgebras. Pacific J. Math., 262(2):285–316.[Crossref], [Web of Science ®] , [Google Scholar]]. Imitating [3 Cox, A. G. (1997). On some applications of infinitesimal methods to quantum groups and related algebras. Ph.D. Thesis. University of London. [Google Scholar]] and [7 Du, J., Fu, Q., Wang, J.-P. (2005). Infinitesimal quantum 𝔤𝔩_n and little q-Schur algebras. J. Algebra 287:199–233.[Crossref], [Web of Science ®] , [Google Scholar]], we define the infinitesimal and the little q-Schur superalgebras. We give a “weight idempotent presentation” for infinitesimal q-Schur superalgebras. The BLM bases and monomial bases of little q-Schur superalgebras are obtained, and dimension formulas of infinitesimal and little q-Schur superalgebras are deduced.     

Corrigendum to: “Clifford Theory of a Finite Group that Contains a Defect 0 p-Block of a Normal Subgroup”

At some point, after publication, the author realized that the proof of [3 Harris, M. E. (2013). Clifford theory of a finite group that contains a defect 0 p-block of a normal subgroup. Comm. in Alg. 41:3509–3540.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Theorem 5.2] is incorrect. This proof incorrectly adapts the proof of [1 Broué, M. (1990). Isométries parfaites, types de blocs, cégories dérivees. Aérisque 181–182:61–92. [Google Scholar], Theorem 4.8] since [3 Harris, M. E. (2013). Clifford theory of a finite group that contains a defect 0 p-block of a normal subgroup. Comm. in Alg. 41:3509–3540.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], (5.5)] is incorrect. Using the same proof outline, we correct the proof of [3 Harris, M. E. (2013). Clifford theory of a finite group that contains a defect 0 p-block of a normal subgroup. Comm. in Alg. 41:3509–3540.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], Theorem 5.2].     

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 Power-Associative Nilalgebras of Dimension N and Nilindex N-1

Whether or not a finite-dimensional, commutative, power-associative nilalgebra is solvable is a well-known open problem. In this paper, we describe commutative, power-associative nilalgebras of dimension n ≥ 6 and nilindex n ? 1 based on the condition that n ? 4 ≤ dim 𝔄³ ≤ n ? 3. This paper is a continuation of [10 Fernadez , J. C. G. , Garcia , C. I. , Montoya , M. L. R. ( 2013 ). On power-associative nilalgebras of nilindex and dimension n . Revista Colombiana de Matemáticas 47 : 1 – 11 . [Google Scholar]], where we describe commutative power-associative nilalgebras of dimension and nilindex n. We observe that the Jordan case was obtained by L. Elgueta and A. Suazo in [2 Elgueta , L. , Suazo , A. ( 2002 ). Jordan nilalgebras of nilindex n and dimension n + 1 . Comm. Algebra 30 : 5547 – 5561 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]].     

Localization and Catenarity in Strongly Graded Rings

The objective of this article is the study of localization and catenarity in strongly G-graded rings with Noetherian base ring, where G is a finitely generated, nilpotent and torsionfree group. We generalize some results of Guédénon (2000 Guédénon , T. ( 2000 ). Anneaux munis d'une action de groupe superrésoluble . Algebras Groups and Geometries 17 : 17 – 48 . [CSA]  [Google Scholar]). It follows from Corollary 2.6 that if G is free Abelian of finite rank and A is a commutative strongly G-graded ring with base ring a Noetherian regular integral domain, then A is a Noetherian regular integral domain.     

Semilocal Convergence of Steffensen-Type Algorithms for Solving Nonlinear Equations

In this article, we provide a semilocal analysis for the Steffensen-type method (STTM) for solving nonlinear equations in a Banach space setting using recurrence relations. Numerical examples to validate our main results are also provided in this study to show that STTM is faster than other methods ([7 I. K. Argyros , J. Ezquerro , J. M. Gutiérrez , M. Hernández , and S. Hilout ( 2011 ). On the semilocal convergence of efficient Chebyshev-Secant-type methods . J. Comput. Appl. Math. 235 : 3195 – 3206 .[Crossref], [Web of Science ®] , [Google Scholar], 13 J. A. Ezquerro and M. A. Hernández ( 2009 ). An optimization of Chebyshev's method . J. Complexity 25 : 343 – 361 .[Crossref], [Web of Science ®] , [Google Scholar]]) using similar convergence conditions.     

The Cauchy problem for weakly hyperbolic systems

We consider the well-posedness of the Cauchy problem in Gevrey spaces for N×N first-order weakly hyperbolic systems. The question is to know whether the general results of Bron?tein [1 Bron?tein, M.D. (1982). The Cauchy Problem for hyperbolic operators with characteristic of variable multiplicity. Trudy Moskov. Mat. Obshch. 41:83–99. [Translation: Trans. Moscow. Math. Soc. 41:87–103]. [Google Scholar]] and Kajitani [9 Kajitani, K. (1986). The Cauchy Problem for Uniformly Diagonalizable Hyperbolic Systems in Gevrey Classes, in Hyperbolic Equations and Related Topics. Proceedings of the Taniguchi International Symposium, Katata and Kyoto, 1984. Boston: Academic Press, pp. 101–123. [Google Scholar]] can be improved when the coefficients depend only on time and are smooth, as it has been done for the scalar wave equation in [3 Colombini, F., Jannelli, E., Spagnolo, S. (1983). Well-posedness in the Gevrey classes of the Cauchy problem for a nonstrictly hyperbolic equation with coefficients depending on time. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 10:291–312. [Google Scholar]]. The answer is no for general systems, and yes when the system is uniformly diagonalizable: in this case, we show that the Cauchy problem is well posed in all Gevrey classes G^s when the coefficients are C^∞. Moreover, for 2×2 systems and some other special cases, we prove that the Cauchy problem is well posed in G^s for s<1+k when the coefficients are C^k, which is sharp following the counterexamples of Tarama [12 Tarama, S. (1994). Une note sur les Systèmes Hyperboliques Uniformément Diagonalisables. Mem. Fac. Eng. Kyoto Univ. 56:9–18. [Google Scholar]]. The main new ingredient is the construction, for all hyperbolic matrix A, of a family of approximate symmetrizers, S_𝜀, the coefficients of which are polynomials of 𝜀 and the coefficients of A and A*.     

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°.     

Decomposition of Order Statistics of Semimartingales Using Local Times

Given a finite collection of continuous semimartingales, a semimartingale decomposition of the corresponding ranked (order-statistics) processes was derived recently in [1 Banner , A.D. , and Ghomrasni , R. 2008 . Local times of ranked continuous semimartingales . Stochastic Processes and Applications 118 : 1244 – 1253 . [Google Scholar]]. In this paper, we obtain a more general result for semimartingales (not necessarily continuous) using a simpler approach. Furthermore, we also give a generalization of Ouknine [7 Ouknine , Y. 1988 . Généralisation d'un lemme de S. Nakao et applications . Stochastics 23 : 149 – 157 .[Taylor & Francis Online] , [Google Scholar], 8 Ouknine , Y. 1990 . Temps local du produit et du sup de deux semimartingales . Séminaire de Probabilités XXIV, 1988/89 . Lecture Notes in Mathematics , Vol. 1426 , pp. 477 – 479 . [Google Scholar]] and Yan's [11 Yan , J.A. 1985 . A formula for local times of semimartingales . Northeast. Math. J. 1 : 138 – 140 . [Google Scholar]] formula for local times of ranked processes.     

PROJECTIVITY AND FLATNESS OF A MODULE OVER THE SUBRING OF INVARIANTS

Let k be a field and H a Hopf k-algebra with bijective antipode, R an H-module algebra over k and A = R#H the associated smash product. The fixed subring of R under H is denoted by S. Let P be an R#H-module. Thus P is an S-module. The aim of this paper is to study the projectivity of P as a module over S. We get a generalization of some results of J.J. Garcia and Angel Del Rio [4] Garcia, J. J. and Del Rio, A. 1995. On Flatness and Projectivity of a Ring as a Module Over a Fixed Subring. Mathem. Scandin., 76: 179–192.  [Google Scholar] of Ida Doraiswamy [8] Doraiswamy, I. 1982. Projectivity of Modules Over Rings with Suitable Group Action. Comm. Algebra, 10(8): 787–795. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar] and of ours [[7] Guédénon, T. 1997. Algèbre Homologique Dans la Catégorie Mod_(R#U(g)). J. Algebra, 197(2): 584–614.  [Google Scholar], section 5].     

Dominance and Transmissions in Supertropical Valuation Theory

This article is a sequel of [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar]], where we defined supervaluations on a commutative semiring R and studied a dominance relation ? ≥ ψ between supervaluations ? and ψ on R, aiming at an enrichment of the algebraic tool box for use in tropical geometry.

A supervaluation ?: R → U is a multiplicative map from R to a supertropical semiring U, cf. [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar]], [7 Izhakian , Z. , Rowen , L. ( 2011 ). Supertropical matrix algebra . Israel J. Math. 182 ( 1 ): 383 – 424 .[Crossref], [Web of Science ®] , [Google Scholar]], [8 Izhakian , Z. , Rowen , L. ( 2010 ). Supertropical polynomials and resultants . J. Alg. 324 : 1860 – 1886 . (Preprint at arXiv:0902.2155.) [Crossref], [Web of Science ®] , [Google Scholar]], [5 Izhakian , Z. , Knebusch , M. , Rowen , L. Supertropical monoids: Basics and canonical factorization . Preprint at arXiv:1108.1880 . [Google Scholar]], [9 Maclane , S. ( 1998 ). Categories for the Working Mathemtician. , 4th ed. Springer Vereag . [Google Scholar]], with further properties, which mean that ? is a sort of refinement, or covering, of an m-valuation (= monoid valuation) v: R → M. In the most important case, that R is a ring, m-valuations constitute a mild generalization of valuations in the sense of Bourbaki [1 Bourbaki , N. Algèbre Commutative VI, §3 No. 1 . [Google Scholar]], while ? ≥ ψ means that ψ: R → V is a sort of coarsening of the supervaluation ?. If ?(R) generates the semiring U, then ? ≥ ψ iff there exists a “transmission” α: U → V with ψ = α ○ ?.

Transmissions are multiplicative maps with further properties, cf. [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar], Section 5]. Every semiring homomorphism α: U → V is a transmission, but there are others which lack additivity, and this causes a major difficulty. In the main body of the article we study surjective transmissions via equivalence relations on supertropical semirings. We put special emphasis on homomorphic equivalence relations. Even those are often much more complicated than congruences by ideals in usual commutative algebra.