Researcher profile

Masahiro Ikeda

Masahiro Ikeda contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
16works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2025arXiv

Dynamics of dissipative solutions to the Hardy-Sobolev parabolic equation

We study the long-time behaviour of solutions to the Hardy-Sobolev parabolic equation in critical function spaces for any spatial dimension $d \geq 5$. By employing the Fourier splitting method, we establish precise decay rates for dissipative solutions, meaning those whose critical norm vanishes as time approaches infinity. Our findings offer a deeper understanding of the asymptotic properties and dissipation mechanisms governing this equation.

preprint2022arXiv

Blow-up and lifespan estimates for solutions to the weakly coupled system of nonlinear damped wave equations outside a ball

In this paper, we consider the initial-boundary value problems with several fundamental boundary conditions (the Dirichlet/Neumann/Robin boundary condition) for the multi-component system of semi-linear classical damped wave equations outside a ball. By applying a test function approach with a judicious choice of test functions, which approximates the harmonic functions being subject to these boundary conditions on $\partial Ω$, simultaneously we have succeeded in proving the blow-up result in a finite time as well as in catching the sharp upper bound of lifespan estimates for small solutions in two and higher spatial dimensions. Moreover, such kind of these results will be discussed in one-dimensional case at the end of this work.

preprint2022arXiv

Blow-up solutions for non-scale-invariant nonlinear Schrödinger equation in one dimension

In this paper, we consider the mass-critical nonlinear Schrödinger equation in one dimension. Ogawa--Tsutsumi [19] proved a blow-up result for negative energy solution by using a scaling argument for initial data. By the reason, the method cannot be used to an equation with a linear potential. So, we modify the proof and get that for the equation with the linear potential.

preprint2022arXiv

Mass-energy threshold dynamics for the focusing NLS with a repulsive inverse-power potential

In this paper we study long time dynamics (i.e., scattering and blow-up) of solutions for the focusing NLS with a repulsive inverse-power potential and with initial data lying exactly at the mass-energy threshold, namely, when $E_{V}(u_{0})M(u_{0})=E_{0}(Q)M(Q)$. Moreover, we prove failure of the uniform space-time bounds at the mass-energy threshold.

preprint2022arXiv

Nonlinear Evolution Equation Associated with Hypergraph Laplacian

Let $V$ be a finite set, $E \subset 2^{V} $ be a set of hyperedges, and $w : E \to (0, \infty)$ be an edge weight. On the (wighted) hypergraph $G = (V ,E ,w )$, we can define a multivalued nonlinear operator $L_{G,p}$ ($p \in [1 ,\infty )$) as the subdifferential of a convex function on $\mathbb{R} ^V $, which is called "hypergraph $p$-Laplacian." In this article, we first introduce an inequality for this operator $L_{G,p}$ which resembles the Poincaré-Wirtinger inequality in PDEs. Next we consider an ordinary differential equation on $\mathbb{R} ^V $ governed by $L_{G,p}$, which is referred as "heat" equation on the hypergraph and used to study the geometric structure of graph in recent researches. With the aid of the Poincaré-Wirtinger type inequality, we can discuss the existence and the large time behavior of solutions to the ODE by procedures similar to those for the standard heat equation in PDEs with the zero Neumann boundary condition.

preprint2022arXiv

Universal approximation property of invertible neural networks

Invertible neural networks (INNs) are neural network architectures with invertibility by design. Thanks to their invertibility and the tractability of Jacobian, INNs have various machine learning applications such as probabilistic modeling, generative modeling, and representation learning. However, their attractive properties often come at the cost of restricting the layer designs, which poses a question on their representation power: can we use these models to approximate sufficiently diverse functions? To answer this question, we have developed a general theoretical framework to investigate the representation power of INNs, building on a structure theorem of differential geometry. The framework simplifies the approximation problem of diffeomorphisms, which enables us to show the universal approximation properties of INNs. We apply the framework to two representative classes of INNs, namely Coupling-Flow-based INNs (CF-INNs) and Neural Ordinary Differential Equations (NODEs), and elucidate their high representation power despite the restrictions on their architectures.

preprint2021arXiv

Composition operators on reproducing kernel Hilbert spaces with analytic positive definite functions

In this paper, we specify what functions induce the bounded composition operators on a reproducing kernel Hilbert space (RKHS) associated with an analytic positive definite function defined on $\mathbf{R}^d$. We prove that only affine transforms can do so in a pretty large class of RKHS. Our result covers not only the Paley-Wiener space on the real line, studied in previous works, but also much more general RKHSs corresponding to analytic positive definite functions where existing methods do not work. Our method only relies on an intrinsic properties of the RKHSs, and we establish a connection between the behavior of composition operators and the asymptotic properties of the greatest zeros of orthogonal polynomials on a weighted $L^2$-spaces on the real line. We also investigate the compactness of the composition operators and show that any bounded composition operators cannot be compact in our situation.

