The limits tag has no wiki summary.

**-3**

votes

**0**answers

52 views

### Limit of (n^2+1)^(1/n) [on hold]

I am struggling to figure out $\lim\limits_{n \to inf} \sqrt[n]{n^2+1} $.
I've tried manipulating the inside of the square root but I cannot seem to figure out a simplification that helps me find the ...

**0**

votes

**0**answers

80 views

### Proof of $\lim_{t\rightarrow 0} \mathbb E f(S_t)=f(0)$ for a diffusion $S_t$?

I am trying to prove the following statement for a diffusion $S_t$ with $S_0=0$ and a real function $f$ that is continuous at $0$:
$$\lim_{t\rightarrow 0} \mathbb E f(S_t) = f(0), \text{ if } \mathbb ...

**0**

votes

**0**answers

53 views

### Derivative of the Expectation of an Integral over a Diffusion

I am trying to prove the following, where $S_t$ is a diffusion:
$$ \lim_{t\rightarrow 0}\frac 1 t \mathbb E \int_0^t f(S_s)ds = \lim_{t\rightarrow 0} \mathbb E f(S_t) $$
Proof attempt:
Lusin's ...

**4**

votes

**0**answers

183 views

### Is it possible to assume that an étale neighborhood is connected?

I am new to étale topology (though I've seen Grothendieck's sites before).
Let $S:=\mathcal{O}^\textrm{sh}_{X,x}$ be the strict local ring of a point $x$ of a scheme $X=\operatorname{Spec}R$ (over a ...

**2**

votes

**2**answers

107 views

### Limiting Ratio of Solutions to Ordinary Differential Equations

I'm trying to find the limit of the ratio of two functions
$ \lim_{t \rightarrow \infty} \frac{f(t)}{g(t)} $ but only have the initial conditions and the differential equations they solve, but the ...

**1**

vote

**1**answer

70 views

### Limit involving modified Bessel Function of the second kind

I'm looking for the following limit
$$\lim_{x\rightarrow 0} \frac{\sqrt{\frac{\text{BesselK}^{(2,0)}(0,x)}{\text{BesselK}(0,x)}}}{\log (x)}$$
I believe the limit is finite, and is near -0.578. ...

**4**

votes

**2**answers

226 views

### Canonical presentation of pro-modules over pro-rings

Let $A = (\dotsc \twoheadrightarrow A_2 \twoheadrightarrow A_1 \twoheadrightarrow A_0)$ be a (commutative) pro-ring with surjective transition maps. Consider the category $\mathcal{M} := \varprojlim_i ...

**6**

votes

**1**answer

671 views

### Probability that a positive integer is the euler phi function of another positive integer

Define $f(n) = |\{m : m\le n, \exists k \text{ s.t. }\phi(k) = m\}|$.
Clearly, $f(n)\le \left\lfloor \frac{n}{2}\right\rfloor + 1$ since $\phi(n)$ is even for all $n > 2$.
Is ...

**9**

votes

**1**answer

274 views

### Do direct limits (filtered colimits) commute with pullbacks, in C*-algebras?

I asked this question already on math.stackexchange, but maybe it is also useful to ask this here, since it was not answered there.
Suppose we have three directed sequences of $C^*$-algebras, say ...

**0**

votes

**2**answers

151 views

### Proof of equidistribution theorem for exponential coefficients

Can anyone provide a proof of the equidistribution theorem using Weyl's criterion for the case of $c*a \,\,\, \text{(mod 1)}$ where $c=2^n: \,\,\, \forall n \in N_0$ for irrational algebraic $a$? The ...

**4**

votes

**2**answers

291 views

### Maximum cardinality of a filtered limit of finite sets

Let $(I,<)$ be a directed, partially ordered set. Consider an inverse system $(S_i)_{i \in I}$ of finite sets, i. e. a functor $S:I^{op}\to \mathbf{FinSet}$. What is the maximum possible ...

**3**

votes

**2**answers

135 views

### finding the limit $\lim_{a\rightarrow \infty} \frac{a^N}{\log a} \int_{0}^\infty \frac{e^{-x}}{(1+ag(x))^N}dx = c$

I am realy stuck in solving the following limit problem.
Can you find any function $g(x)$ by which
$$\lim_{a\rightarrow \infty} \frac{a^N}{\log a} \int_{0}^\infty \frac{e^{-x}}{(1+ag(x))^N}dx = c$$
...

**0**

votes

**1**answer

85 views

### A limit of a sum related to integer lattice and power series

I have the following lemma that I would like to find a source to cite for. Let $L$ be a subset of $\mathbb Z^d_{>0}$. I would like to claim that the limit
$$\lim_{z \to (1,\ldots,1)^-} (\sum_{v ...

**6**

votes

**2**answers

292 views

### Unexpected interaction between limits and colimits

Let $D$ be a limit-complete category. My vague question is: given two diagrams in $D$, what comparisons between them induce a morphism of their limits? I'm especially interested in the case that the ...

**0**

votes

**1**answer

88 views

### How to compute the limit of skewness function?

The skewness function of a list of values is:
where
$m_k=\sum_{i=1}^N (x_i-u)^k$
$u=E[x]$
The image shows the meaning of this function related to the shape of the distribution of its x values ...

**1**

vote

**4**answers

250 views

### Homology of infinite intersection

If $X_1\supseteq X_2\supseteq \ldots$ is a sequence of "nice" compact spaces, I would like to know whether the natural map from $H_*(\cap X_i)$ to the inverse limit $\lim \, H_*(X_i)$ is surjective. ...

**8**

votes

**1**answer

461 views

### What is $\lim_{n\to\infty} \displaystyle \sum_{k=0}^{\lfloor n/2 \rfloor} \binom{n}{2k}\left(4^{-k}\binom{2k}{k}\right)^{\frac{2n}{\log_2{n}}}\,?$

What is $$\lim_{n\to\infty} \displaystyle \sum_{k=0}^{\lfloor n/2 \rfloor} \binom{n}{2k}\left(4^{-k}\binom{2k}{k}\right)^{\frac{2n}{\log_2{n}}}\,?$$

**15**

votes

**0**answers

195 views

### Finite limits in the category of smooth manifolds?

The category of smooth manifolds does not have all finite limits. However, it does have some limits: it has finite products, it has splittings of idempotents, and it has certain other limits if we ...

**1**

vote

**2**answers

220 views

### Looking for a limit related to the series in a previous post

Can any one show that the following limit?
$$
\lim_{z\rightarrow \infty} \sqrt{z} \: e^{-z}\sum_{k=1}^\infty \frac{z^k}{k! \sqrt{k}} \quad \stackrel{?}{=} \quad\sqrt{2}-1.
$$
If one uses the ...

**0**

votes

**0**answers

45 views

### Sequence of solutions of approximated problem converging to stationary solution of the original problem

Let $I(x)$ be the indicator function defined as $$I(x) \triangleq \begin{cases} 1, & x \geq 0 \\ 0, & x < 0 \end{cases}$$ and let $L(x,\alpha) \in [0,1]$ be a smoothing function that ...

**1**

vote

**0**answers

70 views

### CLT for a Markov Renewal Process

Suppose $(X,T)=\{(X_n,T_n)\}_{n\geq0}$ is a Markov renewal process, where $X$ is a finite-state, discrete-time Markov chain with state space $\{1,2,...,R\}$. $T$ is the additive component, more ...

**3**

votes

**0**answers

244 views

### Homotopy category of groupoids

The nlab Ho(Cat) page says: morphisms in the homotopy category of groupoids $Ho(Gpd)$, have two equivalent description:
iso-classes of functors.
formally invert equivalence functors (i.e. ...

**1**

vote

**0**answers

93 views

### Berry-Esseen result for triangular arrays

Let $\{\{X_{n1},\ldots,X_{nn}\},n=1,2,\ldots\}$ be a triangular array of independent random variables where each row contains identically distributed random variables. Let $E[X_{n1}]=\mu_n<\infty$ ...

**2**

votes

**1**answer

396 views

### What are the uses of Limits and Colimits of Category Theory in every day problems? [closed]

I am interested in knowing how we can use the concepts of Limits and Colimits in modeling problems in every day life? Could anyone provide (Software) engineering examples, perhaps? Or describe ...

**10**

votes

**1**answer

294 views

### The geometric-mean factorial

Think of the factorial as $f(n) = n \odot (n-1) \odot \cdots \odot 2 \odot 1$,
where $\odot$ is the binary operator for multiplication, $\cdot$. This suggests exploring replacing
$\odot$ with other ...

**4**

votes

**1**answer

169 views

### Extending a Certain Result from Locally Convex Topological Vector Spaces to General Topological Vector Spaces

In this Math Stack Exchange post, I proved the following result.
Theorem: Let $ X $ be a locally convex topological vector space. Let $ x \in X $ and suppose that $ (x_{n})_{n \in \mathbb{N}} $ is ...

**3**

votes

**0**answers

105 views

### Inverting a matrix with entries equal to positive or negative infinity

I would like to define an inverse on matrices whose entries may be positive or negative infinity.
To formulate my problem precisely, suppose that I have a matrix $A$ and another matrix $B$. How do I ...

**7**

votes

**1**answer

246 views

### Is there a practical criterion to determine whether the limit of a diagram of real chain complexes is also a homotopy limit?

Consider a diagram D: I→ChR of real connective chain complexes.
In the example I have in mind all chain complexes are concentrated in some fixed degree n.
There is a canonical map lim D → holim D ...

**1**

vote

**0**answers

92 views

### Limit wiht logarithm and dilogarithm functions [closed]

I'm trying to find out how to calculate the following limit:
$$
\lim_{u\to \infty} \left\{\log(u) \left[\log\left(1 + \frac{2u}{i- 2 t}\right) - \log\left(1 - \frac{2 u}{i + 2 t}\right)\right] +
Li_2 ...

**1**

vote

**0**answers

97 views

### Bound a sum of a serie defined by a recursive integer function

I'm using a recursive function $f: \mathbb{N} \rightarrow \mathbb{N}$, that is defined as
\begin{equation}
f(n)=\lceil \log(f(n-1)) \rceil +f(n-1)
\end{equation}
where $f(1)=F\in \mathbb{N}$, and ...

**3**

votes

**0**answers

171 views

### Ends and Coends - Analogues for higher arity - Horn Filling

Consider the setting of categories enriched over a suitable monoidal category $\mathbb V$.
We define $$\mathrm{Dist}(X,Y):=\mathbb V−\mathrm{Cat}(X^ \mathrm{op}⊗Y,\mathbb V).$$
Recall the definition ...

**1**

vote

**3**answers

222 views

### limit of a singular integral

Denote $f_{\gamma}(x) =\frac { (1+\gamma)}{2} |x|^{\gamma}$. We consider:
$$I(\gamma) = \int_{-1}^1\int_{-1}^1 \ln (|x-y|) f_{\gamma}(x) f_{\gamma}(y) dx dy$$
I would like to know the limit of ...

**11**

votes

**1**answer

1k views

### Is $\varliminf_{n \rightarrow +\infty} |n \sin n| = 0$ correct, where $n$ is an integer?

Is it true that $\varliminf_{n \rightarrow +\infty} |n \sin n| = 0$, where $n$
runs over the integers?
The existence of the limes inferior follows from Dirichlet's approximation theorem,
but the ...

**18**

votes

**2**answers

1k views

### Letting $S(m)$ be the digit sum of $m$, then $\lim_{n\to\infty}S(3^n)=\infty$?

For any $m\in\mathbb N$, let $S(m)$ be the digit sum of $m$ in the decimal system.
For example, $S(1234)=1+2+3+4=10, S(2^5)=S(32)=5$.
Question 1 :Is the following true?
...

**-1**

votes

**1**answer

97 views

### Recursion equation convergence to sqrt [closed]

I'm new here. I have a recursion equation
$$
a[n] = \frac{n \cdot a[n-1]}{n+a[n-1]} + k
$$
$$
a[1] = 1
$$
$$
k \in \mathbb{R}, k > 0
$$
and from computing and ploting graphs I found that it can ...

**1**

vote

**2**answers

220 views

### Asymptotic Expansion of Distribution in Central Limit Theorem for Non-Identically Distributed Random Variables

My question is related to the following theorem (e.g. Section XVI.4 of Feller's 1971 book): Let $Z_i$ $(i=1,\cdots,n)$ be independent and identically distributed random variables with mean zero, ...

**2**

votes

**1**answer

178 views

### Limit involving regularlized gamma function and its inverse

Let
$$L(x)=Q\left(\frac{x}{2},\frac{a}{a+f(x)/\sqrt{x}}Q^{-1}\left(\frac{x}{2},1-b^{1/g(x)}\right)\right)$$
where $Q(s,x)=\frac{\Gamma(s,x)}{\Gamma(s)}$ is the upper incomplete gamma function ...

**3**

votes

**1**answer

187 views

### Limits in span categories

What are the limits in the span categories? and what is known about them in the literature?

**7**

votes

**1**answer

197 views

### Explicit description of the oplax limit of a functor to Cat?

The nCatLab Grothendieck construction page gives an explicit description of the oplax colimit of any functor to Cat. Can someone give me a similarly explicit description (the objects and morphisms) ...

**3**

votes

**1**answer

190 views

### Does Ind-completion commute with finite limits?

The broad and vague question is in the title. The more precise question is:
Say $\{\mathcal{C}_i\}$ is a finite diagram of (essentially small) stable $\infty$-categories and exact functors with ...

**1**

vote

**1**answer

137 views

### Limiting probability question [closed]

Let $X$ denote an $m\times n$ matrix and suppose that each value $x_{ij}$ is an integer that is selected uniformly at random from ${1,\dots,n}$, independently of all other values. If we fix $m$ and ...

**3**

votes

**0**answers

69 views

### integral against a gaussian density over an increasing space

Consider the following Gaussian density over $\mathbb{R}^{2^n}$
$$p_n(\underline{x}):=\frac{\exp(-\frac{1}{2n}\langle C_n^{-1}\underline{x},\underline{x}\rangle)}{\sqrt{(2\pi n)^{2^n} \det C_n}}$$
...

**2**

votes

**2**answers

267 views

### Projective limit construction of a semigroup

Let $\tilde{\mathbb N}$ be the Abelian semigroup (under addition) given by $\mathbb N\cup\{0,\infty\}$, and let $S_n$ be the Abelian monoid $\tilde{\mathbb N}^{2^n}$ under point-wise addition. ...

**5**

votes

**0**answers

323 views

### Constructing pointwise Kan extensions as adjoints to some functor

Background
I'm working on formalizing some category theory in Coq at https://bitbucket.org/JasonGross/catdb. Currently, I'm in the process of formalizing pointwise Kan extensions. Partly because ...

**7**

votes

**1**answer

281 views

### Is the evaluation of polynomial functors appropriately continuous?

I'd like a nice proof of the following fact.
Let $C$ and $D$ be categories, and let $\mathbf{Cat}/(C\times D)$ be the usual (1-categorical) slice category whose objects are triples $(X,F\colon X\to ...

**2**

votes

**1**answer

169 views

### Central Limit Theorem for additive function of permutations of sequences

Fix the finite sets $\mathcal{X}$ and $\mathcal{Y}$, and probability mass functions $P_X(x)$ and $P_Y(y)$ on these sets. Assume each value of $P_X(x)$ and $P_Y(y)$ is rational.
For each $n$ such ...

**4**

votes

**2**answers

455 views

### Central Limit Theorem (and Berry-Esseen theorem) for non-independent variables

Consider the triangular array $X_{n,k}$ such that, for each $n>0$, the variables $(X_{n,1},\cdots,X_{n,n})$ have the following properties:
For any given $1 \le L \le n$, all
subsets of
...

**2**

votes

**1**answer

659 views

### Which limits does group cohomology commute with?

For a discrete group G, if $M$ is a direct/inverse limit of $M_i$, is $H^i(G, M)$ the direct/inverse limit of the $H^i(G, M_i)$? Of course, cohomology commutes with finite direct sums, but how about ...

**22**

votes

**1**answer

401 views

### “Harmonacci” recurrence and identities for $\pi$

While playing with something totally irrelevant I stumbled upon the recurrence:
$$a_{n+1} = \frac{1}{a_n} + a_{n-1}$$
It turns out that given $a_0 = 1, a_1 = 1$,
$$lim \frac{a_{2n}}{a_{2n-1}} = ...

**0**

votes

**1**answer

172 views

### Residue at an integration border in case of a limit?

I am dealing with an integral in a limit of the following shape:
$$\lim_{\epsilon \to 0} \int_0^{\frac{\pi}{2}} dx \frac{2 \epsilon}{1-(1-\epsilon^2)\sin^2(x)}$$
Formally, assuming that ...