问下解方程怎么设置定义域?

刚学了一天，求助下。。。比如解个简单的方程 Solve[x^3 - 5*x^2 + 3*x + 6 == 0, x]，假设这里面1<x<3，能不能把x的定义域写在Solve[。。。]里面。。
其实我想解的是一个微分方程，DSolve[-y''[x]-y[x]==0,y[x],x]，可以求出通解。但是我想在比如0<=x<=4,且边界条件y[0]=0,y[4]=0的时候求个特解出来，好像边界条件是可以放进去的。但是定义域我没有看到教程里怎么放进去。。。求问。