arXiv subjects
Publications and source records attributed to Naofumi Honda.
In this paper, we construct the multi-microlocalization functor $μhom_{χ}$ of homomorphisms, which is a counterpart of the functor $μhom$ studied by M.Kashiwara and P.Schapira. Furthermore, using the new functor, we also introduce several sheaves of multi-microlocal operators which act on multi-microlocalized objects such as a multi-microfunction.
The paper studies several properties of Laplace hyperfunctions introduced by H.~Komatsu in the one dimensional case and by the authors in the higher dimensional cases from the viewpoint of Čech-Dolbeault cohomology theory, which enables us, for example, to construct the Laplace transformation and its inverse in a simple way. We also give some applications to a system of PDEs with constant coefficients.
The relative Dolbeault cohomology which naturally comes up in the theory of Cech-Dolbeault cohomology turns out to be canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato so that it provides a handy way of representing the latter. In this paper we use this cohomology to give simple explicit expressions of Sato hyperfunctions, some fundamental operations on them and related local duality theorems. This approach also yields a new insight into the theory of hyperfunctions and leads to a number of further results and applications. As one of such, we give an explicit embedding morphism of Schwartz distributions into the space of hyperfunctions.
Consider a three dimensional piecewise homogeneous anisotropic elastic medium $Ω$ which is a bounded domain consisting of a finite number of bounded subdomains $D_α$, with each $D_α$ a homogeneous elastic medium. One typical example is a finite element model with elements with curvilinear interfaces for an ansiotropic elastic medium. Assuming the $D_α$ are known and Lipschitz, we are concerned with the uniqueness in the inverse boundary value problem of identifying the anisotropic elasticity tensor on $Ω$ from a localized Dirichlet to Neumann map given on a part of the boundary $\partial D_{α_0}\cap\partialΩ$ of $\partialΩ$ for a single $α_0$, where $\partial D_{α_0}$ denotes the boundary of $ D_{α_0}$. If we can connect each $D_α$ to $D_{α_0}$ by a chain of $\{D_{α_i}\}_{i=1}^n$ such that interfaces between adjacent regions contain a curved portion, we obtain global uniqueness for this inverse boundary value problem. If the $D_α$ are not known but are subanalytic subsets of $\mathbb{R}^3$ with curved boundaries, then we also obtain global uniqueness.
The aim of this paper is to give a new description of the geometry appearing in the multi-specialization along a general family of submanifolds of a real analytic manifold (including some important cases as clean intersection or a simultaneously linearizable family of Lagrangian submanifolds in a cotangent bundle) and then, to extend several properties of the multi-specialization. The notion of multi-asymptotic expansions is also extended. In the local model more general cases are studied: locally we can construct new sheaves of multi-asymptotically developable functions closely related with asymptotics along a subvariety with a simple singularity such as a cusp.
We establish an edge of the wedge theorem for the sheaf of holomorphic functions with exponential growth at infinity and construct the sheaf of Laplace hyperfunctions in several variables. We also study the fundamental properties of the sheaf of Laplace hyperfunctions.
The purpose of this paper is to establish the foundations of multi-microlocalization, in particular, to give the fiber formula for the multi-microlocalization functor and estimate of microsupport of a multi-microlocalized object. We also give some applications of these results.
A new symbol theory for pseudodifferential operators in the complex analytic category is given. This theory provides a cohomological foundation of symbolic calculus.
An inverse problem to identify unknown coefficients of a partial differential equation by a single interior measurement is considered. The equation considered in this paper is a strongly elliptic second order scalar equation which can have complex coefficients in a bounded domain with $C^2$ boundary and single interior measurement means that we know a given solution of the equation in this domain. The equation includes some model equations arising from acoustics, viscoelasticity and hydrology. We assume that the coefficients are piecewise analytic. Our major result is the local Hölder stability estimate for identifying the unknown coefficients. If the unknown coefficients is a complex coefficient in the principal part of the equation, we assumed a condition which we named admissibility assumption for the real part and imaginary part of the difference of the two complex coefficients. This admissibility assumption is automatically satisfied if the complex coefficients are real valued. For identifying either the real coefficient in the principal part or the coefficient of the 0-th order of the equation, the major result implies the global uniqueness for the identification.
In this paper we extend the notion of specialization functor to the case of several closed submanifolds satisfying some suitable conditions. Applying this functor to the sheaf of Whitney holomorphic functions we construct different kinds of sheaves of multi-asymptotically developable functions, whose definitions are natural extensions of the definition of strongly asymptotically developable functions introduced by Majima.