-
On a Relation between Euler characteristics of \MakeLowercase{de} Rham cohomology and Koszul cohomology of graded local cohomology modules
Authors:
Tony J. Puthenpurakal,
Rakesh B. T. Reddy
Abstract:
Let $K$ be a field of characteristic zero. Let $R = K[X_0, X_1,\ldots,X_n]$ be standard graded. Let $A_{n+1}(K)$ be the $(n + 1)^{th}$ Weyl algebra over $K$. Let $I$ be a homogeneous ideal of $R$ and let $M = H^i_I(R)$ for some $i \geq 0$.
By a result of Lyubeznik, $M$ is a graded holonomic $A_{n +1}(K)$-module for each $i \geq 0$. Let $χ^c(\mathbf{\partial}, M)$ ($χ^c(\mathbf{X}, M)$) be the Eu…
▽ More
Let $K$ be a field of characteristic zero. Let $R = K[X_0, X_1,\ldots,X_n]$ be standard graded. Let $A_{n+1}(K)$ be the $(n + 1)^{th}$ Weyl algebra over $K$. Let $I$ be a homogeneous ideal of $R$ and let $M = H^i_I(R)$ for some $i \geq 0$.
By a result of Lyubeznik, $M$ is a graded holonomic $A_{n +1}(K)$-module for each $i \geq 0$. Let $χ^c(\mathbf{\partial}, M)$ ($χ^c(\mathbf{X}, M)$) be the Euler characteristics of de Rham cohomology (resp. Koszul cohomology) of $M$. We prove $χ^c(\mathbf{\partial}, M) = (-1)^{n+1}χ^c(\mathbf{X}, M)$.
△ Less
Submitted 23 May, 2025;
originally announced May 2025.
-
The Brezis-Nirenberg and logistic problem for the Logarithmic Laplacian
Authors:
Rakesh Arora,
Jacques Giacomoni,
Arshi Vaishnavi
Abstract:
In this work, we study the non-local analogue of Brezis-Nirenberg and logistic type elliptic equations involving the logarithmic Laplacian and critical logarithmic non-linearity.
In the first part of this work, we derive new sharp continuous and compact embeddings in Orlicz spaces and prove the existence of a least-energy weak solution of the Brezis-Nirenberg and logistic type problem involving…
▽ More
In this work, we study the non-local analogue of Brezis-Nirenberg and logistic type elliptic equations involving the logarithmic Laplacian and critical logarithmic non-linearity.
In the first part of this work, we derive new sharp continuous and compact embeddings in Orlicz spaces and prove the existence of a least-energy weak solution of the Brezis-Nirenberg and logistic type problem involving logarithmic Laplacian. For the uniqueness of solution, we prove a new Díaz-Saa type inequality, which is of independent interest and can be applied to a larger class of problems.
In the second part of the work, depending upon the growth of non-linearity and regularity of the weight function, we study the small-order asymptotic of non-local weighted elliptic equations involving the fractional Laplacian of order $2s.$ We show that least energy solutions of a weighted non-local fractional problem with superlinear or sublinear type non-linearity converge to a nontrivial, nonnegative least-energy solution of Brézis-Nirenberg type or logistic-type limiting problem, respectively, involving the logarithmic Laplacian.
△ Less
Submitted 26 April, 2025;
originally announced April 2025.
-
Global Existence and Finite-Time Blow-Up of Solutions for Parabolic Equations Involving the Fractional Musielak $g_{x,y}$-Laplacian
Authors:
Rakesh Arora,
Anouar Bahrouni,
Nitin Kumar Maurya
Abstract:
In this work, we study the parabolic fractional Musielak $g_{x,y}$-Laplacian equation:
\begin{equation*} \left\{ \begin{aligned}
u_{t} + (-Δ)_{{g}_{x,y}}^{s} u &= f(x,u), && \text{in } Ω\times (0, \infty),
u &= 0, && \text{on } \mathbb{R}^N \setminus Ω\times (0, \infty),
u(x,0) &= u_0(x), && \text{in } Ω, \end{aligned} \right. \end{equation*} where $(-Δ)_{{g}_{x,y}}^{s}$ denotes the fracti…
▽ More
In this work, we study the parabolic fractional Musielak $g_{x,y}$-Laplacian equation:
\begin{equation*} \left\{ \begin{aligned}
u_{t} + (-Δ)_{{g}_{x,y}}^{s} u &= f(x,u), && \text{in } Ω\times (0, \infty),
u &= 0, && \text{on } \mathbb{R}^N \setminus Ω\times (0, \infty),
u(x,0) &= u_0(x), && \text{in } Ω, \end{aligned} \right. \end{equation*} where $(-Δ)_{{g}_{x,y}}^{s}$ denotes the fractional Musielak $g_{x,y}$-Laplacian, and $f$ is a Carathéodory function satisfying subcritical growth conditions. Using the modified potential well method and Galerkin's method, we establish results on the local and global existence of weak and strong solutions, as well as finite-time blow-up, depending on the initial energy level (low, critical, or high). Moreover, we explore a class of nonlocal operators to highlight the broad applicability of our approach.
This study contributes to the developing theory of fractional Musielak-Sobolev spaces, a field that has received limited attention in the literature. To our knowledge, this is the first work addressing the parabolic fractional $g_{x,y}$-Laplacian equation.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
End-to-End Portfolio Optimization with Quantum Annealing
Authors:
Sai Nandan Morapakula,
Sangram Deshpande,
Rakesh Yata,
Rushikesh Ubale,
Uday Wad,
Kazuki Ikeda
Abstract:
With rapid technological progress reshaping the financial industry, quantum technology plays a critical role in advancing risk management, asset allocation, and financial strategies. Realizing its full potential requires overcoming challenges like quantum hardware limits, algorithmic stability, and implementation barriers. This research explores integrating quantum annealing with portfolio optimiz…
▽ More
With rapid technological progress reshaping the financial industry, quantum technology plays a critical role in advancing risk management, asset allocation, and financial strategies. Realizing its full potential requires overcoming challenges like quantum hardware limits, algorithmic stability, and implementation barriers. This research explores integrating quantum annealing with portfolio optimization, highlighting quantum methods' ability to enhance investment strategy efficiency and speed. Using hybrid quantum-classical models, the study shows combined approaches effectively handle complex optimization better than classical methods. Empirical results demonstrate a portfolio increase of 200,000 Indian Rupees over the benchmark. Additionally, using rebalancing leads to a portfolio that also surpasses the benchmark value.
△ Less
Submitted 10 April, 2025;
originally announced April 2025.
-
Minimum reflux calculation for multicomponent distillation in multi-feed, multi-product columns: Algorithms and examples
Authors:
Zheyu Jiang,
Mohit Tawarmalani,
Rakesh Agrawal
Abstract:
In this work, we present the first algorithm for identifying the minimum reboiler vapor duty requirement for a general multi-feed, multi-product (MFMP) distillation column separating ideal multicomponent mixtures. This algorithm incorporates our latest advancement in developing the first shortcut model for MFMP columns. We demonstrate the accuracy and efficiency of this algorithm through case stud…
▽ More
In this work, we present the first algorithm for identifying the minimum reboiler vapor duty requirement for a general multi-feed, multi-product (MFMP) distillation column separating ideal multicomponent mixtures. This algorithm incorporates our latest advancement in developing the first shortcut model for MFMP columns. We demonstrate the accuracy and efficiency of this algorithm through case studies. The results obtained from these case studies also provide valuable insights on optimal design of MFMP columns. Many of these insights are against the existing design guidelines and heuristics. For example, placing a colder saturated feed stream above a hotter saturated feed stream sometimes leads to higher energy requirement. Furthermore, decomposing a general MFMP column into individual simple columns may lead to incorrect estimation of the minimum reflux ratio for the MFMP column. Thus, the algorithm presented here offers a fast, accurate, and automated approach to synthesize new, energy-efficient, and cost-effective MFMP columns.
△ Less
Submitted 26 March, 2025;
originally announced March 2025.
-
Landing rays and ray Cannon-Thurston maps
Authors:
Rakesh Halder,
Mahan Mj,
Pranab Sardar
Abstract:
For a hyperbolic subgroup H of a hyperbolic group G, we describe sufficient criteria to guarantee the following.
1) Geodesic rays in H starting at the identity land at a unique point of the boundary of G.
2)The inclusion of H into G does not extend continuously to the boundary.
As a consequence we obtain sufficient conditions that provide a mechanism to guarantee the non-existence of Cannon-…
▽ More
For a hyperbolic subgroup H of a hyperbolic group G, we describe sufficient criteria to guarantee the following.
1) Geodesic rays in H starting at the identity land at a unique point of the boundary of G.
2)The inclusion of H into G does not extend continuously to the boundary.
As a consequence we obtain sufficient conditions that provide a mechanism to guarantee the non-existence of Cannon-Thurston maps. One such criterion we use extensively is an adaptation of a property proven by Jeon, Kapovich, Leininger and Ohshika. As a consequence we describe a number of classes of examples demonstrating the non-existence of Cannon-Thurston maps. We recover, in the process, a simple counter-example lying at the heart of Baker and Riley's examples.
△ Less
Submitted 22 March, 2025;
originally announced March 2025.
-
Filling systems of maximum size
Authors:
Rakesh Kumar,
Shiv Parsad
Abstract:
Let $S_g$ be a closed orientable surface of genus $g\geq 2$. A collection $Ω= \{ γ_1, \dots, γ_s\}$ of pairwise non-homotopic simple closed curves on $S_g$ such that $γ_i$ and $γ_j$ are in minimal position, is called a \emph{filling system} or a \emph{filling} of $S_g$ if the complement $S_g\setminus Ω$ is a disjoint union of $b$ topological discs for some $b\geq 1$. The \emph{size} of a filling s…
▽ More
Let $S_g$ be a closed orientable surface of genus $g\geq 2$. A collection $Ω= \{ γ_1, \dots, γ_s\}$ of pairwise non-homotopic simple closed curves on $S_g$ such that $γ_i$ and $γ_j$ are in minimal position, is called a \emph{filling system} or a \emph{filling} of $S_g$ if the complement $S_g\setminus Ω$ is a disjoint union of $b$ topological discs for some $b\geq 1$. The \emph{size} of a filling system is defined as the number of its elements. We prove that the maximum size of a filling system on $S_g$ with $ 1 \leq b \leq 2g-2$ boundary components is $2g+b-1$. Furthermore, we give a lower bound on mapping class group orbits of filling systems of maximum size with $ 1 \leq b \leq g-2$ boundary components.
△ Less
Submitted 6 March, 2025;
originally announced March 2025.
-
Logarithmic double phase problems with generalized critical growth
Authors:
Rakesh Arora,
Ángel Crespo-Blanco,
Patrick Winkert
Abstract:
In this paper we study logarithmic double phase problems with variable exponents involving nonlinearities that have generalized critical growth. We first prove new continuous and compact embedding results in order to guarantee the well-definedness by studying the Sobolev conjugate function of our generalized $N$-function. In the second part we prove the concentration compactness principle for Musi…
▽ More
In this paper we study logarithmic double phase problems with variable exponents involving nonlinearities that have generalized critical growth. We first prove new continuous and compact embedding results in order to guarantee the well-definedness by studying the Sobolev conjugate function of our generalized $N$-function. In the second part we prove the concentration compactness principle for Musielak-Orlicz Sobolev spaces having logarithmic double phase modular function structure. Based on this we are going to show multiplicity results for the problem under consideration for superlinear and sublinear growth, respectively.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Compact finite-difference scheme for some Sobolev type equations with Dirichlet boundary conditions
Authors:
Lavanya V Salian,
Samala Rathan,
Rakesh Kumar
Abstract:
This study aims to construct a stable, high-order compact finite difference method for solving Sobolev-type equations with Dirichlet boundary conditions in one-space dimension. Approximation of higher-order mixed derivatives in some specific Sobolev-type equations requires a bigger stencil information. One can approximate such derivatives on compact stencils, which are higher-order accurate and ta…
▽ More
This study aims to construct a stable, high-order compact finite difference method for solving Sobolev-type equations with Dirichlet boundary conditions in one-space dimension. Approximation of higher-order mixed derivatives in some specific Sobolev-type equations requires a bigger stencil information. One can approximate such derivatives on compact stencils, which are higher-order accurate and take less stencil information but are implicit and sparse. Spatial derivatives in this work are approximated using the sixth-order compact finite difference method (Compact6), while temporal derivatives are handled with the explicit forward Euler difference scheme. We examine the accuracy and convergence behavior of the proposed scheme. Using the von Neumann stability analysis, we establish $L_2-$stability theory for the linear case. We derive conditions under which fully discrete schemes are stable. Also, the amplification factor $\mathcal{C}(θ)$ is analyzed to ensure the decay property over time. Real parts of $\mathcal{C}(θ)$ lying on the negative real axis confirm the exponential decay of the solution. A series of numerical experiments were performed to verify the effectiveness of the proposed scheme. These tests include both one dimensional and two-dimensional cases of cases of advection-free and advection-diffusion flows. They also cover applications to the equal width equation, such as the propagation of a single solitary wave, interactions between two and three solitary waves, undular bore formation, and the Benjamin-Bona-Mahony-Burgers equation.
△ Less
Submitted 3 June, 2025; v1 submitted 27 November, 2024;
originally announced November 2024.
-
Nonlocal elliptic equations involving logarithmic Laplacian: Existence, non-existence and uniqueness results
Authors:
Rakesh Arora,
Jacques Giacomoni,
Arshi Vaishnavi
Abstract:
In this work, we study the existence, non-existence, and uniqueness results for nonlocal elliptic equations involving logarithmic Laplacian, and subcritical, critical, and supercritical logarithmic nonlinearities. The Poho\u zaev's identity and Díaz-Saa type inequality are proved, which are of independent interest and can be applied to a larger class of problems. Depending upon the growth of nonli…
▽ More
In this work, we study the existence, non-existence, and uniqueness results for nonlocal elliptic equations involving logarithmic Laplacian, and subcritical, critical, and supercritical logarithmic nonlinearities. The Poho\u zaev's identity and Díaz-Saa type inequality are proved, which are of independent interest and can be applied to a larger class of problems. Depending upon the growth of nonlinearities and regularity of the weight function, we study the small-order asymptotic of nonlocal weighted elliptic equations involving the fractional Laplacian of order $2s.$ We show that the least energy solutions of a weighted nonlocal problem with superlinear or sublinear growth converge to a nontrivial nonnegative least-energy solution of Brézis-Nirenberg type and logistic-type limiting problem respectively involving the logarithmic Laplacian.
△ Less
Submitted 26 April, 2025; v1 submitted 24 November, 2024;
originally announced November 2024.
-
Spectral sequences in unstable higher homotopy theory and applications to the coniveau filtration
Authors:
Frédéric Déglise,
Rakesh Pawar
Abstract:
With the aim of understanding Morel's result on the $\mathbb{A}^1$-homotopy sheaves over a field, we extend the theory of unstable spectral sequences of Bousfield and Kan in the $\infty$-categorical setting. With this natural extension, parallel to the classical formalism of cohomology theory with supports, we introduce the notion of cohomotopy theory with supports. We extend the Bloch-Ogus-Gabber…
▽ More
With the aim of understanding Morel's result on the $\mathbb{A}^1$-homotopy sheaves over a field, we extend the theory of unstable spectral sequences of Bousfield and Kan in the $\infty$-categorical setting. With this natural extension, parallel to the classical formalism of cohomology theory with supports, we introduce the notion of cohomotopy theory with supports. We extend the Bloch-Ogus-Gabber theorem for Cohomology theory with supports to that of unstable setting, in order to obtain unstable Gersten (or Cousin) resolutions associated with the coniveau filtration, under suitable assumptions. We apply this theory to motivic homotopy, Nisnevich-local torsors and Artin-Mazur étale homotopy types.
△ Less
Submitted 15 May, 2025; v1 submitted 15 November, 2024;
originally announced November 2024.
-
Rigidity in fixed angle inverse scattering for Riemannian metrics
Authors:
Lauri Oksanen,
Rakesh,
Mikko Salo
Abstract:
The fixed angle inverse scattering problem for a velocity consists in determining a sound speed, or a Riemannian metric up to diffeomorphism, from measurements obtained by probing the medium with a single plane wave. This is a formally determined inverse problem that is open in general. In this article we consider the rigidity question of distinguishing a sound speed or a Riemannian metric from th…
▽ More
The fixed angle inverse scattering problem for a velocity consists in determining a sound speed, or a Riemannian metric up to diffeomorphism, from measurements obtained by probing the medium with a single plane wave. This is a formally determined inverse problem that is open in general. In this article we consider the rigidity question of distinguishing a sound speed or a Riemannian metric from the Euclidean metric. We prove that a general smooth metric that is Euclidean outside a ball can be distinguished from the Euclidean metric. The methods involve distorted plane waves and a combination of geometric, topological and unique continuation arguments.
△ Less
Submitted 8 June, 2025; v1 submitted 9 October, 2024;
originally announced October 2024.
-
Rigidity in the Lorentzian Calderón problem with formally determined data
Authors:
Lauri Oksanen,
Rakesh,
Mikko Salo
Abstract:
We study the Lorentzian Calderón problem, where the objective is to determine a globally hyperbolic Lorentzian metric up to a boundary fixing diffeomorphism from boundary measurements given by the hyperbolic Dirichlet-to-Neumann map. This problem is a wave equation analogue of the Calderón problem on Riemannian manifolds. We prove that if a globally hyperbolic metric agrees with the Minkowski metr…
▽ More
We study the Lorentzian Calderón problem, where the objective is to determine a globally hyperbolic Lorentzian metric up to a boundary fixing diffeomorphism from boundary measurements given by the hyperbolic Dirichlet-to-Neumann map. This problem is a wave equation analogue of the Calderón problem on Riemannian manifolds. We prove that if a globally hyperbolic metric agrees with the Minkowski metric outside a compact set and has the same hyperbolic Dirichlet-to-Neumann map as the Minkowski metric, then it must be the Minkowski metric up to diffeomorphism. In fact we prove the same result with a much smaller amount of measurements, thus solving a formally determined inverse problem. To prove these results we introduce a new method for geometric hyperbolic inverse problems. The method is based on distorted plane wave solutions and on a combination of geometric, topological and unique continuation arguments.
△ Less
Submitted 27 September, 2024;
originally announced September 2024.
-
Global gradient estimates for solutions of parabolic equations with nonstandard growth
Authors:
Rakesh Arora,
Sergey Shmarev
Abstract:
We study how the smoothness of the initial datum and the free term affect the global regularity properties of solutions to the Dirichlet problem for the class of parabolic equations of $p(x,t)$-Laplace type %with nonlinear sources depending on the solution and its gradient:
\[ u_t-Δ_{p(\cdot)}u=f(z)+F(z,u,\nabla u),\quad z=(x,t)\in Q_T=Ω\times (0,T), \] with the nonlinear source…
▽ More
We study how the smoothness of the initial datum and the free term affect the global regularity properties of solutions to the Dirichlet problem for the class of parabolic equations of $p(x,t)$-Laplace type %with nonlinear sources depending on the solution and its gradient:
\[ u_t-Δ_{p(\cdot)}u=f(z)+F(z,u,\nabla u),\quad z=(x,t)\in Q_T=Ω\times (0,T), \] with the nonlinear source $F(z,u,\nabla u)=a(z)|u|^{q(z)-2}u+|\nabla u|^{s(z)-2}(\vec c,\nabla u)$. It is proven the existence of a solution such that if $|\nabla u(x,0)|\in L^r(Ω)$ for some $r\geq \max\{2,\max p(z)\}$, then the gradient preserves the initial order of integrability in time, gains global higher integrability, and the solution acquires the second-order regularity in the following sense: \[ \text{$|\nabla u(x,t)|\in L^r(Ω)$ for a.e. $t \in (0,T)$}, \qquad \text{$|\nabla u|^{p(z)+ρ+r-2} \in L^1(Q_T)$ for any $ρ\in \left(0, \frac{4}{N+2}\right)$}, \] and \[ |\nabla u|^{\frac{p(z)+r}{2}-2}\nabla u\in L^2(0,T;W^{1,2}(Ω))^N. \] The exponent $r$ is arbitrary and independent of $p(z)$ if $f\in L^{N+2}(Q_T)$, while for $f\in L^σ(Q_T)$ with $σ\in (2,N+2)$ the exponent $r$ belongs to a bounded interval whose endpoints are defined by $\max p(z)$, $\min p(z)$, $N$, and $σ$. An integration by parts formula is also proven, which is of independent interest.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Higher a-numbers in $\mathbf{Z}_p$-towers via Counting Lattice Points
Authors:
Jeremy Booher,
Jack Hsieh,
Rakesh Rivera,
Vincent Tran,
James Upton,
Carol Wu
Abstract:
Booher, Cais, Kramer-Miller and Upton study a class of $\mathbf{Z}_p$-tower of curves in characteristic $p$ with ramification controlled by an integer $d$. In the special case that $d$ divides $p-1$, they prove a formula for the higher $a$-numbers of these curves involving the number of lattice points in a complicated region of the plane. Booher and Cais had previously conjectured that for $n$ suf…
▽ More
Booher, Cais, Kramer-Miller and Upton study a class of $\mathbf{Z}_p$-tower of curves in characteristic $p$ with ramification controlled by an integer $d$. In the special case that $d$ divides $p-1$, they prove a formula for the higher $a$-numbers of these curves involving the number of lattice points in a complicated region of the plane. Booher and Cais had previously conjectured that for $n$ sufficiently large the higher $a$-numbers of the $n$th curve are given by formulae of the form $α(n) p^{2n} + β(n) p^n + λ_r(n) n + ν(n) $ for $n$ sufficiently large, where $α,β,ν,λ_r$ are periodic functions of $n$. This is an example of a new kind of Iwasawa theory. We establish this conjecture by carefully studying these lattice points.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Unimodality and peak location of the characteristic polynomials of two distance matrices of trees
Authors:
Rakesh Jana,
Iswar Mahato,
Sivaramakrishnan Sivasubramanian
Abstract:
Unimodality of the normalized coefficients of the characteristic polynomial of distance matrices of trees are known and bounds on the location of its peak (the largest coefficient) are also known. Recently, an extension of these results to distance matrices of block graphs was given. In this work, we extend these results to two additional distance-type matrices associated with trees: the Min-4PC m…
▽ More
Unimodality of the normalized coefficients of the characteristic polynomial of distance matrices of trees are known and bounds on the location of its peak (the largest coefficient) are also known. Recently, an extension of these results to distance matrices of block graphs was given. In this work, we extend these results to two additional distance-type matrices associated with trees: the Min-4PC matrix and the 2-Steiner distance matrix. We show that the sequences of coefficients of the characteristic polynomials of these matrices are both unimodal and log-concave. Moreover, we find the peak location for the coefficients of the characteristic polynomials of the Min-4PC matrix of any tree on $n$ vertices. Further, we show that the Min-4PC matrix of any tree on $n$ vertices is isometrically embeddable in $\mathbb{R}^{n-1}$ equipped with the $\ell_1$ norm.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Non-finite type étale sites over fields
Authors:
Sujeet Dhamore,
Amit Hogadi,
Rakesh Pawar
Abstract:
We consider the notion of finite type-ness of a site introduced by Morel and Voevodsky, for the étale site of a field. For a given field $k$, we conjecture that the étale site of $Sm/k$ is of finite type if and only if the field $k$ admits a finite extension of finite cohomological dimension. We prove this conjecture in some cases, e.g. in the case when $k$ is countable, or in the case when the…
▽ More
We consider the notion of finite type-ness of a site introduced by Morel and Voevodsky, for the étale site of a field. For a given field $k$, we conjecture that the étale site of $Sm/k$ is of finite type if and only if the field $k$ admits a finite extension of finite cohomological dimension. We prove this conjecture in some cases, e.g. in the case when $k$ is countable, or in the case when the $p$-cohomological dimension $cd_p(k)$ is infinite for infinitely many primes $p$.
△ Less
Submitted 16 April, 2025; v1 submitted 10 May, 2024;
originally announced May 2024.
-
Cancellation and splitting of Symplectic modules in the critical range and Euler class group
Authors:
Rakesh Pawar,
Husney Parvez Sarwar
Abstract:
In this paper, we discuss the cancellation and splitting of the symplectic modules. The symplectic cancellation result presented here can be thought of as an analog of the Projective module cancellation result of Fasel. The symplectic splitting is similar to Murthy's splitting theorem. To prove the cancellation and splitting, we carefully analyze the Postnikov towers in the $\mathbb{A}^1$-homotopy…
▽ More
In this paper, we discuss the cancellation and splitting of the symplectic modules. The symplectic cancellation result presented here can be thought of as an analog of the Projective module cancellation result of Fasel. The symplectic splitting is similar to Murthy's splitting theorem. To prove the cancellation and splitting, we carefully analyze the Postnikov towers in the $\mathbb{A}^1$-homotopy category. Then we prove the vanishing of top cohomology with coefficients in some homotopy sheaf. As another application of the vanishing results, we answer partially a question of Mrinal Das about the isomorphism of $(d-1)$-th Euler class group and $(d-1)$-th Chow group, where $d$ is the dimension of the underlying smooth affine variety.
△ Less
Submitted 20 July, 2024; v1 submitted 25 December, 2023;
originally announced December 2023.
-
Sharp Estimates on Coefficient functionals of Ozaki close-to-convex functions
Authors:
Sushil Kumar,
Rakesh Kumar pandey,
Pratima Rai
Abstract:
The goal of this manuscript to establish the best possible estimate on coefficient functionals like Hermitian-Toeplitz determinant of secoend order involving logarithmic coefficients, initial logarithmic inverse coefficients and initial order Schwarzian derivatives of the Ozaki close-to-convex functions.
The goal of this manuscript to establish the best possible estimate on coefficient functionals like Hermitian-Toeplitz determinant of secoend order involving logarithmic coefficients, initial logarithmic inverse coefficients and initial order Schwarzian derivatives of the Ozaki close-to-convex functions.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Inverse Formulae for $q$-analogues of Bipartite Distance Matrix
Authors:
Rakesh Jana
Abstract:
We consider two distinct $q$-analogues of the bipartite distance matrix, namely the $q$-bipartite distance matrix and the exponential distance matrix. We provide formulae of the inverse for these matrices, which extend the existing results for the bipartite distance matrix. These investigations lead us to introduce a $q$-analogue version of the bipartite Laplacian matrix.
We consider two distinct $q$-analogues of the bipartite distance matrix, namely the $q$-bipartite distance matrix and the exponential distance matrix. We provide formulae of the inverse for these matrices, which extend the existing results for the bipartite distance matrix. These investigations lead us to introduce a $q$-analogue version of the bipartite Laplacian matrix.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
On logarithmic double phase problems
Authors:
Rakesh Arora,
Ángel Crespo-Blanco,
Patrick Winkert
Abstract:
In this paper we introduce a new logarithmic double phase type operator of the form\begin{align*}\mathcal{G}u:=-\operatorname{div}\left(|\nabla u|^{p(x)-2}\nabla u+μ(x)\left[\log(e+|\nabla u|)+\frac{|\nabla u|}{q(x)(e+|\nabla u|)}\right]|\nabla u|^{q(x)-2} \nabla u \right),\end{align*}where $Ω\subseteq\mathbb{R}^N$, $N\geq 2$, is a bounded domain with Lipschitz boundary $\partialΩ$,…
▽ More
In this paper we introduce a new logarithmic double phase type operator of the form\begin{align*}\mathcal{G}u:=-\operatorname{div}\left(|\nabla u|^{p(x)-2}\nabla u+μ(x)\left[\log(e+|\nabla u|)+\frac{|\nabla u|}{q(x)(e+|\nabla u|)}\right]|\nabla u|^{q(x)-2} \nabla u \right),\end{align*}where $Ω\subseteq\mathbb{R}^N$, $N\geq 2$, is a bounded domain with Lipschitz boundary $\partialΩ$, $p,q\in C(\overlineΩ)$ with $1<p(x)\leq q(x)$ for all $x\in\overlineΩ$ and $0\leqμ(\cdot)\in L^1(Ω)$. First, we prove that the logarithmic Musielak-Orlicz Sobolev spaces $W^{1,\mathcal{H}_{\log}}(Ω)$ and $W^{1, \mathcal{H}_{\log}}_0(Ω)$ with $\mathcal{H}_{\log}(x,t)=t^{p(x)}+μ(x)t^{q(x)}\log(e+t)$ for $(x,t)\in \overlineΩ\times [0,\infty)$ are separable, reflexive Banach spaces and $W^{1,\mathcal{H}_{\log}}_0(Ω)$ can be equipped with an equivalent norm. We also prove several embedding results for these spaces and the closedness of these spaces under truncations. In addition we show the density of smooth functions in $W^{1,\mathcal{H}_{\log}}(Ω)$ even in the case of an unbounded domain by supposing Nekvinda's decay condition on $p(\cdot)$. The second part is devoted to the properties of the operator and it turns out that it is bounded, continuous, strictly monotone, of type (S$_+$), coercive and a homeomorphism. As a result of independent interest we also present a new version of Young's inequality for the product of a power-law and a logarithm. In the last part of this work we consider equations driven by our new operator with superlinear right-hand sides. We prove multiplicity results for this type of equation, in particular about sign-changing solutions, by making use of a suitable variation of the corresponding Nehari manifold together with the quantitative deformation lemma and the Poincaré-Miranda existence theorem.
△ Less
Submitted 24 March, 2025; v1 submitted 17 September, 2023;
originally announced September 2023.
-
Sharp bounds on Coefficient functionals of certain Sakaguchi functions
Authors:
Sushil Kumar,
Rakesh Kumar Pandey,
Pratima Rai
Abstract:
We determine sharp bounds on some Hankel determinants involving initial coefficients, inverse coefficients, and logarithmic inverse coefficients for two subclasses of Sakaguchi functions which are associated with the right half of the lemniscate of Bernoulli and the exponential function. Further, we compute sharp bounds on the second Hermitian-Toeplitz determinants involving logarithmic coefficien…
▽ More
We determine sharp bounds on some Hankel determinants involving initial coefficients, inverse coefficients, and logarithmic inverse coefficients for two subclasses of Sakaguchi functions which are associated with the right half of the lemniscate of Bernoulli and the exponential function. Further, we compute sharp bounds on the second Hermitian-Toeplitz determinants involving logarithmic coefficients and logarithmic inverse coefficients. We also discuss invariant property for the obtained estimates with respect to various coefficients.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
The maximum four point condition matrix of a tree
Authors:
Ali Azimi,
Rakesh Jana,
Mukesh Kumar Nagar,
Sivaramakrishnan Sivasubramanian
Abstract:
$\newcommand{\Max}{\mathrm{Max4PC}}$ The Four point condition (4PC henceforth) is a well known condition characterising distances in trees $T$. Let $w,x,y,z$ be four vertices in $T$ and let $d_{x,y}$ denote the distance between vertices $x,y$ in $T$. The 4PC condition says that among the three terms $d_{w,x} + d_{y,z}$, $d_{w,y} + d_{x,z}$ and $d_{w,z} + d_{x,y}…
▽ More
$\newcommand{\Max}{\mathrm{Max4PC}}$ The Four point condition (4PC henceforth) is a well known condition characterising distances in trees $T$. Let $w,x,y,z$ be four vertices in $T$ and let $d_{x,y}$ denote the distance between vertices $x,y$ in $T$. The 4PC condition says that among the three terms $d_{w,x} + d_{y,z}$, $d_{w,y} + d_{x,z}$ and $d_{w,z} + d_{x,y}$ the maximum value equals the second maximum value.
We define an $\binom{n}{2} \times \binom{n}{2}$ sized matrix $\Max_T$ from a tree $T$ where the rows and columns are indexed by size-2 subsets. The entry of $\Max_T$ corresponding to the row indexed by $\{w,x\}$ and column $\{y,z\}$ is the maximum value among the three terms $d_{w,x} + d_{y,z}$, $d_{w,y} + d_{x,z}$ and $d_{w,z} + d_{x,y}$. In this work, we determine basic properties of this matrix like rank, give an algorithm that outputs a family of bases, and find the determinant of $\Max_T$ when restricted to our basis. We further determine the inertia and the Smith Normal Form (SNF) of $\Max_T$.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Groups generated by Dehn Twists along fillings of surfaces
Authors:
Rakesh Kumar
Abstract:
Let $S_g$ denote a closed oriented surface of genus $g \geq 2$. A set $Ω= \{ c_1, \dots, c_d\}$ of pairwise non-homotopic simple closed curves on $S_g$ is called a filling system or simply a filling of $S_g$, if $S_g\setminus Ω$ is a union of $\ell$ topological discs for some $\ell\geq 1$. For $1\leq i\leq d$, let $T_{c_i}$ denotes the Dehn twist along $c_i$. In this article, we show that for each…
▽ More
Let $S_g$ denote a closed oriented surface of genus $g \geq 2$. A set $Ω= \{ c_1, \dots, c_d\}$ of pairwise non-homotopic simple closed curves on $S_g$ is called a filling system or simply a filling of $S_g$, if $S_g\setminus Ω$ is a union of $\ell$ topological discs for some $\ell\geq 1$. For $1\leq i\leq d$, let $T_{c_i}$ denotes the Dehn twist along $c_i$. In this article, we show that for each $d\geq 2$, there exists a filling $Ω=\{c_1,c_2,\dots, c_d\}$ of $S_g$ such that the group $\langle T_{c_1}, T_{c_2},\dots,T_{c_d}\rangle$ is isomorphic to the free group of rank $d$.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
More on generalizations of topology of uniform convergence and $m$-topology on $C(X)$
Authors:
Pratip Nandi,
Rakesh Bharati,
Atasi Deb Ray,
Sudip Kumar Acharyya
Abstract:
This paper conglomerates our findings on the space $C(X)$ of all real valued continuous functions, under different generalizations of the topology of uniform convergence and the $m$-topology. The paper begins with answering all the questions which were left open in our previous paper on the classifications of $Z$-ideals of $C(X)$ induced by the $U_I$ and the $m_I$-topologies on $C(X)$. Motivated b…
▽ More
This paper conglomerates our findings on the space $C(X)$ of all real valued continuous functions, under different generalizations of the topology of uniform convergence and the $m$-topology. The paper begins with answering all the questions which were left open in our previous paper on the classifications of $Z$-ideals of $C(X)$ induced by the $U_I$ and the $m_I$-topologies on $C(X)$. Motivated by the definition of $m^I$-topology, another generalization of the topology of uniform convergence, called $U^I$-topology, is introduced here. Among several other results, it is established that for a convex ideal $I$, a necessary and sufficient condition for $U^I$-topology to coincide with $m^I$-topology is the boundedness of $X\setminus\bigcap Z[I]$ in $X$. As opposed to the case of the $U_I$-topologies (and $m_I$-topologies), it is proved that each $U^I$-topology (respectively, $m^I$-topology) on $C(X)$ is uniquely determined by the ideal $I$. In the last section, the denseness of the set of units of $C(X)$ in $C_U(X)$ (= $C(X)$ with the topology of uniform convergence) is shown to be equivalent to the strong zero dimensionality of the space $X$. Also, the space $X$ is a weakly P-space if and only if the set of zero divisors (including 0) in $C(X)$ is closed in $C_U(X)$. Computing the closure of $C_\mathscr{P}(X)$ (=$\{f\in C(X):\text{the support of }f\in\mathscr{P}\}$ where $\mathscr{P}$ denotes the ideal of closed sets in $X$) in $C_U(X)$ and $C_m(X)$ (= $C(X)$ with the $m$-topology), the results $cl_UC_\mathscr{P}(X) = C_\infty^\mathscr{P}(X)$ ($=\{f\in C(X):\forall n\in\mathbb{N}, \{x\in X:|f(x)|\geq\frac{1}{n}\}\in\mathscr{P}\}$) and $cl_mC_\mathscr{P}(X)=\{f\in C(X):f.g\in C^\mathscr{P}_\infty(X)\text{ for each }g\in C(X)\}$ are achieved.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Vieta-Lucas Wavelet based schemes for the numerical solution of the singular models
Authors:
Shivani Aeri,
Rakesh Kumar,
Dumitru Baleanu,
Kottakkaran Sooppy Nisar
Abstract:
In this paper, numerical methods based on Vieta-Lucas wavelets are proposed for solving a class of singular differential equations. The operational matrix of the derivative for Vieta-Lucas wavelets is derived. It is employed to reduce the differential equations into the system of algebraic equations by applying the ideas of the collocation scheme, Tau scheme, and Galerkin scheme respectively. Furt…
▽ More
In this paper, numerical methods based on Vieta-Lucas wavelets are proposed for solving a class of singular differential equations. The operational matrix of the derivative for Vieta-Lucas wavelets is derived. It is employed to reduce the differential equations into the system of algebraic equations by applying the ideas of the collocation scheme, Tau scheme, and Galerkin scheme respectively. Furthermore, the convergence analysis and error estimates for Vieta-Lucas wavelets are performed. In the numerical section, the comparative analysis is presented among the different versions of the proposed Vieta-Lucas wavelet methods, and the accuracy of the approaches is evaluated by computing the errors and comparing them to the existing findings.
△ Less
Submitted 19 September, 2023; v1 submitted 29 June, 2023;
originally announced June 2023.
-
Existence and uniqueness of weak solutions to the Smoluchowski coagulation equation with source and sedimentation
Authors:
Prasanta Kumar Barik,
Asha K. Dond,
Rakesh Kumar
Abstract:
This article is devoted to a generalized version of Smoluchowski's coagulation equation. This model describes the time evolution of a system of aggregating particles under the effect of external input and output particles. We show that for a large class of coagulation kernels, output rates, and exponentially decaying input rates, there is a weak solution. Moreover, the solution satisfies the mass-…
▽ More
This article is devoted to a generalized version of Smoluchowski's coagulation equation. This model describes the time evolution of a system of aggregating particles under the effect of external input and output particles. We show that for a large class of coagulation kernels, output rates, and exponentially decaying input rates, there is a weak solution. Moreover, the solution satisfies the mass-conservation property for linear coagulation rate and an additional condition on input and output rates. The uniqueness of weak solutions is also established by applying additional restrictions on the rates.
△ Less
Submitted 15 June, 2023;
originally announced June 2023.
-
Optimal global second-order regularity and improved integrability for parabolic equations with variable growth
Authors:
Rakesh Arora,
Sergey Shmarev
Abstract:
We consider the homogeneous Dirichlet problem for the parabolic equation
\[ u_t- \operatorname{div} \left(|\nabla u|^{p(x,t)-2} \nabla u\right)= f(x,t) + F(x,t, u, \nabla u) \] in the cylinder $Q_T:=Ω\times (0,T)$, where $Ω\subset \mathbb{R}^N$, $N\geq 2$, is a $C^{2}$-smooth or convex bounded domain. It is assumed that $p\in C^{0,1}(\overline{Q}_T)$ is a given function, and that the nonlinear s…
▽ More
We consider the homogeneous Dirichlet problem for the parabolic equation
\[ u_t- \operatorname{div} \left(|\nabla u|^{p(x,t)-2} \nabla u\right)= f(x,t) + F(x,t, u, \nabla u) \] in the cylinder $Q_T:=Ω\times (0,T)$, where $Ω\subset \mathbb{R}^N$, $N\geq 2$, is a $C^{2}$-smooth or convex bounded domain. It is assumed that $p\in C^{0,1}(\overline{Q}_T)$ is a given function, and that the nonlinear source $F(x,t,s, ξ)$ has a proper power growth with respect to $s$ and $ξ$. It is shown that if $p(x,t)>\frac{2(N+1)}{N+2}$, $f\in L^2(Q_T)$, $|\nabla u_0|^{p(x,0)}\in L^1(Ω)$, then the problem has a solution $u\in C^0([0,T];L^2(Ω))$ with $|\nabla u|^{p(x,t)} \in L^{\infty}(0,T;L^1(Ω))$, $u_t\in L^2(Q_T)$, obtained as the limit of solutions to the regularized problems in the parabolic Hölder space. The solution possesses the following global regularity properties: \[ \begin{split} & |\nabla u|^{2(p(x,t)-1)+r}\in L^1(Q_T)\quad \text{for any $0 < r < \frac{4}{N+2}$}, \\ & |\nabla u|^{p(x,t)-2} \nabla u \in W^{1,2}(Q_T)^N. \end{split} \]
△ Less
Submitted 20 October, 2023; v1 submitted 18 May, 2023;
originally announced May 2023.
-
Semiclassical Moser-Trudinger inequalities
Authors:
Rakesh Arora,
Phan Thành Nam,
Phuoc-Tai Nguyen
Abstract:
We extend the Moser-Trudinger inequality of one function to systems of orthogonal functions. Our results are asymptotically sharp when applied to the collective behavior of eigenfunctions of Schrödinger operators on bounded domains.
We extend the Moser-Trudinger inequality of one function to systems of orthogonal functions. Our results are asymptotically sharp when applied to the collective behavior of eigenfunctions of Schrödinger operators on bounded domains.
△ Less
Submitted 26 January, 2024; v1 submitted 2 May, 2023;
originally announced May 2023.
-
A large class of nonlocal elliptic equations with singular nonlinearities
Authors:
Rakesh Arora,
Phuoc-Tai Nguyen,
Vicentiu D. Radulescu
Abstract:
In this work, we address the questions of existence, uniqueness, and boundary behavior of the positive weak-dual solution of equation $\mathbb{L}_γ^s u = \mathcal{F}(u)$, posed in a $C^2$ bounded domain $Ω\subset \mathbb{R}^N$, with appropriate homogeneous boundary or exterior Dirichlet conditions. The operator $\mathbb{L}_γ^s$ belongs to a general class of nonlocal operators including typical fra…
▽ More
In this work, we address the questions of existence, uniqueness, and boundary behavior of the positive weak-dual solution of equation $\mathbb{L}_γ^s u = \mathcal{F}(u)$, posed in a $C^2$ bounded domain $Ω\subset \mathbb{R}^N$, with appropriate homogeneous boundary or exterior Dirichlet conditions. The operator $\mathbb{L}_γ^s$ belongs to a general class of nonlocal operators including typical fractional Laplacians such as restricted fractional Laplacian, censored fractional Laplacian and spectral fractional Laplacian. The nonlinear term $\mathcal{F}(u)$ covers three different amalgamation of nonlinearities: a purely singular nonlinearity $\mathcal{F}(u) = u^{-q}$ ($q>0$), a singular nonlinearity with a source term $\mathcal{F}(u) = u^{-q} + f(u)$, and a singular nonlinearity with an absorption term $\mathcal{F}(u) = u^{-q}-g(u)$. Based on a delicate analysis of the Green kernel associated to $\mathbb{L}_γ^s$, we develop a new unifying approach that empowered us to construct a theory for equation $\mathbb{L}_γ^s u = \mathcal{F}(u)$. In particular, we show the existence of two critical exponents $q^{\ast}_{s, γ}$ and $q^{\ast \ast}_{s, γ}$ which provides a fairly complete classification of the weak-dual solutions via their boundary behavior. Various types of nonlocal operators are discussed to exemplify the wide applicability of our theory.
△ Less
Submitted 12 November, 2022;
originally announced November 2022.
-
Existence of ground state solutions for a Choquard double phase problem
Authors:
Rakesh Arora,
Alessio Fiscella,
Tuhina Mukherjee,
Patrick Winkert
Abstract:
In this paper we study quasilinear elliptic equations driven by the double phase operator involving a Choquard term of the form
\begin{align*}
-\mathcal{L}_{p,q}^{a}(u) + |u|^{p-2}u+ a(x) |u|^{q-2}u = \left( \int_{\mathbb{R}^N} \frac{F(y, u)}{|x-y|^μ}\,\mathrm{d} y\right)f(x,u)
\quad\text{in } \mathbb{R}^N,
\end{align*}
where $\mathcal{L}_{p,q}^{a}$ is the double phase operator given by…
▽ More
In this paper we study quasilinear elliptic equations driven by the double phase operator involving a Choquard term of the form
\begin{align*}
-\mathcal{L}_{p,q}^{a}(u) + |u|^{p-2}u+ a(x) |u|^{q-2}u = \left( \int_{\mathbb{R}^N} \frac{F(y, u)}{|x-y|^μ}\,\mathrm{d} y\right)f(x,u)
\quad\text{in } \mathbb{R}^N,
\end{align*}
where $\mathcal{L}_{p,q}^{a}$ is the double phase operator given by
\begin{align*}
\mathcal{L}_{p,q}^{a}(u):= \operatorname{div}\big(|\nabla u|^{p-2}\nabla u + a(x) |\nabla u|^{q-2}\nabla u \big), \quad u\in W^{1,\mathcal{H}}(\mathbb{R}^N),
\end{align*}
$0<μ<N$, $1<p<N$, $p<q<p+ \frac{αp}{N}$, $0 \leq a(\cdot)\in C^{0,α}(\mathbb{R}^N)$ with $α\in (0,1]$ and $f\colon\mathbb{R}^N\times\mathbb{R}\to\mathbb{R}$ is a continuous function that satisfies a subcritical growth. Based on the Hardy-Littlewood-Sobolev inequality, the Nehari manifold and variational tools, we prove the existence of ground state solutions of such problems under different assumptions on the data.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Existence and global second-order regularity for anisotropic parabolic equations with variable growth
Authors:
Rakesh Arora,
Sergey Shmarev
Abstract:
We consider the homogeneous Dirichlet problem for the anisotropic parabolic equation \[ u_t-\sum_{i=1}^ND_{x_i}\left(|D_{x_i}u|^{p_i(x,t)-2}D_{x_i}u\right)=f(x,t) \] in the cylinder $Ω\times (0,T)$, where $Ω\subset \mathbb{R}^N$, $N\geq 2$, is a parallelepiped. The exponents of nonlinearity $p_i$ are given Lipschitz-continuous functions. It is shown that if $p_i(x,t)>\frac{2N}{N+2}$, \[ μ=\sup_{Q_…
▽ More
We consider the homogeneous Dirichlet problem for the anisotropic parabolic equation \[ u_t-\sum_{i=1}^ND_{x_i}\left(|D_{x_i}u|^{p_i(x,t)-2}D_{x_i}u\right)=f(x,t) \] in the cylinder $Ω\times (0,T)$, where $Ω\subset \mathbb{R}^N$, $N\geq 2$, is a parallelepiped. The exponents of nonlinearity $p_i$ are given Lipschitz-continuous functions. It is shown that if $p_i(x,t)>\frac{2N}{N+2}$, \[ μ=\sup_{Q_T}\dfrac{\max_i p_i(x,t)}{\min_i p_i(x,t)}<1+\dfrac{1}{N}, \quad |D_{x_i}u_0|^{\max\{p_i(\cdot,0),2\}}\in L^1(Ω),\quad f\in L^2(0,T;W^{1,2}_0(Ω)), \] then the problem has a unique solution $u\in C([0,T];L^2(Ω))$ with $|D_{x_i} u|^{p_i}\in L^{\infty}(0,T;L^1(Ω))$, $u_t\in L^2(Q_T)$. Moreover, \[ |D_{x_i}u|^{p_i+r}\in L^1(Q_T)\quad \text{with some $r=r(μ,N)>0$},\qquad |D_{x_i}u|^{\frac{p_i-2}{2}}D_{x_i}u\in W^{1,2}(Q_T). \] The assertions remain true for a smooth domain $Ω$ if $p_i=2$ on the lateral boundary of $Q_T$.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
A Generalization of $ m $-topology and $ U $-topology on rings of measurable functions
Authors:
Soumyadip Acharyya,
Rakesh Bharati,
Atasi Deb Ray,
Sudip Kumar Acharyya
Abstract:
For a measurable space ($X,\mathcal{A}$), let $\mathcal{M}(X,\mathcal{A})$ be the corresponding ring of all real valued measurable functions and let $μ$ be a measure on ($X,\mathcal{A}$). In this paper, we generalize the so-called $m_μ$ and $U_μ$ topologies on $\mathcal{M}(X,\mathcal{A})$ via an ideal $I$ in the ring $\mathcal{M}(X,\mathcal{A})$. The generalized versions will be referred to as the…
▽ More
For a measurable space ($X,\mathcal{A}$), let $\mathcal{M}(X,\mathcal{A})$ be the corresponding ring of all real valued measurable functions and let $μ$ be a measure on ($X,\mathcal{A}$). In this paper, we generalize the so-called $m_μ$ and $U_μ$ topologies on $\mathcal{M}(X,\mathcal{A})$ via an ideal $I$ in the ring $\mathcal{M}(X,\mathcal{A})$. The generalized versions will be referred to as the $m_{μ_{I}}$ and $U_{μ_{I}}$ topology, respectively, throughout the paper. $L_{I}^{\infty} \left(μ\right)$ stands for the subring of $\mathcal{M}(X,\mathcal{A})$ consisting of all functions that are essentially $I$-bounded (over the measure space ($X,\mathcal{A}, μ$)). Also let $I_μ (X,\mathcal{A}) = \big \{ f \in \mathcal{M}(X,\mathcal{A}) : \, \text{for every} \, g \in \mathcal{M}(X,\mathcal{A}), fg \, \, \text{is essentially} \, I$-$\text{bounded} \big \}$. Then $I_μ (X,\mathcal{A})$ is an ideal in $\mathcal{M}(X,\mathcal{A})$ containing $I$ and contained in $L_{I}^{\infty} \left(μ\right)$. It is also shown that $I_μ (X,\mathcal{A})$ and $L_{I}^{\infty} \left(μ\right)$ are the components of $0$ in the spaces $m_{μ_{I}}$ and $U_{μ_{I}}$, respectively. Additionally, we obtain a chain of necessary and sufficient conditions as to when these two topologies coincide.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
A Combination Theorem for Trees of Metric Bundles
Authors:
Rakesh Halder
Abstract:
Motivated by the work of Bestvina-Feighn ([BF92]) and Mj-Sardar ([MS12]), we define trees of metric bundles subsuming both the trees of metric spaces and the metric bundles. Then we prove a combination theorem for these spaces. More precisely, we prove that a tree of metric bundles is hyperbolic if the following hold (see Theorem 1.4). $(1)$ The fibers are uniformly hyperbolic metric spaces and th…
▽ More
Motivated by the work of Bestvina-Feighn ([BF92]) and Mj-Sardar ([MS12]), we define trees of metric bundles subsuming both the trees of metric spaces and the metric bundles. Then we prove a combination theorem for these spaces. More precisely, we prove that a tree of metric bundles is hyperbolic if the following hold (see Theorem 1.4). $(1)$ The fibers are uniformly hyperbolic metric spaces and the base is also hyperbolic metric space, $(2)$ barycenter maps for the fibers are uniformly coarsely surjective, $(3)$ the edge spaces are uniformly qi embedded in the corresponding fibers and $(4)$ Bestvina-Feighn's flaring condition is satisfied.
As an application, we provide a combination theorem for certain complexes of groups over finite simplicial complex (see Theorem 1.2).
△ Less
Submitted 11 January, 2024; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Limited-Trust in Diffusion of Competing Alternatives over Social Networks
Authors:
Vincent Leon,
S. Rasoul Etesami,
Rakesh Nagi
Abstract:
We consider the diffusion of two alternatives in social networks using a game-theoretic approach. Each individual plays a coordination game with its neighbors repeatedly and decides which to adopt. As products are used in conjunction with others and through repeated interactions, individuals are more interested in their long-term benefits and tend to show trust to others to maximize their long-ter…
▽ More
We consider the diffusion of two alternatives in social networks using a game-theoretic approach. Each individual plays a coordination game with its neighbors repeatedly and decides which to adopt. As products are used in conjunction with others and through repeated interactions, individuals are more interested in their long-term benefits and tend to show trust to others to maximize their long-term utility by choosing a suboptimal option with respect to instantaneous payoff. To capture such trust behavior, we deploy limited-trust equilibrium (LTE) in diffusion process. We analyze the convergence of emerging dynamics to equilibrium points using mean-field approximation and study the equilibrium state and the convergence rate of diffusion using absorption probability and expected absorption time of a reduced-size absorbing Markov chain. We also show that the diffusion model on LTE under the best-response strategy can be converted to the well-known linear threshold model. Simulation results show that when agents behave trustworthy, their long-term utility will increase significantly compared to the case when they are solely self-interested. Moreover, the Markov chain analysis provides a good estimate of convergence properties over random networks.
△ Less
Submitted 2 October, 2023; v1 submitted 13 June, 2022;
originally announced June 2022.
-
Zero-divisor graph and comaximal graph of rings of continuous functions with countable range
Authors:
Rakesh Bharati,
Amrita Acharyya,
A. Deb Ray,
Sudip Kumar Acharyya
Abstract:
In this paper, two outwardly different graphs, namely, the zero divisor graph $Γ(C_c(X))$ and the comaximal graph $Γ_2^{'}(C_c(X))$ of the ring $C_c(X)$ of all real-valued continuous functions having countable range, defined on any Hausdorff zero dimensional space $X$, are investigated. It is observed that these two graphs exhibit resemblance, so far as the diameters, girths, connectedness, triang…
▽ More
In this paper, two outwardly different graphs, namely, the zero divisor graph $Γ(C_c(X))$ and the comaximal graph $Γ_2^{'}(C_c(X))$ of the ring $C_c(X)$ of all real-valued continuous functions having countable range, defined on any Hausdorff zero dimensional space $X$, are investigated. It is observed that these two graphs exhibit resemblance, so far as the diameters, girths, connectedness, triangulatedness or hypertriangulatedness. are concerned. However, the study reveals that the zero divisor graph $Γ(A_c(X))$ of an intermediate ring $A_c(X)$ of $C_c(X)$ is complemented if and only if the space of all minimal prime ideals of $A_c(X)$ is compact. Moreover, $Γ(C_c(X))$ is complemented when and only when its subgraph $Γ(A_c(X))$ is complemented. On the other hand, the comaximal graph of $C_c(X)$ is complemented if and only if the comaximal graph of its over-ring $C(X)$ is complemented and the latter graph is known to be complemented if and only if $X$ is a $P$-space. Indeed, for a large class of spaces (i.e., for perfectly normal, strongly zero dimensional spaces which are not P-spaces), $Γ(C_c(X))$ and $Γ_2^{'}(C_c(X))$ are seen to be non-isomorphic. Defining appropriately the quotient of a graph, it is utilised to establish that for a discrete space $X$, $Γ(C_c(X))$ (= $Γ(C(X))$) and $Γ_2^{'}(C_c(X))$ (= $Γ_2^{'}(C(X))$) are isomorphic, if $X$ is atmost countable. Under the assumption of continuum hypothesis, the converse of this result is also shown to be true.
△ Less
Submitted 11 June, 2022;
originally announced June 2022.
-
Non-intrusive reduced-order modeling using convolutional autoencoders
Authors:
Rakesh Halder,
Krzysztof Fidkowski,
Kevin Maki
Abstract:
The use of reduced-order models (ROMs) in physics-based modeling and simulation almost always involves the use of linear reduced basis (RB) methods such as the proper orthogonal decomposition (POD). For some nonlinear problems, linear RB methods perform poorly, failing to provide an efficient subspace for the solution space. The use of nonlinear manifolds for ROMs has gained traction in recent yea…
▽ More
The use of reduced-order models (ROMs) in physics-based modeling and simulation almost always involves the use of linear reduced basis (RB) methods such as the proper orthogonal decomposition (POD). For some nonlinear problems, linear RB methods perform poorly, failing to provide an efficient subspace for the solution space. The use of nonlinear manifolds for ROMs has gained traction in recent years, showing increased performance for certain nonlinear problems over linear methods. Deep learning has been popular to this end through the use of autoencoders for providing a nonlinear trial manifold for the solution space. In this work, we present a non-intrusive ROM framework for steady-state parameterized partial differential equations (PDEs) that uses convolutional autoencoders (CAEs) to provide a nonlinear solution manifold and is augmented by Gaussian process regression (GPR) to approximate the expansion coefficients of the reduced model. When applied to a numerical example involving the steady incompressible Navier-Stokes equations solving a lid-driven cavity problem, it is shown that the proposed ROM offers greater performance in prediction of full-order states when compared to a popular method employing POD and GPR over a number of ROM dimensions.
△ Less
Submitted 8 April, 2022;
originally announced April 2022.
-
Common best proximity point theorems under proximal $F$-weak dominance in complete metric spaces
Authors:
Aman Deep,
Rakesh Batra
Abstract:
Suppose that $S_1$ and $S_2$ are nonempty subsets of a complete metric space $(\mathcal{M},d)$ and $φ,ψ:S_1\to S_2$ are mappings. The aim of this work is to investigate some conditions on $φ$ and $ψ$ such that the two functions, one that assigns to each $x\in S_1$ exactly $d(x,φx)$ and the other that assigns to each $x\in S_1$ exactly $d(x,ψx)$, attain the global minimum value at the same point in…
▽ More
Suppose that $S_1$ and $S_2$ are nonempty subsets of a complete metric space $(\mathcal{M},d)$ and $φ,ψ:S_1\to S_2$ are mappings. The aim of this work is to investigate some conditions on $φ$ and $ψ$ such that the two functions, one that assigns to each $x\in S_1$ exactly $d(x,φx)$ and the other that assigns to each $x\in S_1$ exactly $d(x,ψx)$, attain the global minimum value at the same point in $S_1$. We have introduced the notion of proximally $F$-weakly dominated pair of mappings and proved two theorems that guarantee the existence of such a point. Our work is an improvement of earlier work in this direction. We have also provided examples in which our results are applicable, but the earlier results are not applicable.
△ Less
Submitted 16 April, 2022;
originally announced April 2022.
-
Milnor-Witt cycle modules over an excellent DVR
Authors:
Chetan Balwe,
Amit Hogadi,
Rakesh Pawar
Abstract:
The definition of Milnor-Witt cycle modules in [Feld, N., Milnor-Witt cycle modules, Journal of Pure and Applied Algebra 224 (2020) 106298] can easily be adapted over general regular base schemes. However, there are simple examples to show that Gersten complex fails to be exact for cycle modules in general if the base is not a field. The goal of this article is to show that, for a restricted class…
▽ More
The definition of Milnor-Witt cycle modules in [Feld, N., Milnor-Witt cycle modules, Journal of Pure and Applied Algebra 224 (2020) 106298] can easily be adapted over general regular base schemes. However, there are simple examples to show that Gersten complex fails to be exact for cycle modules in general if the base is not a field. The goal of this article is to show that, for a restricted class of Milnor-Witt cycle modules over an excellent DVR satisfying an extra axiom, called here as R5, the expected properties of exactness of Gersten complex and $\mathbb{A}^1$-invariance hold. Moreover R5 is vacuously satisfied when the base is a perfect field and it is also satisfied by $K^{MW}$ over any base. As a corollary, we obtain the strict $\mathbb{A}^1$-invariance and the exactness of Gersten complex for $K^{MW}$ over an excellent DVR.
△ Less
Submitted 14 July, 2022; v1 submitted 15 March, 2022;
originally announced March 2022.
-
Point sources and stability for an inverse problem for a hyperbolic PDE with space and time dependent coefficients
Authors:
Venkateswaran P. Krishnan,
Rakesh,
Soumen Senapati
Abstract:
We study stability aspects for the determination of space and time-dependent lower order perturbations of the wave operator in three space dimensions with point sources. The problems under consideration here are formally determined and we establish Lipschitz stability results for these problems. The main tool in our analysis is a modified version of Bukgheim-Klibanov method based on Carleman estim…
▽ More
We study stability aspects for the determination of space and time-dependent lower order perturbations of the wave operator in three space dimensions with point sources. The problems under consideration here are formally determined and we establish Lipschitz stability results for these problems. The main tool in our analysis is a modified version of Bukgheim-Klibanov method based on Carleman estimates.
△ Less
Submitted 21 August, 2022; v1 submitted 11 March, 2022;
originally announced March 2022.
-
On double phase Kirchhoff problems with singular nonlinearity
Authors:
Rakesh Arora,
Alessio Fiscella,
Tuhina Mukherjee,
Patrick Winkert
Abstract:
In this paper, we study multiplicity results for double phase problems of Kirchhoff type with right-hand sides that include a parametric singular term and a nonlinear term of subcritical growth. Under very general assumptions on the data, we prove the existence of at least two weak solutions that have different energy sign. Our treatment is based on the fibering method in form of the Nehari manifo…
▽ More
In this paper, we study multiplicity results for double phase problems of Kirchhoff type with right-hand sides that include a parametric singular term and a nonlinear term of subcritical growth. Under very general assumptions on the data, we prove the existence of at least two weak solutions that have different energy sign. Our treatment is based on the fibering method in form of the Nehari manifold. We point out that we cover both the non-degenerate as well as the degenerate Kirchhoff case in our setting.
△ Less
Submitted 15 November, 2021;
originally announced November 2021.
-
Combined effects in mixed local-nonlocal stationary problems
Authors:
Rakesh Arora,
Vicentiu D. Radulescu
Abstract:
In this work, we study an elliptic problem involving an operator of mixed order with both local and nonlocal aspects, and in either the presence or the absence of a singular nonlinearity. We investigate existence or non-existence properties, power and exponential type Sobolev regularity results, and the boundary behavior of the weak solution, in the light of the interplay between the summability o…
▽ More
In this work, we study an elliptic problem involving an operator of mixed order with both local and nonlocal aspects, and in either the presence or the absence of a singular nonlinearity. We investigate existence or non-existence properties, power and exponential type Sobolev regularity results, and the boundary behavior of the weak solution, in the light of the interplay between the summability of the datum and the power exponent in singular nonlinearities.
△ Less
Submitted 12 November, 2021;
originally announced November 2021.
-
Almost Yamabe Solitons on a Total Space of Almost Hermitian Submersions
Authors:
Tanveer Fatima,
Mehmet Akif Akyol,
Rakesh Kumar
Abstract:
This article presents the study of almost Hermitian submersion from an almost Yamabe soliton onto an almost Hermitian manifold. A non-trivial example is also mentioned in order to guarantee the existence of such solitons on the total space of almost Hermitian submersions. We mainly focus on Kaehler submersions from Kaehler manifolds which are special case of almost Hermitian submersions. Under cer…
▽ More
This article presents the study of almost Hermitian submersion from an almost Yamabe soliton onto an almost Hermitian manifold. A non-trivial example is also mentioned in order to guarantee the existence of such solitons on the total space of almost Hermitian submersions. We mainly focus on Kaehler submersions from Kaehler manifolds which are special case of almost Hermitian submersions. Under certain conditions, we find out that the fibres and the base manifold of such submersions are almost Yamabe soliton. We give the characterizations for an almost Yamabe soliton of a Kaehler submersion to be shrinking, steady and expanding in terms of extrinsic horizontal scalar curvature. Moreover, we observe the behavior of torqued, recurrent and concurrent vector field of the total space of the Kaehler submersion. In particular, we obtain characterization for an almost Yamabe soliton consisting of concurrent vector fields. Meanwhile, we give some results of such submersions when the total space is Yamabe soliton which is a particular case of almost Yamabe soliton.
△ Less
Submitted 1 October, 2021;
originally announced October 2021.
-
Existence and regularity results for a class of parabolic problems with double phase flux of variable growth
Authors:
Rakesh Arora,
Sergey Shmarev
Abstract:
We study the homogeneous Dirichlet problem for the equation \[ u_t-\operatorname{div}\left((a(z)\vert \nabla u\vert ^{p(z)-2}+b(z)\vert \nabla u\vert ^{q(z)-2})\nabla u\right)=f\quad \text{in $Q_T=Ω\times (0,T)$}, \] where $Ω\subset \mathbb{R}^N$, $N\geq 2$, is a bounded domain with $\partialΩ\in C^2$. The variable exponents $p$, $q$ and the nonnegative modulating coefficients $a$, $b$ are given L…
▽ More
We study the homogeneous Dirichlet problem for the equation \[ u_t-\operatorname{div}\left((a(z)\vert \nabla u\vert ^{p(z)-2}+b(z)\vert \nabla u\vert ^{q(z)-2})\nabla u\right)=f\quad \text{in $Q_T=Ω\times (0,T)$}, \] where $Ω\subset \mathbb{R}^N$, $N\geq 2$, is a bounded domain with $\partialΩ\in C^2$. The variable exponents $p$, $q$ and the nonnegative modulating coefficients $a$, $b$ are given Lipschitz-continuous functions of the argument $z=(x,t)\in Q_T$. It is assumed that $\frac{2N}{N+2}<p(z),\ q(z)$ and that the modulating coefficients and growth exponents satisfy the balance conditions \[ \text{$a(z)+b(z)\geq α>0$ in $\overline{Q}_T$},\; α=const;\qquad \text{$\vert p(z)-q(z)\vert <\frac{2}{N+2}$ in $\overline{Q}_T$}. \] We find conditions on the source $f$ and the initial data $u(\cdot,0)$ that guarantee the existence of a unique strong solution $u$ with $u_t\in L^2(Q_T)$ and $a\vert \nabla u\vert ^{p}+b\vert \nabla u\vert ^q\in L^\infty(0,T;L^1(Ω))$. The solution possesses the property of global higher integrability of the gradient, \[ \vert \nabla u\vert ^{\min\{p(z),q(z)\}+r}\in L^1(Q_T)\quad \text{with any $r\in \left(0,\frac{4}{N+2}\right)$}, \] which is derived with the help of new interpolation inequalities in the variable Sobolev spaces. The second-order differentiability of the strong solution is proven: \[ D_{x_i}\left(\left(a\vert \nabla u\vert ^{p-2}+b\vert \nabla u\vert ^{q-2}\right)^{\frac{1}{2}}D_{x_j}u\right)\in L^2(Q_T),\quad i,j=1,2,\ldots,N. \]
△ Less
Submitted 8 September, 2021;
originally announced September 2021.
-
Multiplicity results for nonhomogeneous elliptic equations with singular nonlinearities
Authors:
Rakesh Arora
Abstract:
This paper is concerned with the study of multiple positive solutions to the following elliptic problem involving a nonhomogeneous operator with nonstandard growth of $p$-$q$ type and singular nonlinearities \begin{equation*}
\left\{
\begin{alignedat}{2}
{} - \mathcal{L}_{p,q} u
& {}= λ\frac{f(u)}{u^γ}, \ u>0
&& \quad\mbox{ in } \, Ω,
u & {}= 0
&& \quad\mbox{ on } \partialΩ,
\end{a…
▽ More
This paper is concerned with the study of multiple positive solutions to the following elliptic problem involving a nonhomogeneous operator with nonstandard growth of $p$-$q$ type and singular nonlinearities \begin{equation*}
\left\{
\begin{alignedat}{2}
{} - \mathcal{L}_{p,q} u
& {}= λ\frac{f(u)}{u^γ}, \ u>0
&& \quad\mbox{ in } \, Ω,
u & {}= 0
&& \quad\mbox{ on } \partialΩ,
\end{alignedat}
\right. \end{equation*} where $Ω$ is a bounded domain in $\mathbb{R}^N$ with $C^2$ boundary, $N \geq 1$, $λ>0$ is a real parameter, $$\mathcal{L}_{p,q} u := div(|\nabla u|^{p-2} \nabla u + |\nabla u|^{q-2} \nabla u),$$ $1<p<q< \infty$, $γ\in (0,1)$, and $f$ is a continuous nondecreasing map satisfying suitable conditions. By constructing two distinctive pairs of strict sub and super solution, and using fixed point theorems by Amann , we prove existence of three positive solutions in the positive cone of $C_δ(\overlineΩ)$ and in a certain range of $λ$.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
A remark on Gersten complex for Milnor $K$-theory
Authors:
Rakesh Pawar
Abstract:
In this note, we consider the Gersten complex for Milnor $K$-theory over a regular local Henselian domain $S$ and prove that in degrees $\geq \dim S\geq 1$, the Gersten complex of an essentially smooth Henselian local $S$-scheme is exact.
In this note, we consider the Gersten complex for Milnor $K$-theory over a regular local Henselian domain $S$ and prove that in degrees $\geq \dim S\geq 1$, the Gersten complex of an essentially smooth Henselian local $S$-scheme is exact.
△ Less
Submitted 3 May, 2022; v1 submitted 14 May, 2021;
originally announced May 2021.
-
Optimal Design of Membrane Cascades for Gaseous and Liquid Mixtures via MINLP
Authors:
Jose Adrian Chavez Velasco,
Radhakrishna Tumbalam Gooty,
Mohit Tawarmalani,
Rakesh Agrawal
Abstract:
Given the growing concern of reducing CO2 emissions, it is desirable to identify, for a given separation carried out through a membrane cascade, the optimum design that yields the lowest energy consumption. Nevertheless, designing a membrane cascade is challenging since, there are often multiple feasible configurations that differ in their energy consumption and cost. In this work, we develop a Mi…
▽ More
Given the growing concern of reducing CO2 emissions, it is desirable to identify, for a given separation carried out through a membrane cascade, the optimum design that yields the lowest energy consumption. Nevertheless, designing a membrane cascade is challenging since, there are often multiple feasible configurations that differ in their energy consumption and cost. In this work, we develop a Mixed Integer Non-linear Program (MINLP) that, for a given binary separation, which may be either liquid or gaseous, finds the cascade and its operating conditions that minimize energy consumption. To model the separation at each membrane in the cascade, we utilize the analytical solution of a system of differential and algebraic equations derived from the crossflow model and the solution-diffusion theory. We provide numerical evidence which shows that our single-stage membrane model accurately predicts experimental data. Unfortunately, the resulting membrane model is non-convex and, even state-of-the-art solvers struggle to prove global optimality of the cascades and the operating conditions identified. In this paper, we derive various cuts that help with relaxation quality and, consequently, accelerate convergence of branch-and-bound based solvers. More specifically, we demonstrate, on various examples, that our cuts help branch-and-bound solvers converge within 5\% optimality gap in a reasonable amount of time and such a tolerance level was not achieved by a simple formulation of the membrane model. The proposed optimization model is an easy-to-use tool for practitioners and researchers to design energy efficient membrane cascades.
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
Trace and discriminant criteria for a matrix to be a sum of sixth and eighth powers of matrices
Authors:
Rakesh Barai,
Anuradha S. Garge
Abstract:
In this paper, we shall be considering the Waring's problem for matrices. One version of the problem involves writing an $n \times n$ matrix over a commutative ring $R$ with unity as a sum of $k$-th powers of matrices over $R.$ This study is motivated by the interesting results of Carlitz, Newman, Vaserstein, Griffin, Krusemeyer, Richman etc. obtained earlier in this direction. The results are for…
▽ More
In this paper, we shall be considering the Waring's problem for matrices. One version of the problem involves writing an $n \times n$ matrix over a commutative ring $R$ with unity as a sum of $k$-th powers of matrices over $R.$ This study is motivated by the interesting results of Carlitz, Newman, Vaserstein, Griffin, Krusemeyer, Richman etc. obtained earlier in this direction. The results are for the case $n \geq k \geq 2$ in terms of the trace of the matrix.
For $n < k,$ it was shown by Katre, Garge that it is enough to work with the special case $n = 2$ and $k \geq 3.$ The cases $3 \leq k \leq 5$ and $k = 7$ were settled in earlier results. There was no case of a composite, non-prime-power $k$ occuring above. In this paper, we will find the trace criteria for a matrix to be a sum of sixth (a composite non-prime power) and eighth powers of matrices over a commutative ring $R$ with unity.
An elegant discriminant criterion was obtained by Katre and Khule earlier in the special case of an order in an algebraic number field $\mathcal{O}.$ We will derive here similar discriminant criteria for every matrix over $\mathcal{O}$ to be a sum of sixth and eighth powers of matrices over $\mathcal{O}.$
△ Less
Submitted 26 December, 2020;
originally announced December 2020.
-
Advances in MINLP to Identify Energy-efficient Distillation Configurations
Authors:
Radhakrishna Tumbalam Gooty,
Rakesh Agrawal,
Mohit Tawarmalani
Abstract:
In this paper, we describe the first mixed-integer nonlinear programming (MINLP) based solution approach that successfully identifies the most energy-efficient distillation configuration sequence for a given separation. Current sequence design strategies are largely heuristic. The rigorous approach presented here can help reduce the significant energy consumption and consequent greenhouse gas emis…
▽ More
In this paper, we describe the first mixed-integer nonlinear programming (MINLP) based solution approach that successfully identifies the most energy-efficient distillation configuration sequence for a given separation. Current sequence design strategies are largely heuristic. The rigorous approach presented here can help reduce the significant energy consumption and consequent greenhouse gas emissions by separation processes, where crude distillation alone is estimated to consume 6.9 quads of energy per year globally. The challenge in solving this problem arises from the large number of feasible configuration sequences and because the governing equations contain non-convex fractional terms. We make several advances to enable solution of these problems. First, we model discrete choices using a formulation that is provably tighter than previous formulations. Second, we highlight the use of partial fraction decomposition alongside Reformulation-Linearization Technique (RLT). Third, we obtain convex hull results for various special structures. Fourth, we develop new ways to discretize the MINLP. Finally, we provide computational evidence to demonstrate that our approach significantly outperforms the state-of-the-art techniques.
△ Less
Submitted 22 October, 2020;
originally announced October 2020.
-
Stability for a formally determined inverse problem for a hyperbolic PDE with space and time dependent coefficients
Authors:
Venky Krishnan,
Rakesh,
Soumen Senapati
Abstract:
We prove stability for a formally determined inverse problem for a hyperbolic PDE where the coefficients depend on space and time variables. The hyperbolic operator has constant wave speed and we study the recovery of zeroth order and first order coefficients and the space dimension can be one or higher. We use a modification of the Bukhgeim-Klibanov method to obtain our results.
We prove stability for a formally determined inverse problem for a hyperbolic PDE where the coefficients depend on space and time variables. The hyperbolic operator has constant wave speed and we study the recovery of zeroth order and first order coefficients and the space dimension can be one or higher. We use a modification of the Bukhgeim-Klibanov method to obtain our results.
△ Less
Submitted 17 June, 2021; v1 submitted 22 October, 2020;
originally announced October 2020.
