Sergio A. Carrillo, Carlos A. Hurtado
We provide a complete and self-contained proof of the Gevrey character, in an analytic function $P$, of formal power series solutions of some families of first order holomorphic PDEs. Our approach is based on a majorant series technique by applying Nagumo norms joint with a division algorithm.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We consider a family of holomorphic PDEs whose singular locus is given by the zero set of an analytic map $P$ with $P(0)=0$. Our goal is to establish conditions for the existence and uniqueness of formal power series solutions and to determine their divergence rate. In fact, we prove that the solution is Gevrey in $P$, giving new information on divergency while compared to the classical Gevrey classes. If $P$ is not singular at $0$, we also provide Poincaré conditions to recover convergent solutions. Our strategy is to extend the dimension and lift the given PDE to a problem where results of s…
We study semiclassical Gevrey pseudodifferential operators, acting on exponentially weighted spaces of entire holomorphic functions. The symbols of such operators are Gevrey functions defined on suitable I-Lagrangian submanifolds of the complexified phase space, which are extended almost holomorphically in the same Gevrey class, or in some larger space, to complex neighborhoods of these submanifolds. Using almost holomorphic extensions, we obtain uniformly bounded realizations of such operators on a natural scale of exponentially weighted spaces of holomorphic functions for all Gevrey indices,…
We study a singularly perturbed PDE with cubic nonlinearity depending on a complex perturbation parameter $ε$. This is the continuation of a precedent work by the first author. We construct two families of sectorial meromorphic solutions obtained as a small perturbation in $ε$ of two branches of an algebraic slow curve of the equation in time scale. We show that the nonsingular part of the solutions of each family shares a common formal power series in $ε$ as Gevrey asymptotic expansion which might be different one to each other, in general.
The Gevrey class implicit mapping theorem with application to UQ of semilinear elliptic PDEs
本文建立 Gevrey 类隐映射定理，证明残差的 $s$-Gevrey 正则性可推出局部数据到解映射 Fréchet 导数的 $s$-Gevrey 界，并用于半线性椭圆型 PDE 的不确定性量化。
We consider a class of weakly hyperbolic systems of first-order, nonlinear PDEs. Weak hyperbolicity means here that the principal symbol of the system has a crossing of eigenvalues, and is not uniformly diagonalizable. We prove the well-posedness of the Cauchy problem in the Gevrey regularity for all Gevrey indices greater than $1/2$. The proof is based on the construction of a suitable approximate symmetrizer of the principal symbol and an energy estimate in Gevrey spaces. We discuss both the generality of the assumption on the structure of the principal symbol and the sharpness of the lower …
We consider the Cauchy problem for inhomogeneous linear moment differential equations with holomorphic time dependent coefficients. Using such tools as the formal norms, theory of majorants and the properties of the Newton polygon, we obtain the Gevrey estimate for the formal solution of the equation.
We study a family of singularly perturbed $q-$difference-differential equations in the complex domain. We provide sectorial holomorphic solutions in the perturbation parameter $ε$. Moreover, we achieve the existence of a common formal power series in $ε$ which represents each actual solution, and establish $q-$Gevrey estimates involved in this representation. The proof of the main result rests on a new version of the so-called Malgrange-Sibuya Theorem regarding $q-$Gevrey asymptotics. A particular Dirichlet like series is studied on the way.
This paper is a continuation a previous work of the authors where parametric Gevrey asymptotics for singularly perturbed nonlinear PDEs has been studied. Here, the partial differential operators are combined with particular Moebius transforms in the time variable. As a result, the leading term of the main problem needs to be regularized by means of a singularly perturbed infinite order formal irregular operator that allows us to construct a set of genuine solutions in the form of a Laplace transform in time and inverse Fourier transform in space. Furthermore, we obtain Gevrey asymptotic expans…
We study a nonlinear initial value Cauchy problem depending upon a complex perturbation parameter $ε$ whose coefficients depend holomorphically on $(ε,t)$ near the origin in $\mathbb{C}^{2}$ and are bounded holomorphic on some horizontal strip in $\mathbb{C}$ w.r.t the space variable. We consider a family of forcing terms that are holomorphic on a common sector in time $t$ and on sectors w.r.t the parameter $ε$ whose union form a covering of some neighborhood of 0 in $\mathbb{C}^{\ast}$, which are asked to share a common formal power series asymptotic expansion of some Gevrey order as $ε$ tend…
For an arbitrary parameter $p\in [1,+\infty]$, we consider the problem of exponential stabilization in the spatial $L^{p}$-norm, and $W^{1,p}$-norm, respectively, for a class of anti-stable linear parabolic PDEs with space-time-varying coefficients in the absence of a Gevrey-like condition, which is often imposed on time-varying coefficients of PDEs and used to guarantee the existence of smooth (w.r.t. the time variable) kernel functions in the literature. Then, based on the obtained exponential stabilities, we show that the solution of the considered system depends continuously on the $L^{p}$…
We investigate Gevrey asymptotics for solutions to nonlinear parameter depending Cauchy problems with $2π$-periodic coefficients, for initial data living in a space of quasiperiodic functions. By means of the Borel-Laplace summation procedure, we construct sectorial holomorphic solutions which are shown to share the same formal power series as asymptotic expansion in the perturbation parameter. We observe a small divisor phenomenon which emerges from the quasiperiodic nature of the solutions space and which is the origin of the Gevrey type divergence of this formal series. Our result rests on …
We provide a detailed proof of Proposition 3.1 in the paper titled ``Backstepping control of a class of space-time-varying linear parabolic PDEs via time invariant kernel functions''. In the paper titled ``Backstepping control of a class of space-time-varying linear parabolic PDEs via time invariant kernel functions'', we addressed the problem of exponential stabilization and continuous dependence of solutions on initial data in different norms for a class of $1$-D linear parabolic PDEs with space-time-varying coefficients under backstepping boundary control. In order to stabilize the system w…
The analytic and formal solutions of certain family of $q$-difference-differential equations under the action of a complex perturbation parameter is considered. The previous study of the last two authors provides information in the case when the main equation under study is factorizable, as a product of two equations in the so-called normal form. Each of them gives rise to a single level of $q$-Gevrey asymptotic expansion. In the present work, the main problem under study does not suffer any factorization, and a different approach is followed. More precisely, we lean on the technique developed…
In this paper, we study a class of first order nonlinear degenerated partial differential equations with singularity at $(t,x)=(0,0)\in \CC^2$. By means of exponential type Nagumo norm approach, Gevrey asymptotic analysis extends to case of holomorphic parameters by a natural way. A sharp condition is then established to deduce the $k$-summability for the formal solutions. Furthermore, analytical solutions in conical domains are found for each type of these nonlinear singular PDEs.
The paper discusses a holomorphic nonlinear singular partial differential equation $(t \partial_t)^mu=F(t,x,\{(t \partial_t)^j \partial_x^αu \}_{j+α\leq m, j<m})$ under the assumption that the equation is of nonlinear totally characteristic type. By using the Newton Polygon at $x=0$, the notion of the irregularity at $x=0$ of the equation is defined. In the case where the irregularity is greater than one, it is proved that every formal power series solution belongs to a suitable formal Gevrey class. The precise bound of the order of the formal Gevrey class is given, and the optimality of this …
We study the Cauchy problem for a general homogeneous linear partial differential equation in two complex variables with constant coefficients and with divergent initial data. We state necessary and sufficient conditions for the summability of formal power series solutions in terms of properties of divergent Cauchy data. We consider both the summability in one variable t (with coefficients belonging to some Banach space of Gevrey series with respect to the second variable z) and the summability in two variables (t,z). The results are presented in the general framework of moment-PDEs.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。