Analysis of the long-term behavior of the "Bando--follow-the-leader'' car-following model

2026-02-27T20:31:06Z

In this article, we investigate the long-term behavior of the ``Bando--follow-the-leader'' car-following model, whose well-posedness and stability with respect to delay were analyzed in a recent work \cite{gong2023well}. We first establish the collision-free property of the model with $N+1\in\N_{\geq2}$ vehicles over an infinite time horizon, assuming that the trajectory of the first vehicle is prescribed, by demonstrating the existence of a uniform strictly positive lower bound on the space headway between adjacent vehicles. Furthermore, assuming that the first vehicle travels at a constant velocity and $N\in\N_{\geq1}$ vehicles follow it according to the Bando--follow-the-leader model on a single lane, our main results state that, with certain reasonable constraints imposed on the modeling parameters, all $N$ following vehicles will eventually (i.e., when time goes to infinity) converge to the same headway and velocity with a globally exponential convergence rate. The analytical methods are based on Lyapunov functions and a perturbation argument. Numerical simulations are also provided to illustrate the obtained theoretical convergence guarantees.

Fourier transform of vector-valued graph signals

2026-02-27T16:18:10Z

Classical Graph Signal Processing (GSP) provides a robust framework for analyzing signals on irregular domains, utilizing the graph Fourier transform as a cornerstone for spectral analysis and filtering. However, as data structures grow in complexity, there is an increasing need to handle multi-dimensional information. In this paper, we propose a generalization of the GSP framework by introducing vector-valued graph signals which take values in arbitrary Banach spaces. We define and investigate the fundamental operators of vertex-frequency analysis within this broader setting, including the Fourier transform, convolution, and translation operators. A key contribution of this work is the derivation of operator norm estimates and the establishment of graph-theoretic versions of classical uncertainty principles. We demonstrate how these results depend on the choice of the orthonormal basis and on the underlying $L^p$ norms. By modeling multiple scalar signals as a single vector-valued entity, this framework facilitates the study of inter-signal correlations, providing a flexible and mathematically grounded environment for analyzing multivariate time-series and time-varying signals on complex networks.

On Falconer type functions and the distance set problem

2026-02-27T15:50:11Z

We study the distance set problem for pairs of compact sets $A, B\subset \mathbb{R}^n$, $n\geq 2$. We show that if $B$ is contained in a hyperplane and \begin{align*} \dim_{H} A+\dim_{H} B>n, \end{align*} then the distance set $ Δ(A,B):=\left\{ \vert x-y\vert: x\in A, y\in B\right\}$ has positive Lebesgue measure, and the dimensional threshold is sharp. This yields new positive results for Falconer's distance problem in certain regimes, particularly where the best known bounds fail to apply. We further establish Falconer's distance conjecture for certain classes of product sets under additional structural assumptions. Specifically, if $A=A_1\times A_2\subset \mathbb{R}^{m}\times \mathbb{R}^{n-m}$ for some $0\leq m\leq n-1$, where $A_2$ is a Salem set, and \[ \dim_HA>\frac{n}{2}, \] then the distance set $Δ(A):=\left\{|x-y|: x,y\in A\right\} $ has positive Lebesgue measure. A key feature of our argument is the interpretation of the original map as a suitable projection. We extend the analysis to a broad class of smooth functions, recovering the sharp result of Koh, Pham, and Shen (J. Funct. Anal. 286 (2024)) for quadratic polynomials in three variables.

Principal Non-singularity of Fourier Matrices on $\mathbb Z_p \times \mathbb Z_q$ and $\mathbb Z_2^k \times \mathbb Z_q$

2026-02-27T15:25:43Z

Let $F_n$ be the $n\times n$ Fourier matrix on the cyclic group $\mathbb Z_n$, a renowned theorem of Chebotarëv asserts that all minors in $F_n$ for prime $n$ are non-zero. In this short note it is shown that (i) all principal minors in the Kronecker product $F_p\otimes F_q$ are non-vanishing (principal non-singularity) for distinct odd primes $p,q$ if $q$ is large enough and generates the multiplicative group $\mathbb Z_p^*$; (ii) the Fourier matrix on $\mathbb Z_2^k \times \mathbb Z_q$ is principally non-singular upon permutation (in particular, for $k=1$ the identity permutation suffices) for odd prime $q$ and $k=1,2,3$. The proof is just an exposition of existing techniques reorganized in a unified way. The result will have implications in combining Riesz bases of exponentials.

