A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation

It is known that every skew-polynomial ring with generating set X and binomial relations in the sense of Gateva-Ivanova (Trans. Amer. Math. Soc. 343 (1994) 203) is an Artin-Schelter regular domain of global dimension |X|. Moreover, every such ring gives rise to a non-degenerate unitary set-theoretical solution of the quantum Yang-Baxter equation which fixes the diagonal of X². Gateva-Ivanova's conjecture (Talk at the International Algebra Conference, Miskolc, Hungary, 1996) states that conversely, every such solution R comes from a skew-polynomial ring with binomial relations. An equivalent conjecture (Duke Math. J. 100 (1999) 169) says that the underlying set X is R-decomposable. We prove these conjectures and construct an indecomposable solution R with |X|=∞ which shows that an extension to infinite X is false.     

An analogue of the classical Yang-Baxter equation for general algebraic structures

In this paper, we introduce an analogue of the classical Yang-Baxter equation for general algebraic structures (including nonassociative algebras and vertex operator algebras). Moreover, we give several ways to construct solutions of the equation in case the algebraic structure is graded by an abelian group. In particular, we construct some unitary nondegenerate trignometric solutions of the classical Yang-Baxter equation for affine Lie algebras by means of our equation.This paper was written while the author was a graduate student in the Department of Mathematics, Rutgers University, New Brunswick, New Jersey 08903, U.S.A.     

Braces and symmetric groups with special conditions

We study left braces satisfying special conditions, or identities. We are particularly interested in the impact of conditions like Raut and lri on the properties of the left brace and its associated solution of the Yang–Baxter equation (YBE). We show that the solution $(G,r_G)$ of the YBE associated to the structure group $G=G(X,r)$ (with the natural structure of a left brace) of a nontrivial solution $(X,r)$ of the YBE has multipermutation level 2 if and only if G satisfies lri. It is known that every (left) brace with lri satisfies condition Raut. We prove that for a graded Jacobson radical ring with no elements of additive order two the conditions lri and Raut are equivalent. We construct a finite two-sided brace with condition Raut which does not satisfy lri. We show that a finitely generated two-sided brace which satisfies lri has a finite multipermutation level which is bounded by the number of its generators.     

On the defining relations for generalized q-Schur algebras

We show that the defining relations needed to describe a generalized q-Schur algebra as a quotient of a quantized enveloping algebra are determined completely by the defining ideal of a certain finite affine variety, the points of which correspond bijectively to the set of weights. This explains, unifies, and extends previous results.     

On the existence and regularity of solutions of a quasilinear mixed equation of Leray-Lions type

Our aim in this article is to study the existence and regularity of solutions of a quasilinear elliptic-hyperbolic equation. This equation appears in the design of blade cascade profiles. This leads to an inverse problem for designing two-dimensional channels with prescribed velocity distributions along channel walls. The governing equation is obtained by transformation of the physical domain to the plane defined by the streamlines and the potential lines of fluid. We establish an existence and regularity result of solutions for a more general framework which includes our physical problem as a specific example.     

Semi-analytic treatment of the three-dimensional Poisson equation via a Galerkin BIE method

A systematic treatment of the three-dimensional Poisson equation via singular and hypersingular boundary integral equation techniques is investigated in the context of a Galerkin approximation. Developed to conveniently deal with domain integrals without a volume-fitted mesh, the proposed method initially converts domain integrals featuring the Newton potential and its gradient into equivalent surface integrals. Then, the resulting boundary integrals are evaluated by means of well-established cubature methods. In this transformation, weakly-singular domain integrals, defined over simply- or multiply-connected domains with Lipschitz boundaries, are rigorously converted into weakly-singular surface integrals. Combined with the semi-analytic integration approach developed for potential problems to accurately calculate singular and hypersingular Galerkin surface integrals, this technique can be employed to effectively deal with mixed boundary-value problems without the need to partition the underlying domain into volume cells. Sample problems are included to validate the proposed approach.     

Bounded-from-below solutions of the Hamilton-Jacobi equation for optimal control problems with exit times: vanishing lagrangians,eikonal equations,and shape-from-shading

We study the Hamilton-Jacobi equation for undiscounted exit time control problems with general nonnegative Lagrangians using the dynamic programming approach. We prove theorems characterizing the value function as the unique bounded-from-below viscosity solution of the Hamilton-Jacobi equation that is null on the target. The result applies to problems with the property that all trajectories satisfying a certain integral condition must stay in a bounded set. We allow problems for which the Lagrangian is not uniformly bounded below by positive constants, in which the hypotheses of the known uniqueness results for Hamilton-Jacobi equations are not satisfied. We apply our theorems to eikonal equations from geometric optics, shape-from-shading equations from image processing, and variants of the Fuller Problem.     

Uniform stability estimates for solutions and their gradients to the Boltzmann equation: A unified approach

As to the Cauchy problem for the spatially inhomogeneous Boltzmann equation with cut-off, we prove uniform stability estimates for solutions and their gradients in a unified and elementary way.     

Existence of solutions to Hamilton-Jacobi functional differential equations

This paper deals with the Cauchy problem for nonlinear first order partial functional differential equations. The unknown function is the functional variable in the equation and the partial derivatives appear in a classical sense. A theorem on the local existence of a generalized solution is proved. The initial problem is transformed into a system of functional integral equations for an unknown function and for their partial derivatives with respect to spatial variables. The existence of solutions of this system is proved by using a method of successive approximations. A method of bicharacteristics and integral inequalities are applied.     