preprint2021arXiv

Ridge Regression with Over-Parametrized Two-Layer Networks Converge to Ridgelet Spectrum

Characterization of local minima draws much attention in theoretical studies of deep learning. In this study, we investigate the distribution of parameters in an over-parametrized finite neural network trained by ridge regularized empirical square risk minimization (RERM). We develop a new theory of ridgelet transform, a wavelet-like integral transform that provides a powerful and general framework for the theoretical study of neural networks involving not only the ReLU but general activation functions. We show that the distribution of the parameters converges to a spectrum of the ridgelet transform. This result provides a new insight into the characterization of the local minima of neural networks, and the theoretical background of an inductive bias theory based on lazy regimes. We confirm the visual resemblance between the parameter distribution trained by SGD, and the ridgelet spectrum calculated by numerical integration through numerical experiments with finite models.

preprint2021arXiv

Small data blow-up of semi-linear wave equation with scattering dissipation and time-dependent mass

In the present paper, we study small data blow-up of the semi-linear wave equation with a scattering dissipation term and a time-dependent mass term from the aspect of wave-like behavior. The Strauss type critical exponent is determined and blow-up results are obtained to both sub-critical and critical cases with corresponding upper bound lifespan estimates. For the sub-critical case, our argument does not rely on the sign condition of dissipation and mass, which gives the extension of the result in \cite{Lai-Sch-Taka18}. Moreover, we show the blow-up result for the critical case which is a new result.

preprint2020arXiv

Analysis via Orthonormal Systems in Reproducing Kernel Hilbert $C^*$-Modules and Applications

Kernel methods have been among the most popular techniques in machine learning, where learning tasks are solved using the property of reproducing kernel Hilbert space (RKHS). In this paper, we propose a novel data analysis framework with reproducing kernel Hilbert $C^*$-module (RKHM), which is another generalization of RKHS than vector-valued RKHS (vv-RKHS). Analysis with RKHMs enables us to deal with structures among variables more explicitly than vv-RKHS. We show the theoretical validity for the construction of orthonormal systems in Hilbert $C^*$-modules, and derive concrete procedures for orthonormalization in RKHMs with those theoretical properties in numerical computations. Moreover, we apply those to generalize with RKHM kernel principal component analysis and the analysis of dynamical systems with Perron-Frobenius operators. The empirical performance of our methods is also investigated by using synthetic and real-world data.

preprint2020arXiv

Boundedness of composition operators on Morrey spaces and weak Morrey spaces

In this study, we investigate the boundedness of composition operators acting on Morrey spaces and weak Morrey spaces. The primary aim of this study is to investigate a necessary and sufficient condition on the boundedness of the composition operator induced by a diffeomorphism on Morrey spaces. In particular, detailed information is derived from the boundedness, i.e., the bi-Lipschitz continuity of the mapping that induces the composition operator follows from the continuity of the composition mapping. The idea of the proof is to determine the Morrey norm of the characteristic functions, and employ a specific function composed of a characteristic function. As the specific function belongs to Morrey spaces but not to Lebesgue spaces, the result reveals a new phenomenon not observed in Lebesgue spaces. Subsequently, we prove the boundedness of the composition operator induced by a mapping that satisfies a suitable volume estimate on general weak-type spaces generated by normed spaces. As a corollary, a necessary and sufficient condition for the boundedness of the composition operator on weak Morrey spaces is provided.

preprint2020arXiv

Critical exponent for the wave equation with a time-dependent scale invariant damping and a cubic convolution

In the present paper, we study the Cauchy problem for the wave equation with a time-dependent scale invariant damping $\frac{2}{1+t}\partial_t v$ and a cubic convolution $(|x|^{-γ}*v^2)v$ with $γ\in \left(-\frac{1}{2},3\right)$ in three spatial dimension for initial data $\left(v(x,0),\partial_tv(x,0)\right)\in C^2(\mathbb{R}^3)\times C^1(\mathbb{R}^3)$ with a compact support, where $v=v(x,t)$ is an unknown function to the problem on $\mathbb{R}^3\times[0,T)$. Here $T$ denotes a maximal existence time of $v$. The first aim of the present paper is to prove unique global existence of the solution to the problem and asymptotic behavior of the solution in the supercritical case $γ\in (0,3)$, and show a lower estimate of the lifespan in the critical or subcritical case $γ\in \left(-\frac{1}{2},0\right]$. The essential part for their proofs is to derive a weaker estimate under the weaker condition than the case without damping and to recover the weakness by the effect of the dissipative term. The second aim of the present paper is to prove a small data blow-up and the almost sharp upper estimate of the lifespan for positive data with a compact support in the subcritical case $γ\in \left(-\frac{1}{2},0\right)$. The essential part for the proof is to refine the argument for the proof of Theorem 6.1 in \cite{H20} to obtain the upper estimate of the lifespan. Our two results determine that a critical exponent $γ_c$ which divides global existence and blow-up for small solutions is $0$, namely $γ_c=0$. As the result, we can see that the critical exponent shift from $2$ to $0$ due to the effect of the scale invariant damping term.

