Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [existence-theorems]

The 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 ...