Searcharxiv⌕ Search

arXiv subjects

Kaushik Kalyanaraman

Publications and source records attributed to Kaushik Kalyanaraman.

8 recordsLinked to original sources

An Arbitrarily Higher-Order Time Implicit Scheme for Maxwell's Equations

We propose an arbitrarily higher (even) order implicit leapfrog scheme for time discretization of a three-field formulation of Maxwell's equations. We use this in conjunction with an arbitrarily higher-order and compatible discretization using finite element spaces that form a de Rham complex. In doing so, we provide a generalization of an earlier work building from~\cite{ArKa2025} and~\cite{ArKa2026}. We prove stability, demonstrate energy conservation, and characterize the asymptotic convergence of the error for the time semidiscretization as well as for the full spatial and temporal discretization of this Maxwell's system. We also provide some numerical validation using computational examples in $\mathbb{R}^2$.

math.NA↗

Two Frameworks and their Fourth Order Implicit Schemes for Time Discretization of Maxwell's Equations

Our work is about energy conserving fourth-order time discretizations of a three-field formulation of Maxwell's equations in conjunction with a spatial discretization using higher-order and compatible de Rham finite element spaces. Toward this end, we delineate two broad classes of strategies for general higher-order time discretizations which we term spatial and temporal strategies. We provide a description of these two strategies and develop fourth-order time accurate schemes in the context of our Maxwell's system. However, our description can be used to prescribe similar fourth- or even higher-order time-integration methods for any linear (or quasi-linear) system of time-dependent partial differential equations. Our organizing principle in our proposed two strategies is to Taylor expand the unknown solution in time by assuming sufficient regularity. Then, in the spatial strategy, we use Maxwell's equations themselves to replace the fourth-order time derivatives in an appropriately truncated Taylor expansion with corresponding higher-order spatial derivatives. On the other hand, in the temporal strategy, we simply use higher-order finite difference schemes for the various higher-order time derivative terms in the truncated Taylor approximation. In both cases, we then defer to a standard finite element exterior calculus manner of compatible discretization for the spatial component of the Maxwell's solution. For our proposed schemes corresponding to the two strategies, we show that they are both stable and convergent and provide some validating numerical examples in $\mathbb{R}^2$. Our main contributions are in the development of the fourth-order time discretization methods that are energy conserving using our two outlined strategies and proofs of their convergence for semi- and full-discretizations of our three-field system of Maxwell's equations.

math.NA↗

Energy Conserving Higher Order Mixed Finite Element Discretizations of Maxwell's Equations

We study a system of Maxwell's equations that describes the time evolution of electromagnetic fields with an additional electric scalar variable to make the system amenable to a mixed finite element spatial discretization. We demonstrate stability and energy conservation for the variational formulation of this Maxwell's system. We then discuss two implicit, energy conserving schemes for its temporal discretization: the classical Crank-Nicholson scheme and an implicit leapfrog scheme. We next show discrete stability and discrete energy conservation for the semi-discretization using these two time integration methods. We complete our discussion by showing that the error for the full discretization of the Maxwell's system with each of the two implicit time discretization schemes and with spatial discretization through a conforming sequence of de Rham finite element spaces converges quadratically in the step size of the time discretization and as an appropriate polynomial power of the mesh parameter in accordance with the choice of approximating polynomial spaces. Our results for the Crank-Nicholson method are generally well known but have not been demonstrated for this Maxwell's system. Our implicit leapfrog scheme is a new method to the best of our knowledge and we provide a complete error analysis for it. Finally, we show computational results to validate our theoretical claims using linear and quadratic Whitney forms for the finite element discretization for some model problems in two and three spatial dimensions.

math.NA↗

Quantifying macrostructures in viscoelastic sub-diffusive flows