preprint2020arXiv

Kernel Mean Embeddings of Von Neumann-Algebra-Valued Measures

Kernel mean embedding (KME) is a powerful tool to analyze probability measures for data, where the measures are conventionally embedded into a reproducing kernel Hilbert space (RKHS). In this paper, we generalize KME to that of von Neumann-algebra-valued measures into reproducing kernel Hilbert modules (RKHMs), which provides an inner product and distance between von Neumann-algebra-valued measures. Von Neumann-algebra-valued measures can, for example, encode relations between arbitrary pairs of variables in a multivariate distribution or positive operator-valued measures for quantum mechanics. Thus, this allows us to perform probabilistic analyses explicitly reflected with higher-order interactions among variables, and provides a way of applying machine learning frameworks to problems in quantum mechanics. We also show that the injectivity of the existing KME and the universality of RKHS are generalized to RKHM, which confirms many useful features of the existing KME remain in our generalized KME. And, we investigate the empirical performance of our methods using synthetic and real-world data.

preprint2020arXiv

Small data blow-up for the wave equation with a time-dependent scale invariant damping and a cubic convolution for slowly decaying initial data

In the present paper, we study the Cauchy problem for the wave equation with a time-dependent scale invariant damping, i.e.$\frac{2}{1+t}\partial_t v$ and a cubic convolution $(|x|^{-γ}*v^2)v$ with $γ\in (0,n)$, where $v=v(x,t)$ is an unknown function on $\mathbb{R}^n\times[0,T)$. Our aim of the present paper is to prove a small data blow-up result and show an upper estimate of lifespan of the problem for slowly decaying positive initial data $(v(x,0),\partial_t v(x,0))$ such as $\partial_t v(x,0)=O(|x|^{-(1+ν)})$ as $|x|\rightarrow\infty$. Here $ν$ belongs to the scaling supercritical case $ν<\frac{n-γ}{2}$. Our main new contribution is to estimate the convolution term in high spatial dimensions, i.e. $n\ge 4$. This paper is the first blow-up result to treat wave equations with the cubic convolution in high spatial dimensions ($n\ge 4$).

preprint2020arXiv

The Cauchy problem of the semilinear second order evolution equation with fractional Laplacian and damping

In the present paper, we prove time decay estimates of solutions in weighted Sobolev spaces to the second order evolution equation with fractional Laplacian and damping for data in Besov spaces. Our estimates generalize the estimates obtained in the previous studies. The second aim of this article is to apply these estimates to prove small data global well-posedness for the Cauchy problem of the equation with power nonlinearities. Especially, the estimates obtained in this paper enable us to treat more general conditions on the nonlinearities and the spatial dimension than the results in the previous studies.

preprint2019arXiv

Scattering for the one-dimensional Klein-Gordon equation with exponential nonlinearity

We consider the asymptotic behavior of solutions to the Cauchy problem for the defocusing nonlinear Klein-Gordon equation (NLKG) with exponential nonlinearity in the one spatial dimension with data in the energy space $H^1(\mathbb{R}) \times L^2(\mathbb{R})$. We prove that any energy solution has a global bound of the $L^6_{t,x}$ space-time norm, and hence scatters in $H^1(\mathbb{R}) \times L^2(\mathbb{R})$ as $t\rightarrow\pm \infty$. The proof is based on the argument by Killip-Stovall-Visan (Trans. Amer. Math. Soc. 364 (2012), no. 3, 1571--1631). However, since well-posedness in $H^{1/2}(\mathbb{R}) \times H^{-1/2}(\mathbb{R})$ for NLKG with the exponential nonlinearity holds only for small initial data, we use the $L_t^6 W^{s-1/2,6}_x$-norm for some $s>\frac{1}{2}$ instead of the $L_{t,x}^6$-norm, where $W_x^{s,p}$ denotes the $s$-th order $L^p$-based Sobolev space.