# Questions tagged [existence-theorems]

The existence-theorems tag has no usage guidance.

**1**

vote

**1**answer

57 views

### Lotka Volterra existence of Caratheodory solution

I strive to prove that the following system of differential equations:
$$\begin{cases} x'=x-u(t)xy\\ y'= -y+u(t)xy \\ x(0)=x_0>0\\ y(0)=y_0>0 \end{cases}$$
has a unique Caratheodory solution ...

**0**

votes

**0**answers

50 views

### About well-posedness and regularity for a wave equation with nonhomogeneous Dirichlet boundary condition?

I want to get any result about well-posedness and regularity for the following wave equation with nonhomogeneous Dirichlet boundary condition described by
Let $\Omega \subset
%TCIMACRO{\U{211d} }%
%...

**0**

votes

**0**answers

63 views

### Reference for Existence and uniqueness of an Integro-Differential Equation

I have an Integro-Differential Equation (IDE) of the following form:
$$
x'(t) = f(t,x(t)) + \int_0^t K(t-s, x(s), x(t)) ds,
$$
I have found this classical reference, but the IDEs considered therein ...

**2**

votes

**0**answers

128 views

### Existence of solutions to first-order PDE involving convolution

Let $f(x,\alpha)$ be a smooth function of compact support in $x$. Now, let its $\alpha$-dependence be determined by the following first-order equation,
\begin{align}
\frac{\partial}{\partial \alpha} ...

**17**

votes

**2**answers

1k views

### Is there a relationship between a quotient group of the fundamental group of X and the fundamental group of a quotient topology of X?

Let ($X$, $x_0$) be a topological space with a base point, and denote the fundamental group of $X$ as $\pi_1(X)$. Let $N$ be a normal subgroup of $\pi_1(X)$.
Does there necessarily exist an ...

**1**

vote

**0**answers

87 views

### Theory on interior Helmholtz Equation with mixed Neumann and Robin BC

Let $\Omega \subset \mathbb{R}^n$ bounded with smooth boundary $\partial \Omega$. Let k>0 and $\partial \Omega = \Gamma_1 \cup \Gamma_2$. Consider the problem
$\Delta u + k^2 u = 0$ in $\Omega$
$\...

**5**

votes

**1**answer

233 views

### Finding a semi-sparse vertex in a grid

