相关论文: Fermat's and Catalan's equations over $M_2(\mathbb…

The primary aim of this paper is to study the generalized Fermat equation \[ x^2+y^{2n} = z^{3p} \] in coprime integers $x$, $y$, and $z$, where $n \geq 2$ and $p$ is a fixed prime. Using modularity results over totally real fields and the…

We introduce the families of solvable and nilpotent matroids, examining their realization spaces, closures, and associated matroid and circuit varieties. We study their realizability, as well as the irreducible decomposition of their…

In this paper we carry out the steps of Darmon's program for the generalized Fermat equation $$ x^n + y^n = z^5. $$ In particular, we develop the machinery necessary to prove an optimal bound on the exponent $n$ for solutions satisfying…

We consider a smooth, complete and non-compact Riemannian manifold $(\mathcal{M},g)$ of dimension $d \geq 3$, and we look for positive solutions to the semilinear elliptic equation $$ -\Delta_g w + V w = \alpha f(w) + \lambda w…

Let $\mathbb{F}_q$ be a finite field with $q=p^t$ elements. In this paper, we study the number of solutions of equations of the form $a_1 x_1^{d_1}+\dots+a_s x_s^{d_s}=b$ over $\mathbb{F}_q$. A classic well-konwn result from Weil yields a…

In this work, the Lambert-Tsallis Wq function is used to provide analytical solutions of fractional polynomials of the type ax^r+bx^s+c = 0. This class of fractional polynomial appears in several areas of physics as well it is in the heart…

We study the existence of solutions for the following fractional Hamiltonian systems $$ \left\{ \begin{array}{ll} - _tD^{\alpha}_{\infty}(_{-\infty}D^{\alpha}_{t}u(t))-\lambda L(t)u(t)+\nabla W(t,u(t))=0,\\[0.1cm] u\in…

We fix a positive integer $k$ and look for solutions of the equations $\phi(n+k) = \phi(n)$ and $\phi(n + k) = 2\phi(n)$. We prove that Fermat primes can be used to build five solutions for the first equation when $k$ is even and five for…

Positive semidefiniteness, recursiveness, and the variety condition of a moment matrix are necessary and sufficient conditions to solve the quadratic and quartic moment problems. Also, positive semidefiniteness, combined with another…

We study the normalized solutions to the following Choquard equation \begin{equation*} \aligned &-\Delta u + \lambda u =\mu g(u) + \gamma (I_\alpha * |u|^{\frac{N+\alpha}{N}})|u|^{\frac{N+\alpha}{N}-2}u & \text{in\ \ } \mathbb{R}^N…

We find all non-rational meromorphic solutions of the equation $ww"-(w')^2=\alpha(z)w+\beta(z)w'+\gamma(z)$, where $\alpha$, $\beta$ and $\gamma$ are rational functions of $z$. In so doing we answer a question of Hayman by showing that all…

We prove an extension of Yuan's Lemma to more than two matrices, as long as the set of matrices has rank at most 2. This is used to generalize the main result of [A. Baccari and A. Trad. On the classical necessary second-order optimality…

In this paper, we study the semilinear elliptic equation of the form \begin{eqnarray*} -\Delta u+a(x)|u|^{p-2}u-b(x)|u|^{q-2}u=0 \end{eqnarray*} on lattice graphs $\mathbb{Z}^{N}$, where $N\geq 2$ and $2\leq p<q<+\infty$. By the…

We consider two matrix completion problems, in which we are given a matrix with missing entries and the task is to complete the matrix in a way that (1) minimizes the rank, or (2) minimizes the number of distinct rows. We study the…

This paper concerns the existence of a nontrivial solution for the following problem \begin{equation} \left\{\begin{aligned} -\Delta u + V(x)u & \in \partial_u F(x,u)\;\;\mbox{a.e. in}\;\;\mathbb{R}^{N},\nonumber u \in…

In this paper, we study a class of generalized extensible beam equations with a superlinear nonlinearity \begin{equation*} \left\{ \begin{array}{ll} \Delta ^{2}u-M\left( \Vert \nabla u\Vert _{L^{2}}^{2}\right) \Delta u+\lambda V(x) u=f(…

A scalar potential of the form $\lambda_{ab} \phi_a^2 \phi_b^2$ is bounded from below if its matrix of quartic couplings $\lambda_{ab}$ is copositive -- positive on non-negative vectors. Scalar potentials of this form occur naturally for…

Matrix regularity is a key to various problems in applied mathematics. The sufficient conditions, used for checking regularity of interval parametric matrices, usually fail in case of large parameter intervals. We present necessary and…

The coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilistic, weighted, or game-based. Previous work on the…

Checking whether a system of linear equations is consistent is a basic computational problem with ubiquitous applications. When dealing with inconsistent systems, one may seek an assignment that minimizes the number of unsatisfied…