Rational solutions and limit cycles of polynomial and trigonometric Abel equations

2026-02-27T10:50:13Z

We study the Abel differential equation x0 = A(t)x3 + B(t)x2 +C(t)x. Specifically, we find bounds on the number of its rational solutions when A(t), B(t) and C(t) are polynomials with real or complex coefficients; and on the number of rational limit cycles when A(t), B(t) and C(t) are trigonometric polynomials with real coefficients.

Some geometric and spectral aspects of restriction problems

2026-02-27T07:47:51Z

This texts commemorates the memory of Haim Brezis and explores some aspects of the restriction problem, particularly its connections to spectral and geometric analysis. Our choice of subject is motivated by Brezis' significant contributions to various domains related to this problem, including harmonic analysis, partial differential equations, spectral theory, representation theory, number theory, and many others.

Multi-parameter fractional integration on Heisenberg group

2026-02-27T06:19:37Z

We study strong fractional maximal operator and fractional integral operator associated with Zygmund dilation defined on Heisenberg group. Characterizations are established for the L^p to L^q regularity of these two operators.

Fractional Besov-Sobolev Spaces on Quasicircles

2026-02-27T00:37:06Z

Let $Γ$ be a bounded Jordan curve and $Ω_i,Ω_e$ its two complementary components. For $p\in (1, \infty),\,s\in(0,1)$ we define the two spaces $\mathcal{B}_{p,p}^s(Ω_{i,e})$ as the set of harmonic functions $u$ respectively in $Ω_i$ and $Ω_e$ such that $$ \iint_{Ω_{i,e}} |\nabla u(z)|^p d(z,Γ)^{(1-s)p-1} dxdy<+\infty.$$ When it is possible to identify these spaces with spaces of functions on the boundary (trace spaces), we address the question of their equality. When $Γ$ is the unit circle, these two spaces coincide with homogeneous fractional Besov-Sobolev spaces and the framework of quasicircles appears to be an appropriate generalization. In this framework, we study the boundedness of the Plemelj-Calderón operator and apply the results to show that for some values of $p,s$, if the two spaces coincide, they are restrictions to $Γ$ of some weighted Sobolev space. If $Γ$ is further assumed to be rectifiable, we define $B_{p,p}^s(Γ)$ as the space of functions $f\in L^p(Γ)$ such that $$\iint_{Γ\times Γ}\frac{|f(z)-f(ζ)|^p}{|z-ζ|^{1+ps}} |dz||dζ|<+\infty.$$ Again, these spaces coincide with the homogeneous fractional Besov-Sobolev spaces for the unit circle. While the chord-arc property is the necessary and sufficient condition for the equality $$\mathcal{B}_{p,p}^s(Ω_{i})=\mathcal{B}_{p,p}^s(Ω_{e})=B_{p,p}^s(Γ)$$ in the case of $s=1/p,\, p\ge 2$, this is no longer the case for general $s\in (0,1)$. However, we show that equality holds for radial-Lipschitz curves. Finally, we re-interpretate some of our results as some "almost"-Dirichlet principle in the spirit of Maz'ya.

Spherical maximal operators with fractal sets of dilations on radial functions

2026-02-26T22:31:29Z

For a given set of dilations $E\subset [1,2]$, Lebesgue space mapping properties of the spherical maximal operator with dilations restricted to $E$ are studied when acting on radial functions. In higher dimensions, the type set only depends on the upper Minkowski dimension of $E$, and in this case complete endpoint results are obtained. In two dimensions we determine the closure of the $L^p\to L^q$ type set for every given set $E$ in terms of a dimensional spectrum closely related to the upper Assouad spectrum of $E$.

Continuous dependence results for quasilinear evolution equations

2026-02-26T20:43:41Z

We study continuous dependence of solutions to quasilinear evolution equations of parabolic-type in the framework of maximal $L^p$-regularity. For equations of the form \[ \frac{dφ}{dt} + A(t,φ)φ= f(t,φ), \] we establish continuous dependence of strong solutions on initial data, and suitable approximations of the nonlinear operators $A$ and $f$. An important step for proving the main result is the fact that the maximal regularity constant of the operator $A(t,φ)$, with $t$ and $φ$ fixed, admits a uniform bound over compact subsets of the relevant Banach spaces. As an application, we consider a class of non-Newtonian fluid models with a Carreau-type viscosity and mixed boundary conditions. We show that, as the nonlinear contribution in the viscosity vanishes and the initial data converge, solutions of the non-Newtonian fluid model converge to those of the classical Navier--Stokes equations.