Let $H$ be a $r \times r$ grid. Suppose that at most $r/10^5$ vertices of this grid are colored red. For every vertex $v \in V(H)$, let $B_i(v)$ be the ball of radius $i$ centered at $v$. (Or for ...

**4**

votes

**0**answers

54 views

### Existence and uniqueness of an elliptic equation coupled with a parabolic equation (mean curvature flow)

Given a parabolic equation on a simply connected smooth domain $\Omega(t)$ with boundary $\Gamma(t)$
$$
\Delta u = 1 \quad on \quad \Omega(t)
\\
\nabla u \cdot n + u = g \quad on \quad \Gamma(t)
$$
(...

**0**

votes

**0**answers

200 views

### Existence and uniqueness of solution for nonlinear system

Under what conditions will a solution $y \in \Re^n$ exist for this system of nonlinear equations? If it exists, will it be unique?
$$ \mu_k = \int_0^\infty g_k(x) \, f(x, y) \, dx \qquad \forall \, k ...

**2**

votes

**0**answers

67 views

### Existence of a shift invariant selection map

Some time ago I asked this question, but now realise that it is harder than I anticipated. Therefore I am taking a step back to the following problem.
Let $X$ and $Y$ be two sets and $F$ a point to ...

**1**

vote

**1**answer

92 views

### Existence of analysis regularization solution

I am interested in the optimization problem known as "analysis regularization":
$$ {\rm argmin}_{x \in \mathbb{R}^{p}}\frac{1}{2}\|y - Ax\|_2^2 + \lambda \|D^T x\|_1,$$
where $y \in \mathbb{R}^n$, $...

**3**

votes

**2**answers

138 views

### Source of equation - theorems about solving quadratic matrix equations

I have seen outlined in this comment os mathoverflow how to solve quadratic matrix equations of the form
$$
XCX + AX = I
$$
where $X \in \mathbb{R}^{n\times n}$, $C = C^T > 0 \in \mathbb{R}^{n\...

**2**

votes

**0**answers

94 views

### Positive existential theory of $(\mathbb{Z}; +, |_n)$

I am reading a paper and there is the following theorem:
Let $n$ be a fixed integer, and $n >1$.
Denote divisibility in $\mathbb{Z}[\frac{1}{n}]$ by $|_n$, thus for
all $x, y \in \...

**1**

vote

**0**answers

117 views

### Probabilistic proof for expander existence [closed]

I am new to probabilistic proofs and trying to understand them better. Apparently, a common probabilistic proof focuses on the existence of expanders (eg. vertex expanders).
I've been using the search ...

**5**

votes

**0**answers

222 views

### When does a “stable” assignment of buyers into goods exist?

Consider a setting of $n$ buyers and $m$ goods.
We have a value matrix $V\in[0,1]^{n\times m}$ specifying how much each buyer values each good (everything is open information here and there is no ...

**0**

votes

**0**answers

143 views

### Does there exist this special kind of homeomorphism?

Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...

**2**

votes

**2**answers

163 views

### $L^\infty_\mathrm{loc}$ assumption in global existence for Boltzmann equation

In short:
In P. Gérard's paper on the existence of global solutions to the Boltzmann equation from 1988 (or equivalently Cercignani's book), why are the stated assumptions (especially $A_n \in L^\...

**2**

votes

**1**answer

524 views

### Global Solutions of Ordinary Differential Equations

Background
Let $f: [0, \infty) \times {\mathbb R}^n \rightarrow {\mathbb R}^n$ be a jointly measurable function satisfying,
$f(t, \cdot)$ is locally Lipschitz for every $t \geqslant 0$,
for every ...

**4**

votes

**0**answers

75 views

### reference on existence result for nonlinear elliptic PDE

During my work, I came to the question of existence of weak solutions to the following elliptic equation
$$\triangle u + \partial_{1} u + \partial_2(f(x_1,x_2,u)) = 0 \hbox{ in } \Omega$$
with ...

**2**

votes

**0**answers

234 views

### Existence and uniqueness of heteroclinic orbits

I am looking for conditions on a nonlinear dynamical system $\frac{d\vec{x}}{dt} = \vec{F}(\vec{x})$ that guarantee the existence of a unique heteroclinic orbit between a stable attractor of this ...

**22**

votes

**12**answers

2k views

### Instances where an existence result precedes the constructive version

The basic motivation here is to encourage and inspire - via examples - the pursuit of alternate proofs of existing results that might be more accessible and intuitive by cataloging success stories. ...

**4**

votes

**2**answers

769 views

### Are there cusp forms for the full modular group Sp(2,Z) and representations det^3 \otimes Sym^2j(\rho_standard)

What are modular forms or cusps forms, resp. ?
We start with defining their common domains $\mathbb{H}_g$ as the set of symmetric $g \times g$ matrices with positive definite imaginary parts.
The ...

**8**

votes

**3**answers

1k views

### Existence of Rational Orthogonal Matrices

Question:
Let $A\in\mathbb{R}^{n \times n}$ be an orthogonal matrix and let $\varepsilon>0$. Then does there exist a rational orthogonal matrix $B\in\mathbb{R}^{n \times n}$ such that $\|A-B\|<\...

**0**

votes

**1**answer

449 views

### Continuous variation from solution of easy problem to solution of hard problem

I asked this question a week ago over on math.stackexchange and got no reply, so I am asking here with slightly different wording. I am trying to prove that there exists a solution to a problem. I ...

**21**

votes

**3**answers

2k views

### Is this 1974 claim still valid?

In G. F. Simmons' Differential Equations book (p.141), the following claim is made:
“... As a matter of fact, there is no known type of second order linear differential equation- apart from those with ...