Can any twice-differentiable function satisfy these conditions?

  • Context: MHB 
  • Thread starter Thread starter Dustinsfl
  • Start date Start date
Click For Summary
SUMMARY

No twice-differentiable function can satisfy the conditions \(y(-1) = -1\), \(y(1) = 1\), and the integral \(\int_{-1}^1 x^2 y'^2 dx\). The analysis using the Euler-Lagrange equation leads to the conclusion that the system of equations derived from boundary conditions results in an inconsistency. Specifically, the function \(y(x) = -\frac{c}{6} + d\) does not yield valid solutions under the given constraints, confirming that no such function exists within the specified interval.

PREREQUISITES
  • Understanding of calculus, specifically differentiation and integration.
  • Familiarity with the Euler-Lagrange equation in the context of calculus of variations.
  • Knowledge of boundary conditions in differential equations.
  • Concept of twice-differentiable functions and their properties.
NEXT STEPS
  • Study the Euler-Lagrange equation in detail to understand its applications in optimization problems.
  • Explore the properties of twice-differentiable functions and their implications in mathematical analysis.
  • Learn about boundary value problems and their significance in differential equations.
  • Investigate the implications of non-differentiable functions on integrals and their convergence.
USEFUL FOR

Mathematicians, students studying calculus and differential equations, and researchers in mathematical optimization will benefit from this discussion.

Dustinsfl
Messages
2,217
Reaction score
5
I want to show for all twice differentialable functions there are no functions that take a min or max with the following conditions \(y(-1) = -1\), \(y(1) = 1\), and
\[
\int_{-1}^1x^2y^{'2}dx.
\]

From the E-L eq, we have \(2x^2y' = c\).
So
\[
y(x) = -\frac{c}{6} + d
\]
Using the conditions, we get
\[
\begin{pmatrix}
\frac{1}{6} & 1 & -1\\
-\frac{1}{6} & 1 & 1
\end{pmatrix}\Rightarrow
\begin{pmatrix}
\frac{1}{6} & 1 & -1\\
0 & 2 & 0
\end{pmatrix}
\]
Therefore, we have an inconsistent system since no two tuples satisfy the bottom equation.
Thus, no twice differentiable function with the given conditions takes on a minimum or maximum.
 
Physics news on Phys.org
I think from $2x^{2}y'=c$, the next step would be
$$y'= \frac{c}{2x^{2}}=(c/2)x^{-2} \quad \implies \quad y=- \frac{c}{2x}+d.$$
 
Ackbach said:
I think from $2x^{2}y'=c$, the next step would be
$$y'= \frac{c}{2x^{2}}=(c/2)x^{-2} \quad \implies \quad y=- \frac{c}{2x}+d.$$

Not everyone can integrate but after that error, the result analysis would be the same correct?
 
If you just apply the BC's, you might have
\begin{align*}
1&=-c+d\\
-1&=c+d.
\end{align*}
From here, you could say that $d=0$ and $c=-1$, and hence $y=1/x$. The problem is that this function is not in the collection of functions in which you were interested - at least not on the interval $[-1,1]$. That is, $1/x$ is not twice-differentiable on $[-1,1]$.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
7
Views
2K
  • · Replies 35 ·
2
Replies
35
Views
7K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K