Related papers: Normal forms of parabolic logarithmic transseries
Many authors studied numeric algorithms for solving the linear systems of the pentadiagonal type. The well-known Fast Pentadiagonal System Solver algorithm is an example of such algorithms. The current article are described new numeric and…
This note documents the specification of normal forms in cubical type theory. The definition is already present in the proof of normalization for cubical type theory, but we present it in a more traditional style explicitly for reference.
In this paper, we study existence and regularity for solutions to parabolic equations having a superlinear lower order term depending on both the solution and its gradient. Two different situations are analyzed. On the one hand, we assume…
We propose a globally convergent computational technique for the nonlinear inverse problem of reconstructing the zero-order coefficient in a parabolic equation using partial boundary data. This technique is called the "reduced dimensional…
In the present paper, we establish sharp Sobolev estimates for solutions of fully nonlinear parabolic equations, under minimal, asymptotic, assumptions on the governing operator. In particular, we prove that solutions are in…
Generalizations of linear numeration systems in which the set of natural numbers is recognizable by finite automata are obtained by describing an arbitrary infinite regular language following the lexicographic ordering. For these systems of…
This is an attempt of a comprehensive survey of the results in which estimates of the norms of linear means of multiple Fourier series, the Lebesgue constants, are obtained by means of estimating the Fourier transform of a function…
Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue:…
We show that given a finitely generated standard-graded algebra of dimension $d$ over an infinite field, its graded Noether normalizations obey a certain kind of `generic exchange', allowing one to pass between any two of them in at most…
In this article we study a renormalization scheme with which we find all semi-regular continued fractions of a number in a natural way. We define two maps, T_slow and T_fast: these maps are defined for (x,y) in [0,1], where x is the number…
We discuss the local behaviour of vector fields in the plane $\R^2$ around a regular singular point, using recently introduced reduced normal forms, i.e. Poincar\'e and Lie renormalized forms [{\it Lett. Math. Phys.} {\bf 42} (1997),…
In part I and II of this series of papers all elements have been introduced to extend, to two loops, the set of renormalization procedures which are needed in describing the properties of a spontaneously broken gauge theory. In this paper,…
Our goal is to finally settle the persistent problem in Diophantine Approximation of finding best linear approximates. Classical results from the theory of continued fractions provide the solution for the special homogeneous case in the…
We investigate the quantitative and analytic aspects of the near-parabolic renormalization scheme introduced by Inou and Shishikura in 2006. These provide techniques to study the dynamics of some holomorphic maps of the form $f(z) = e^{2\pi…
Decidability of definitional equality and conversion of terms into canonical form play a central role in the meta-theory of a type-theoretic logical framework. Most studies of definitional equality are based on a confluent,…
A system of linear equations $L$ is said to be norming if a natural functional $t_L(\cdot)$ giving a weighted count for the set of solutions to the system can be used to define a norm on the space of real-valued functions on…
We study the boundary regularity properties and derive a priori pointwise supremum estimates of weak solutions and their derivatives in terms of suitable weighted $L^2$-norms for a class of degenerate parabolic equations that satisfy…
Let M denote the maximal function along the polynomial curve p(t)=(t,t^2,...,t^d) in R^d: M(f)=sup_{r>0} (1/2r) \int_{|t|<r} |f(x-p(t))| dt. We show that the L^2-norm of this operator grows at most logarithmically with the parameter d:…
Let $\mathfrak{g}$ be a reductive Lie algebra over an algebraically closed, characteristic zero field or over $\mathbb{R}$. Let $\mathfrak{q}$ be a parabolic subalgebra of $\mathfrak{g}$. We characterize the derivations of $\mathfrak{q}$ by…
We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…