We present a theory to quantify the formation of spatiotemporal macrostructures (or the non-homogeneous regions of high viscosity at moderate to high fluid inertia) for viscoelastic sub-diffusive flows, by introducing a mathematically consistent decomposition of the polymer conformation tensor, into the so-called structure tensor. Our approach bypasses an inherent problem in the standard arithmetic decomposition, namely, the fluctuating conformation tensor fields may not be positive definite and hence, do not retain their physical meaning. Using well-established results in matrix analysis, the space of positive definite matrices is transformed into a Riemannian manifold by defining and constructing a geodesic via the inner product on its tangent space. This geodesic is utilized to define three scalar invariants of the structure tensor, which do not suffer from the caveats of the regular invariants (such as trace and determinant) of the polymer conformation tensor. First, we consider the problem of formulating perturbative expansions of the structure tensor using the geodesic, which is consistent with the Riemannian manifold geometry. A constraint on the maximum time, during which the evolution of the perturbative solution can be well approximated by linear theory along the Euclidean manifold, is found. Finally, direct numerical simulations of the viscoelastic sub-diffusive channel flows (where the stress-constitutive law is obtained via coarse-graining the polymer relaxation spectrum at finer scale, Chauhan et. al., Phys. Fluids, DOI: 10.1063/5.0174598 (2023)), underscore the advantage of using these invariants in effectively quantifying the macrostructures.

physics.flu-dyn↗

Delaunay Hodge Star

We define signed dual volumes at all dimensions for circumcentric dual meshes. We show that for pairwise Delaunay triangulations with mild boundary assumptions these signed dual volumes are positive. This allows the use of such Delaunay meshes for Discrete Exterior Calculus (DEC) because the discrete Hodge star operator can now be correctly defined for such meshes. This operator is crucial for DEC and is a diagonal matrix with the ratio of primal and dual volumes along the diagonal. A correct definition requires that all entries be positive. DEC is a framework for numerically solving differential equations on meshes and for geometry processing tasks and has had considerable impact in computer graphics and scientific computing. Our result allows the use of DEC with a much larger class of meshes than was previously considered possible.

cs.CG↗

Cohomologous Harmonic Cochains

We describe algorithms for finding harmonic cochains, an essential ingredient for solving elliptic partial differential equations in exterior calculus. Harmonic cochains are also useful in computational topology and computer graphics. We focus on finding harmonic cochains cohomologous to a given cocycle. Amongst other things, this allows localization near topological features of interest. We derive a weighted least squares method by proving a discrete Hodge-deRham theorem on the isomorphism between the space of harmonic cochains and cohomology. The solution obtained either satisfies the Whitney form finite element exterior calculus equations or the discrete exterior calculus equations for harmonic cochains, depending on the discrete Hodge star used.

cs.CG↗

Least Squares Ranking on Graphs

Given a set of alternatives to be ranked, and some pairwise comparison data, ranking is a least squares computation on a graph. The vertices are the alternatives, and the edge values comprise the comparison data. The basic idea is very simple and old: come up with values on vertices such that their differences match the given edge data. Since an exact match will usually be impossible, one settles for matching in a least squares sense. This formulation was first described by Leake in 1976 for rankingfootball teams and appears as an example in Professor Gilbert Strang's classic linear algebra textbook. If one is willing to look into the residual a little further, then the problem really comes alive, as shown effectively by the remarkable recent paper of Jiang et al. With or without this twist, the humble least squares problem on graphs has far-reaching connections with many current areas ofresearch. These connections are to theoretical computer science (spectral graph theory, and multilevel methods for graph Laplacian systems); numerical analysis (algebraic multigrid, and finite element exterior calculus); other mathematics (Hodge decomposition, and random clique complexes); and applications (arbitrage, and ranking of sports teams). Not all of these connections are explored in this paper, but many are. The underlying ideas are easy to explain, requiring only the four fundamental subspaces from elementary linear algebra. One of our aims is to explain these basic ideas and connections, to get researchers in many fields interested in this topic. Another aim is to use our numerical experiments for guidance on selecting methods and exposing the need for further development.

math.NA↗

Numerical Experiments for Darcy Flow on a Surface Using Mixed Exterior Calculus Methods

There are very few results on mixed finite element methods on surfaces. A theory for the study of such methods was given recently by Holst and Stern, using a variational crimes framework in the context of finite element exterior calculus. However, we are not aware of any numerical experiments where mixed finite elements derived from discretizations of exterior calculus are used for a surface domain. This short note shows results of our preliminary experiments using mixed methods for Darcy flow (hence scalar Poisson's equation in mixed form) on surfaces. We demonstrate two numerical methods. One is derived from the primal-dual Discrete Exterior Calculus and the other from lowest order finite element exterior calculus. The programming was done in the language Python, using the PyDEC package which makes the code very short and easy to read. The qualitative convergence studies seem to be promising.

math.NA↗