Singularities of the First Painlev{é} Transcendent

2026-02-26T20:26:51Z

Consider the solution $y(t)$ for the ordinary differential equation $y' = f(t, y)$ with $t$ complex. Second-order nonlinear differential equations often exhibit patterns in their poles, branch points, and essential singularities, explored by \Pain and colleagues, 1888--1915. A variant of the ratio test applied to the Taylor series for the solution $y$ estimates the locations and orders of singularities in the First Painlev{é} Transcendent as an example. Can you suggest applications in which our singularity location analysis can provide useful insights?

Bounded and measurable common fundamental domains for two lattices

2026-02-26T20:16:21Z

Suppose that $L, M$ are two full-rank lattices in Euclidean space with $\text{vol}(L)=\text{vol}(M)$. We give a new proof on the existence of a bounded and Lebesgue measurable set that tiles $\mathbb{R}^d$ with both $L,M$ using the measurable Hall's Theorem which was proved by T.Ciésla and M. Sabok. This proof is direct and does not go through the intermediate results on cut-and-project sets involved in the proof given by S.Grepstad and M.Kolountzakis. We also show the existence of a bounded, set-theoretic (i.e., not necessarily measurable) common fundamental domain of $L,M$ assuming only that $\text{vol}(L)=\text{vol}(M)$. Combining these results we show the existence of a bounded and Lebesgue measurable common fundamental domain for any two full-rank lattices of equal volumes. Finally we show that a set-theoretic bounded, common fundamental domain cannot exist when $\text{vol}(L)\neq \text{vol}(M)$.

A new product formula for $(z;q)_\infty$, with applications to asymptotics

2026-02-26T17:58:17Z

We express the $q$-Pochhammer symbol $(z;q)_\infty$ as an infinite product of gamma functions, analogously to how Narukawa expressed the elliptic gamma function as an infinite product of hyperbolic gamma functions. This identity is used to obtain asymptotic expansions when $q$ tends to $1$.

Subharmonic Kernels and Energy Minimizing Measures, with Applications to the Flat Torus

2026-02-26T17:29:19Z

We study the minimization of the energy integral $I_K(μ) = \int_Ω \int_Ω K(x,y) dμ(x) dμ(y)$ over all Borel probability measures $μ$, where $(Ω,ρ)$ is a compact connected metric space and $K:Ω^2 \to [0,\infty]$ is continuous in the extended sense. We focus on kernels $K$ which are subharmonic, which we define so that the potential $U_K^μ(x) = \int_Ω K(x,y) dμ(y)$ satisfies a maximum principle on $Ω\setminus{\rm supp}μ$. This extends the classical electrostatics minimization problem for logarithmic energy $\int_Ω\int_Ω\log\left(\frac{1}{||x-y||}\right)$, which is used heavily as a tool in approximation theory. Using properties of minimizing measures, we show that if the singularities of the subharmonic kernel $K$ are such that $K$ is regular, then $K$ is positive definite, and $μ$ is a minimizing measure if and only if its potential is constant (outside of a small exceptional set).We then apply this result to group invariant kernels on compact homogeneous manifolds. In this case, the uniform measure $σ$ has constant potential, so subharmonicity implies that this is the minimizing measure. Finally, we look at the case of the $d$-dimensional flat torus $T^d$. We use our results to see that the Riesz kernel $K_s(x,y) = {\rm sign}(s)ρ(x,y)^{-s}$ is minimized by $σ$ (and thus positive definite) when $d > s \geq d-2$. Additionally, the positive definiteness gives us a condition which implies that the multivariate Fourier series of a function $f:[0,π]^d \to [0,\infty]$ has nonnegative coefficients.

Discrete equations from Bäcklund transformations of the fifth Painlevé equation

2026-02-26T14:20:30Z

In this paper discrete equations are derived from Bäcklund transformations of the fifth Painlevé equation, including a new discrete equation which has ternary symmetry. There are two classes of rational solutions of the fifth Painlevé equation, one expressed in terms of the generalised Laguerre polynomials and the other in terms of the generalised Umemura polynomials, both of which can be expressed as Wronskians of Laguerre polynomials. Hierarchies of rational solutions of the discrete equations are derived in terms of the generalised Laguerre and generalised Umemura polynomials. It is known that there is nonuniqueness of some rational solutions of the fifth Painlevé equation. Pairs of nonunique rational solutions are used to derive distinct hierarchies of rational solutions which satisfy the same discrete equation.