Questions tagged [existence-theorems]
The existence-theorems tag has no usage guidance.
1
vote
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
12answers
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
2answers
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
3answers
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
1answer
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
3answers
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 ...