The effects of indefinite nonlinear boundary conditions on the structure of the positive solutions set of a logistic equation

We investigate a semilinear elliptic equation with a logistic nonlinearity and an indefinite nonlinear boundary condition, both depending on a parameter λ. Overall, we analyze the effect of the indefinite nonlinear boundary condition on the structure of the positive solutions set. Based on variational and bifurcation techniques, our main results establish the existence of three nontrivial non-negative solutions for some values of λ, as well as their asymptotic behavior. These results suggest that the positive solutions set contains an S-shaped component in some case, as well as a combination of a C-shaped and an S-shaped components in another case.     

Asymptotically self-similar solutions of the damped wave equation

We consider the damped hyperbolic equation

(1)     

Finite-gap elliptic solutions of the KdV equation

A method is proposed for constructing finite-gap elliptic inx or/and int solutions of the Korteweg-de Vries equation. Dynamics of poles for two-gap elliptic solutions of the KdV equation are considered. Numerous examples of new elliptic solutions of the KdV equation are given.Dedicated to the memory of J.-L. Verdier     

Polynomial identities and noncommutative versal torsors

To any cleft Hopf Galois object, i.e., any algebra obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle α, we attach two “universal algebras” and . The algebra is obtained by twisting the multiplication of H with the most general two-cocycle σ formally cohomologous to α. The cocycle σ takes values in the field of rational functions on H. By construction, is a cleft H-Galois extension of a “big” commutative algebra . Any “form” of can be obtained from by a specialization of and vice versa. If the algebra is simple, then is an Azumaya algebra with center . The algebra is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of are satisfied. We construct an embedding of into ; this embedding maps the center of into when the algebra is simple. In this case, under an additional assumption, , thus turning into a central localization of . We completely work out these constructions in the case of the four-dimensional Sweedler algebra.     

Approximate the Fokker-Planck equation by a class of nonlocal dispersal problems

This paper is concerned with an inhomogeneous nonlocal dispersal equation. We study the limit of the re-scaled problem of this nonlocal operator and prove that the solutions of the re-scaled equation converge to a solution of the Fokker-Planck equation uniformly. We then analyze the nonlocal dispersal equation of an inhomogeneous diffusion kernel and find that the heterogeneity in the classical diffusion term coincides with the inhomogeneous kernel when the scaling parameter goes to zero.     

On the quiver-theoretical quantum Yang–Baxter equation

Quivers over a fixed base set form a monoidal category with tensor product given by pullback. The quantum Yang–Baxter equation, or more properly the braid equation, is investigated in this setting. A solution of the braid equation in this category is called a “solution” for short. Results of Etingof–Schedler–Soloviev, Lu–Yan–Zhu and Takeuchi on the set-theoretical quantum Yang–Baxter equation are generalized to the context of quivers, with groupoids playing the role of groups. The notion of “braided groupoid” is introduced. Braided groupoids are solutions and are characterized in terms of bijective 1-cocycles. The structure groupoid of a non-degenerate solution is defined; it is shown that it is a braided groupoid. The reduced structure groupoid of a non-degenerate solution is also defined. Non-degenerate solutions are classified in terms of representations of matched pairs of groupoids. By linearization we construct star-triangular face models and realize them as modules over quasitriangular quantum groupoids introduced in papers by M. Aguiar, S. Natale and the author.     

Generalizing realizability and Heyting models for constructive set theory

This article presents a common generalization of the two main methods for obtaining class models of constructive set theory. Heyting models are a generalization of the Boolean models for classical set theory which are a variant of forcing, while realizability is a decidedly constructive method that has first been developed for number theory by Kleene and was later very fruitfully adapted to constructive set theory. In order to achieve the generalization, a new kind of structure (applicative topologies) is introduced, which contains both elements of formal topology and applicative structures. This approach not only deepens the understanding of class models and leads to more efficiency in proofs about these kinds of models, but also makes it possible to prove new results about the two special cases that were not known before and to construct new models.     

Supremum principles for the higher-order derivatives of solutions to the Dirichlet problem for parabolic equations without compatibility conditions between the data

The Dirichlet problem is considered for the heat equation ut=auxx, a>0 a constant, for (x,t)∈[0,1]×[0,T], without assuming any compatibility condition between initial and boundary data at the corner points (0,0) and (1,0). Under some smoothness restrictions on the data (stricter than those required by the classical maximum principle), weak and strong supremum and infimum principles are established for the higher-order derivatives, ut and uxx, of the bounded classical solutions. When compatibility conditions of zero order are satisfied (i.e., initial and boundary data coincide at the corner points), these principles allow to estimate the higher-order derivatives of classical solutions uniformly from below and above on the entire domain, except that at the two corner points. When compatibility conditions of the second order are satisfied (i.e., classical solutions belong to on the closed domain), the results of the paper are a direct consequence of the classical maximum and minimum principles applied to the higher-order derivatives. The classical principles for the solutions to the Dirichlet problem with compatibility conditions are generalized to the case of the same problem without any compatibility condition. The Dirichlet problem without compatibility conditions is then considered for general linear one-dimensional parabolic equations. The previous results as well as some new properties of the corresponding Green functions derived here allow to establish uniformL¹-estimates for the higher-order derivatives of the bounded classical solutions to the general problem.     

Positive solutions of the Dirichlet problem for the prescribed mean curvature equation

We discuss existence and multiplicity of positive solutions of the prescribed mean curvature problem